4 results on '"Tucci-Piergiovanni, Sara"'
Search Results
2. Model-Based Analysis and Engineering of Automotive Architectures with EAST-ADL
- Author
-
Kolagari, Ramin, Chen, Dejiu, Lanusse, Agnes, Librino, Renato, Lönn, Henrik, Mahmud, Nidhal, Mraidha, Chokri, Reiser, Mark-Oliver, Torchiaro, Sandra, Tucci-Piergiovanni, Sara, Wägemann, Tobias, Yakymets, Nataliya, Nuremberg Institut of Technology, Royal Institute of Technology [Stockholm] ( KTH ), Département Ingénierie Logiciels et Systèmes ( DILS ), Laboratoire d'Intégration des Systèmes et des Technologies ( LIST ), Commissariat à l'énergie atomique et aux énergies alternatives ( CEA ) -Université Paris-Saclay-Commissariat à l'énergie atomique et aux énergies alternatives ( CEA ) -Université Paris-Saclay, Advanced Technology and Research, Volvo Group, Hull University, Technische Universität Berlin ( TUB ), Centro Ricerche Fiat ( CRF ), Centro Ricerche Fiat, Royal Institute of Technology [Stockholm] (KTH ), Département Ingénierie Logiciels et Systèmes (DILS), Laboratoire d'Intégration des Systèmes et des Technologies (LIST), Direction de Recherche Technologique (CEA) (DRT (CEA)), Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Direction de Recherche Technologique (CEA) (DRT (CEA)), Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Université Paris-Saclay, University of Hull [United Kingdom], Technische Universität Berlin (TU), Centro Ricerche Fiat (CRF), Laboratoire d'Intégration des Systèmes et des Technologies (LIST (CEA)), and Technical University of Berlin / Technische Universität Berlin (TU)
- Subjects
Optimization ,[ INFO ] Computer Science [cs] ,Automotive Software Development ,Model-Based Software Development ,[INFO]Computer Science [cs] ,Timing ,AUTOSAR ,Functional Safety ,EAST-ADL ,Dependability ,Modelling ,Software Product Lines ,ISO 26262 - Abstract
International audience; Modern cars have turned into complex high-technology products, subject to strict safety and timing requirements , in a short time span. This evolution has translated into development processes that are not as efficient, flexible and agile as they could or should be. This paper presents the main aspects and capabilities of a rich model-based design framework, founded on EAST-ADL. EAST-ADL is an architecture description language specific to the automotive domain and complemented by a methodology compliant with the functional safety standard for the automotive domain ISO26262. The language and the methodology are used to develop an information model in the sense of a conceptual model, providing the engineer the basis for specifying the various aspects of the system. Inconsistencies, redundancies, and partly even missing system description aspects can be found automaticlally by advanced analyses and optimization capabilities to effectively improve development processes of modern cars.
- Published
- 2015
3. Multi-Agent Optimization for Safety Analysis of Cyber-Physical Systems: Position Paper
- Author
-
Gürcan, Önder, YAKYMETS, Nataliya, Tucci-Piergiovanni, Sara, Radermacher, Ansgar, Département Ingénierie Logiciels et Systèmes ( DILS ), Laboratoire d'Intégration des Systèmes et des Technologies ( LIST ), Commissariat à l'énergie atomique et aux énergies alternatives ( CEA ) -Université Paris-Saclay-Commissariat à l'énergie atomique et aux énergies alternatives ( CEA ) -Université Paris-Saclay, Département Ingénierie Logiciels et Systèmes (DILS), Laboratoire d'Intégration des Systèmes et des Technologies (LIST), Direction de Recherche Technologique (CEA) (DRT (CEA)), Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Direction de Recherche Technologique (CEA) (DRT (CEA)), Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Université Paris-Saclay, and Laboratoire d'Intégration des Systèmes et des Technologies (LIST (CEA))
- Subjects
[INFO.INFO-MA]Computer Science [cs]/Multiagent Systems [cs.MA] ,self-adaptation ,[ INFO.INFO-MA ] Computer Science [cs]/Multiagent Systems [cs.MA] ,[INFO.INFO-ES]Computer Science [cs]/Embedded Systems ,[ INFO.INFO-ES ] Computer Science [cs]/Embedded Systems ,safety analysis ,[ INFO.INFO-AI ] Computer Science [cs]/Artificial Intelligence [cs.AI] ,optimization ,FMEA ,[INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI] ,FMECA - Abstract
International audience; Failure Mode, Effects and Criticality Analysis (FMECA) is one of the safety analysis methods recommended by most of the international standards. The classical FMECA is made in a form of a table filled in either manually or by using safety analysis tools. In both cases, the design engineers have to choose the trade-offs between safety and other development constraints. In the case of complex cyber-physical systems (CPS) with thousands of specified constraints, this may lead to severe problems and significantly impact the overall criticality of CPS. In this paper, we propose to adopt optimization techniques to automate the decision making process conducted after FMECA of CPS. We describe a multi-agent based optimization method which extends classical FMECA for offering optimal solutions in terms of criticality and development constraints of CPS.
- Published
- 2015
4. Optimizing the Deployment of Distributed Real-Time Embedded Applications.
- Author
-
Mehiaoui, Asma, Tucci-Piergiovanni, Sara, Babau, Jean-Philippe, and Lemarchand, Laurent
- Abstract
The synthesis of a valid and optimized deployment model from functional and platform models is a crucial issue in the development of distributed real-time systems. The synthesis consists in the allocation of functions/signals to execution nodes/communication buses, the mapping of functions/signals into tasks/messages and the priority assignment to tasks/messages. Current approaches provide partial solutions for the synthesis of a deployment model on distributed platforms, as either the allocation or the mapping is fixed a-priori. In order to tackle this problem we propose an optimization technique, based on two different mathematical programming formulations, to handle optimization of both allocation and mapping. The optimization is multi-objective and considers extensibility maximization, latency minimization and minimization of the number of tasks. The obtained solutions satisfy timing and platform resources requirements. An automotive case study shows the effectiveness of our approach. [ABSTRACT FROM PUBLISHER]
- Published
- 2012
- Full Text
- View/download PDF
Catalog
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.