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 & Francesco Pupo:
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, Ulrik Nyman & Andrzej Wasowski:
Timed I/O automata: a complete specification theory for real-time systems.
In: HSCC 2010,
doi:10.1145/1755952.1755967.
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.
Orna Grumberg & David Long (1994):
Model checking and modular verification.
Toplas 16(3),
pp. 843–871,
doi:10.1145/177492.177725.
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.
Henrik Jensen (1999):
Abstraction-based verification of distributed systems.
Aalborg university.
Henrik Jensen, Kim Larsen & Arne Skou:
Scaling up UPPAAL.
In: FTRFS 2000,
doi:10.1007/3-540-45352-0_4.
Marius Mikučionis, Kim Larsen, Jacob Rasmussen, Brian Nielsen, Arne Skou, Steen Palm, Jan Pedersen & Poul Hougaard:
Schedulability analysis using UPPAAL: Herschel-Planck case study.
In: ISoLA 2010,
doi:10.1007/978-3-642-16561-0_21.
Jan Reineke, Björn Wachter & Stefan Thesing et al.:
A definition and classification of timing anomalies.
In: WCET 2006.
Youcheng Sun, Giuseppe Lipari, Romain Soulat, Laurent Fribourg & Nicolas Markey:
Component-based analysis of hierarchical scheduling using linear hybrid automata.
In: RTCSA 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.