Airbus fly-by-wire: A total approach to dependability, Building the Information Society, pp.191-212, 2004. ,
Implementing logical synchrony in integrated modular avionics, Digital Avionics Systems Conference, IEEE/AIAA 28th, 2009. ,
A modeling paradigm for integrated modular avionics design, Soft. Engineering and Advanced Applications, 32nd EUROMICRO Conference on, pp.134-143, 2006. ,
, ARINC specification 429-ALL: Mark 33 Digital Information Transfer System Parts, Aeronautical Radio Inc, 2001.
, Aircraft Data Network, Part 1: Systems Concepts and Overview, vol.664, 2002.
Fiacre: an intermediate language for model verification in the TOPCASED environment, Embedded and Real-Time Software, 2008. ,
URL : https://hal.archives-ouvertes.fr/inria-00262442
The TOPCASED ProjectA Toolkit in OPen-source for Critical Applications and SystEm Development, Data Systems In Aerospace (DASIA), 2006. ,
The tool TINAconstruction of abstract state spaces for Petri nets and time Petri nets, International Journal of Production Research, vol.42, issue.14, pp.2741-2756, 2004. ,
Cadp 2010: a toolbox for the construction and analysis of distributed processes, Tools and Algorithms for the Construction and Analysis of Systems, pp.372-387, 2011. ,
URL : https://hal.archives-ouvertes.fr/inria-00583776
Formal verification of AADL models with Fiacre and Tina, Embedded RealTime Software and Systems, pp.1-9, 2010. ,
URL : https://hal.archives-ouvertes.fr/hal-00494348
SDL to Fiacre translation, Embedded Real-Time Software and Systems, 2014. ,
Patterns in property specifications for finite-state verification, International Conference on Software Engineering, pp.411-420, 1999. ,
Real-time specification patterns and tools, Formal Methods for Industrial Critical Systems, Springer LNCS 7437, pp.1-15, 2012. ,
URL : https://hal.archives-ouvertes.fr/hal-00782649