Thesis work
Environment and location
I currently do my thesis at ENST in the INFRES departement. This thesis is directed by the LIP6 and ENST.
Thesis
Short version
My thesis consists in the integration of the security and safety in the safety-critical systems.
Long version
My PhD is about safety-critical systems and the impact of the security on safety. Writing distributed systems is a tedious task, especially in the context of safety-criticals systems where the code must be certified and analyzed to avoid errors. Moreoever, due to a growing complexity, distributed real-time embedded systems are very difficult to configure and deploy. Many approaches were developped in the past. However, it remains difficult to avoid errors and enforce safety and security policies. In the context of safety-critical systems, an error, a failure or a security issue can have dramatical impacts.
A first approach consists in the definition of partitioned systems. In these systems, pieces of software are isolated in term in space and time. These concepts were already developed in ARINC 653 or MILS. The partitioning concept improves safety. However, we must prove the enforcement of a security policy across the system and ensure that failures will be handled.
At the end of this PhD, we should be able to:
- Propose an kernel and middleware architecture to build safe, secure, real-time embedded systems
- Define a method to build safe and secure real-time embedded systems
Keywords: AADL, safety, security, ARINC653, MILS, pok, partitioned architectures, partitioned kernel and middleware.
Publications
- [DPK08] J. Delange, L. Pautet, and F. Kordon. Code Generation Strategies for Partitioned Systems. In 29th IEEE Real-Time Systems Symposium (RTSS'08) Work In Progress, IEEE Computer Society, December 2008. PDF
- [DHPZ08] J. Delange, J. Hugues, L. Pautet, and B. Zalila. Code Generation Strategies from AADL Architectural Descriptions Targeting the High Integrity Domain. In 4th European Congress ERTS, Toulouse, Paris, jan 2008. PDF
Presentations
- Code Generation Strategies for Partitioned Systems. In 29th IEEE Real-Time Systems Symposium (RTSS'08) Work In Progress, IEEE Computer Society, December 2008. 08. PDF.
- Modeling Domains of Safety and Security using AADL. AADL meeting, 2008. PDF
- Code Generation Strategies from AADL Architectural Descriptions Targeting the High Integrity Domain. In 4th European Congress ERTS, Toulouse, Paris, jan 2008. PDF
Posters
- Code Generation Strategies for Partitioned Systems. In 29th IEEE Real-Time Systems Symposium (RTSS'08), IEEE Computer Society, December 2008. JPG
Technical reports
- Code Generation for Partitioned Systems, 2008.
- Verification of partitioned architectures usign AADL, 2008.
- Implementation of a partitioned kernel, the case of POK, 2008.
- Learn AADL in a pleasant way, 2008.