The French Alternative Energies and Atomic Energy Commission (CEA) is a key player in research, development and innovation in four main areas :
Drawing on its widely acknowledged expertise, and thanks to its 16000 technicians, engineers, researchers and staff, the CEA actively participates in collaborative projects with a large number of academic and industrial partners.
The CEA is established in ten centers spread throughout France
Mathematics, information, scientific, software
Stage - Ingénieur / Master - Mathématiques, information scientifique, logiciel
Formalization, modeling and transformation of Automotive Safety Integrity Level (ASIL) using BIP farmework
The laboratory of the software components for Systems Safety and Security (L3S) designs and develops systems tools, methods and software, for the design of embedded systems and Cyber Physical Systems (CPS), in particular in a time-
real and critical applications. Combining performance, flexibility and safety. These systems are increasingly complex, modeling all possible interactions between their heterogeneous components is a challenge task for engineers.
A bad specification can lead to catastrophic failures and unexpected behavior.
BIP (Behavior, Interaction, Priority) is a platform for rigorous system design. It uses the BIP language and a set of associated tools to establish the correct design-
by-design flow. The BIP language is a notation that allows to build complex systems by coordinating the behavior of a set of atomic components.
The behavior is then described using a set of languages ?? and notions based on formal and well-defined semantics. Nevertheless, BIP, by its vocation to be generalist does not have specific extensions to express the properties on the components.
In automotive domain the ASIL (Automotive Safety Integrity Level) is used to give criticty level to SW and HW component.
The management of different component with various level of ASIL is a challenged task and can directly impact software architecture, system design and their verification.
The work can be described as below :
Ingénieur / Master
ASIL, BIP, automotive, modélisation, V&V -BIP