A5009448213- Model-Driven Software Engineering Techniques
- Advanced Software Engineering Methodologies
- Service-Oriented Architecture and Web Services
- Business Process Modeling and Analysis
- Software System Performance and Reliability
- Simulation Techniques and Applications
- Software Engineering Techniques and Practices
- Software Engineering Research
- Distributed and Parallel Computing Systems
- Software Reliability and Analysis Research
- Cloud Computing and Resource Management
- Real-Time Systems Scheduling
- Information and Cyber Security
- Distributed systems and fault tolerance
- Embedded Systems Design Techniques
- Parallel Computing and Optimization Techniques
- Green IT and Sustainability
- Safety Systems Engineering in Autonomy
- Formal Methods in Verification
- Real-time simulation and control systems
- Advanced Database Systems and Queries
- Flexible and Reconfigurable Manufacturing Systems
- Advanced Malware Detection Techniques
- Network Security and Intrusion Detection
- Software Testing and Debugging Techniques
Softeam Cadextan
2014-2025
Innopolis University
2017-2024
Aptiv (France)
2017
Université Paris Cité
2006
Laboratoire de Recherche en Informatique de Paris 6
2002
Sorbonne Université
2002
We describe INTO-CPS, a project that aims to realise the goal of integrated tool chains for collaborative and multidisciplinary engineering dependable Cyber-Physical Systems (CPSs). Challenges facing model-based CPS are described, focussing on semantic diversity models, management large space models artefacts produced in engineering, need evaluate effectiveness industrial settings. outline approach taken each these issues, particularly use semantically multi-models, links architectural...
The Service oriented architecture Modeling Language (SoaML) is a new specification from the Object Management Group (OMG) that provides support for modelling services. SoaML defines three different approaches to specifying services; simple interfaces, service interfaces and contracts. In this paper we provide an overview of language constructs discuss ways specify Furthermore, practical guidelines how can be aligned used as baseline cloud-based
The paper presents the EU funded MADES FP7 project, that aims to develop an effective model driven methodology evolve current practices for development of real time embedded systems avionics and surveillance industries. In MADES, we propose SysML/MARTE language subset have developed new tools technologies support high level design specifications, validation, simulation automatic code generation, while integrating aspects such as component re-use. first illustrates by means a car collision...
Over the two past decades, software process modeling community is being confronted to following dilemma: how a language (SPML) can be sufficiently abstract hide increasing complexity of development processes while precise enough executed? Since no SPML succeeded in satisfying these apparently conflicting requirements, this paper we propose combine languages: UML4SPM, an UML2.0-based and WS-BPEL (web services business execution language). While UML4SPM brings expressiveness, understandability...
This paper presents a methodology and set of tools for the modelling, validation testing Web service composition, conceived developed within French national project WebMov. includes several modelling techniques, based mainly on some variations Timed Extended Finite State Machines (TEFSM) formalism, which provide formal model BPEL description services composition. These models are used as reference application different test generation passive techniques conformance robustness checking. The...
The Service oriented architecture Modeling Language (SoaML) is a new specification from the Object Management Group (OMG) that intends to bridge gap between business and IT models. Nevertheless, very vague on methodology aspects practical means for integration with OMG level languages - Business Motivation Model (BMM) Process Notation (BPMN). SHAPE FP7 EU project addressed these issues by of dedicated Driven Architecture (MDA) based tool support. results were validated industrial case...
The EU funded FITTEST FP7 project aims to address the Future Internet (FI) testing challenges. will be integrated in three pilot applications provided by industrial partners, IBM, Sulake and Soft am. This paper presents Modelio SaaS product case study context selected am as Project application usage of Object Management Group (OMG) UML Testing Profile module. In paper, researchers present advanced software engineering methods proposed OMG (UTP) a real environment within SaaS.
In this paper, we present the MegaM@Rt2 ECSEL project and discuss in details our approach for fostering collaboration project. We choose to use an internal hackathon that focuses on technical between case study owners tool/method providers. The novelty of is organize workshop at regular progress meetings as a challenge-based contest involving all partners Case submit their challenges related goals cases advance. These are concise enough be experimented within approximately 4 hours. Teams...
Current software development practices are increasingly based on using both COTS and legacy components which make such systems prone to security vulnerabilities.The modern practice addressing ever changing conditions, DevOps, promotes frequent deliveries, however, verification methods artifacts should be updated in a timely fashion cope with the pace of process.VeriDevOps, Horizon 2020 project, aims at providing faster feedback loop for verifying requirements other quality attributes large...
Software-intensive systems in the automotive domain are often built different variants, notably order to support market segments and legislation regions. Model-based concepts frequently applied manage complexity such variable systems. However, considered approaches focused on single-product development. In products a model-based engineering environment, we describe tool-supported approach that allows us annotate SysML models with variability data. Such information is exchanged between system...
With the emergence of Cyber-Physical Systems (CPS), increasing complexity in development and operation demands for an efficient engineering process. In recent years DevOps promotes closer continuous integration system its operational deployment perspectives. this context, use Artificial Intelligence (AI) is beneficial to improve design activities, however, it still limited despite high potential. AIDOaRT a 3 long H2020-ECSEL European project involving 32 organizations, grouped clusters from...
The European Space Agency (ESA) as many other companies is interested in capitalizing its business assets. With the space programmes often lasting 10 to 20 years, software system migration problems arise frequently. Object Management Group promotes model driven architecture (MDA) concept and proposes modernization (ADM) approach for model-based platform migration. SOFTEAM, Fraunhofer FOKUS GTI6 performed an ESA-funded study on round trip engineering systems. During this state-of-the-art...
Current approaches to building Cyber Physical systems including Energy Management Systems (EMS) design often rely on large monolithic models represent the EMS. These are typically abstract and simple aid with performance. However, they can lack fidelity detail, particularly regards physical aspects. This makes it challenging extract valuable accurate data from these models, such as sustainability metrics. Our approach this problem is employ a Cyber-Physical Model-Based Design methodology...