, Annex 8 -Airworthiness of Aircraft. International Civil Aviation Organization, 2018.
, Easy Access Rules for Air Operations (Regulation (EU) No 965/2012). European Union Aviation Safety Agency, 2019.
,
, A318/A319/A320/A321 Flight Crew Training Manual, 2002.
,
, A318/A319/A320/A321 Performance Training Manual, 2006.
Airbus A320 -Front Panel, 2007. ,
Toward a wider use of formal methods for aerospace systems design and verification, International Journal on Software Tools for Technology Transfer, vol.12, pp.1-7, 2009. ,
Syntax and Semantics of the Clock Constraint Specification Language (CCSL), INRIA, 2009. ,
Semantic adaptation for models of computation, 2011 Eleventh International Conference on Application of Concurrency to System Design, pp.153-162, 2011. ,
URL : https://hal.archives-ouvertes.fr/hal-00605273
TESL: a language for reconciling heterogeneous execution traces, Formal Methods and Models for Codesign (MEMOCODE), 2014. ,
URL : https://hal.archives-ouvertes.fr/hal-01100179
, Twelfth ACM/IEEE International Conference on, pp.114-123, 2014.
, Cessna Aircraft Company. Cessna Skyhawk Information Manual
Formal verification of simulation scenarios in aviation scenario definition language (asdl), Aerospace, vol.5, p.1, 2018. ,
Leto -a Lustre-based test oracle for airbus critical systems, Formal Methods for Industrial Critical Systems, pp.7-22, 2009. ,
Taming heterogeneity -the Ptolemy approach, Proceedings of the IEEE, vol.91, issue.1, pp.127-144, 2003. ,
, Digital Avionics Handbook, pp.16-17, 2017.
Multi-UAV simulator utilizing X-Plane, Journal of Intelligent and Robotic Systems, vol.57, issue.1, p.393, 2009. ,
From theory to flight tests: Airbus flight control system TRL5 achievements, IFAC Proceedings Volumes, vol.47, pp.10562-10567, 2014. ,
The synchronous data flow programming language lustre, Proceedings of the IEEE, vol.79, pp.1305-1320, 1991. ,
ED-247 (VISTAS) gateway for hybrid test systems, SAE Technical Paper, 2018. ,
Modeling and hardwarein-the-loop simulation for a small unmanned aerial vehicle, AIAA Infotech@ Aerospace 2007 Conference and Exhibit, p.2768, 2007. ,
Analysis of a technical description of the Airbus A320 braking system, High Integrity Systems, vol.1, pp.331-350, 1995. ,
The tagged signal model a preliminary version of a denotational framework for comparing models of computation ,
, , 1996.
The physics of flight: I. fixed and rotating wings, Physics Education, vol.42, p.351, 2007. ,
Heterogeneous Modeling and Design of Control Systems, pp.105-122, 2005. ,
High-level modeling and analysis of the traffic alert and collision avoidance system (TCAS), Proceedings of the IEEE, vol.88, pp.926-948, 2000. ,
Clock constraint specification language: specifying clock constraints with UML/Marte, novations in Systems and Software Engineering, vol.4, pp.309-314, 2008. ,
The Definition of Standard ML, 1997. ,
A symbolic operational semantics for TESL -with an application to heterogeneous system testing, Formal Modeling and Analysis of Timed Systems -15th International Conference, pp.318-334, 2017. ,
URL : https://hal.archives-ouvertes.fr/hal-01583815
A formal development of a polychronous polytimed coordination language. Archive of Formal Proofs, 2019. ,
Concrete Semantics: With Isabelle/HOL, 2014. ,
Isabelle/HOL: A Proof Assistant for Higher-order Logic, 2002. ,
The temporal logic of programs, 18th Annual Symposium on Foundations of Computer Science, pp.46-57, 1977. ,
System Design, Modeling, and Simulation using Ptolemy II, Ptolemy.org, 2014. ,
Software Considerations in Airborne Systems and Equipment Certification, RTCA Inc, 1992. ,
A new approach for distributed computing in avionics systems, Proceedings of the 1st international symposium on Information and communication technologies, pp.579-584, 2003. ,
, Digital Avionics Handbook. Electrical engineering handbook series, 2015.
Airbus electrical flight controls: A family of fault-tolerant systems, Digital Avionics Handbook, pp.31-32, 2015. ,
A behavioral coordination operator language (BCOoL), 18th International Conference on Model Driven Engineering Languages and Systems, 2015. ,
URL : https://hal.archives-ouvertes.fr/hal-01182773
Whole-program compilation in MLton, Proceedings of the 2006 Workshop on ML, pp.1-1, 2006. ,
Safety considerations for operation of unmanned aerial vehicles in the national airspace system, 2006. ,
Disentanglement in nested-parallel programs, Proc. ACM Program. Lang. 4, POPL, 2019. ,