High level of safety, security, reliability and performance hardware and software.
List, a CEA Tech institute, covers each development aspect of software and embedded systems offering methods, tools and components that will optimize systems’ quality and performance. Papyrus and Frama-C open source tools for example are being distributed in the whole world.
Architecture, hardware and software aspects are integrated into the global performance system service no matter the complexity : multifunction systems, critical systems, big data management etc.
190 research engineers dedicate their time to five topics integrating safety, security, reliability and performance requests:
- Design and analysis
- Validation and verification
- Sensors integration
- IPs and componants for reliabiltiy, safety and security
- Computing architectures
Find out more about List topics on embedded systems research programme
Design and analysis
CEA LIST institute relies on its model-driven engineering workshop, Papyrus, in order to provide industrial solutions facilitating correct specifications, design and implementation through complex systems’ creation, possibly critical and particularly software based systems.
Based on unifying standards (UML, SysML, MARTE, AUTOSAR) this methodological environment allows systems’ risks analysis as soon as the modelling step at safety and security’s stake and optimisation like real-time and allocation capabilities...
Validation and verification
CEA LIST institute develops equipped innovative methods for preponderant software systems’ formal verification and validation. Internationally recognised these methods allow the treatment of codes’ safety and security issues that remain today out of reach from traditional verification methods.
CEA LIST research teams design and implement automated analysis in order to make software systems safer of use, detect their vulnerabilities, guaranty conformity to their specifications and accelerate their certification. We collaborate with large-scale industrial ecosystems especially...
CEA LIST institute integrates all type of sensors by associating in a coherent way transducers, converters, calculation and storage structures and signal processing all together. The whole integrated system can become an electronic card or an integrated component and made completely tolerant to radiative environments and high temperatures. Our researchers collaborate with industrial companies from aeronautics, railway, automotive and energy sectors. Among their field of expertise we find: image sensors and cable and broadband networks...
Secured HW/SW components
CEA LIST institute develops hardware and software platforms for real-time critical applications concerning systems’ operating safety or security issues (cloud computing). The institute develops also parallel codes generators for emerging cryptography technics and for heterogeneous criticality real-time systems. Most of these applications are integrated into multicore or many-core systems (massively multi-core). CEA LIST researchers collaborate with industrial companies from automotive, aeronautics, health, energy and cybersecurity sectors...
CEA LIST institute capitalises on most recent computing technologies in order to develop sophisticated and energetically efficient architectures, adapted to embedded applications that request an important computing power, an optimised silicon surface and guaranteed quality of service such as videosurveillance, transport or smart manufacturing. We optimise the adequacy of algorithms vs architecture. We design original architectures – especially for dynamic applications – and we define their hardware integration on GPU, FPGA and multi-core standard market processors or on specific ones. Within the frame of collaboration agreements...