Stage - Ingénieur/Master - Mathématiques, information  scientifique, logiciel
Commissariat A Le Energie Atomique
Saclay,
il y a 1 mois

Organisation

The French Alternative Energies and Atomic Energy Commission (CEA) is a key player in research, development and innovation in four main areas :

  • defence and security,
  • nuclear energy (fission and fusion),
  • technological research for industry,
  • fundamental research in the physical sciences and life sciences.
  • 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

    Category

    Mathematics, information, scientific, software

    Job title

    Stage - Ingénieur / Master - Mathématiques, information scientifique, logiciel

    Subject

    Formalization, modeling and transformation of Automotive Safety Integrity Level (ASIL) using BIP farmework

    Job description

    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 :

  • Getting start with BIP framework, ASIL levels state of the art and their integration into a component based approaches.
  • Getting start with ASIL level and their management defined the ISO26262 standards
  • Formalization of ASIL level and their composition / decomposition
  • Use of BIP to model ASIL level on component and their composition / decomposition using BIP transformation.
  • Ingénieur / Master

    ASIL, BIP, automotive, modélisation, V&V -BIP

    Saclay

    Postuler
    Postuler
    Mon email
    En cliquant sur « Continuer », je consens au traitement de mes données et à recevoir des alertes email, tel que détaillé dans la Politique de confidentialité de neuvoo. Je peux retirer mon consentement ou me désinscrire à tout moment.
    Continuer
    Formulaire de candidature