AEEC (2009):
Aircraft Data Network, Part 7, Avionics Full-Duplex Switched Ethernet Network.
ARINC Specification 664P7-1.
Aeronautical Radio Inc..
AEEC (2010):
Avionics Application Software Standard Interface: Part 1 - Required Services.
ARINC Specification 653P1-3.
Aeronautical Radio Inc..
Tobias Amnell, Elena Fersman, Leonid Mokrushin, Paul Pettersson & Wang Yi:
TIMES: a tool for schedulability analysis and code generation of real-time systems.
In: FORMATS 2003,
doi:10.1007/978-3-540-40903-8_6.
Björn Annighöfer & Frank Thielecke (2014):
A Systems Architecting Framework for Distributed Integrated Modular Avionics.
DGLR,
doi:10.1007/s13272-015-0156-1.
Jalil Boudjadar, Kim Guldstrand Larsen, Jin Hyun Kim & Ulrik Nyman:
Compositional schedulability analysis of an avionics system using UPPAAL.
In: AASE 2014.
Laura Carnevali, Giuseppe Lipari, Alessandro Pinzuti & Enrico Vicario:
A formal approach to design and verification of two-level Hierarchical Scheduling systems.
In: RST 2011,
doi:10.1007/BF00360340.
Laura Carnevali, Alessandro Pinzuti & Enrico Vicario (2013):
Compositional verification for hierarchical scheduling of real-time systems.
IEEE Transactions on Software Engineering 39(5),
pp. 638–657,
doi:10.1109/TSE.2012.54.
Franck Cassez & Kim Larsen:
The impressive power of stopwatches.
In: CONCUR 2000,
doi:10.1007/3-540-44618-4_12.
Franco Cicirelli, Angelo Furfaro & Libero Nigro et al.:
Development of a schedulability analysis framework based on pTPN and UPPAAL with stopwatches.
In: DSRA 2012,
doi:10.1109/DS-RT.2012.16.
Alexandre David, Kim G Larsen, Axel Legay, Marius Mikučionis & Danny Bøgsted Poulsen (2015):
Uppaal SMC tutorial.
STTT 17(4),
pp. 397–415,
doi:10.1007/s10009-014-0361-y.
RB Dodd (2006):
Coloured petri net modelling of a generic avionics mission computer.
Technical Report.
DTIC.
Arvind Easwaran, Insup Lee, Oleg Sokolsky & Steve Vestal:
A compositional scheduling framework for digital avionics systems.
In: RTCSA 2009,
doi:10.1109/RTCSA.2009.46.
J Javier Gutiérrez, J Carlos Palencia & Michael González Harbour (2014):
Holistic schedulability analysis for multipacket messages in AFDX networks.
Real-Time Systems 50(2),
doi:10.1007/s11241-013-9192-2.
Youcheng Sun, Giuseppe Lipari, Romain Soulat, Laurent Fribourg & Nicolas Markey:
Component-based analysis of hierarchical scheduling using linear hybrid automata.
In: ERCSA 2014,
doi:10.1109/RTCSA.2014.6910502.
Guoqing Wang & Qingfan Gu:
Research on distributed integrated modular avionics system architecture design and implementation.
In: DASC 2013,
doi:10.1109/dasc.2013.6712647.
eptcs@eptcs.org