About me

Publications

Model-Based Engineering for the Development of Partitioned Architectures In AeroTech Congress & Exhibition - Avionics - Integrated Model-based System, Application and Architectures.
[DPF09] J. Delange, L. Pautet and Peter Feiler. Validating safety and security requirements for partitioned architectures. In 14th International Conference on Reliable Software Technologies - Ada Europe, June 2009.
[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.

Model-Based Engineering for the Development of Partitioned Architectures In AeroTech Congress & Exhibition - Avionics - Integrated Model-based System, Application and Architectures.
Validating safety and security requirements for partitioned architectures. In 14th International Conference on Reliable Software Technologies - Ada Europe, June 2009.
Conception et implémentation de systèmes sûrs et sécurisés (french version only). For the MeFoSyLoMa group. PDF.
Code Generation Strategies for Partitioned Systems PDF In 29th IEEE Real-Time Systems Symposium (RTSS'08) Work In Progress, IEEE Computer Society, December 2008. 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

Code Generation Strategies for Partitioned Systems. In 29th IEEE Real-Time Systems Symposium (RTSS'08), IEEE Computer Society, December 2008. JPEG.