Laurent Pautet
Software Engineering Institute
Publications by Laurent Pautet
-
An Implementation of the Behavior Annex in the AADL-Toolset Osate2
April 27, 2011 • Conference Paper
Gilles Lasnier (TELECOM ParisTech)Laurent Pautet (TELECOM ParisTech)Jerome Hugues (ISAE)
This paper first appeared in the Proceedings of the 16th IEEE International Conference on Engineering of Complex Computer Systems.
read -
An MDE-Based Process for the Design, Implementation and Validation of Safety-Critical Systems
March 26, 2010 • Conference Paper
Julien Delange (TELECOM ParisTech)Laurent Pautet (TELECOM ParisTech)Jerome Hugues (Universite de Toulouse, ISAE)
This paper proposes a process based on model-driven engineering to create distributed real-time embedded systems without manual coding using the AADL toolchain.
read -
Validating Safety and Security Requirements for Partitioned Architectures
June 12, 2009 • Conference Paper
Julien Delange (TELECOM ParisTech)Laurent Pautet (TELECOM ParisTech)Peter H. Feiler
This paper presents an approach to avoid faults and security issues in safety-critical systems by modeling safety and security requirements using AADL.
read