References

  1. AEEC (2010): Avionics application software standard interface: part 1 - required services. ARINC Specification 653P1-3. Aeronautical Radio Inc..
  2. 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.
  3. Björn Annighöfer & Frank Thielecke (2014): A systems architecting framework for distributed integrated modular avionics. DGLR, doi:10.1007/s13272-015-0156-1.
  4. Jalil Boudjadar, Kim Guldstrand Larsen, Jin Hyun Kim & Ulrik Nyman: Compositional schedulability analysis of an avionics system using UPPAAL. In: AASE 2014.
  5. 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.
  6. 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.
  7. Franck Cassez & Kim Larsen: The impressive power of stopwatches. In: CONCUR 2000, doi:10.1007/3-540-44618-4_12.
  8. 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.
  9. 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.
  10. RB Dodd (2006): Coloured petri net modelling of a generic avionics mission computer. Technical Report. DTIC.
  11. 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.
  12. Orna Grumberg & David Long (1994): Model checking and modular verification. Toplas 16(3), pp. 843–871, doi:10.1145/177492.177725.
  13. 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.
  14. Henrik Jensen (1999): Abstraction-based verification of distributed systems. Aalborg university.
  15. Henrik Jensen, Kim Larsen & Arne Skou: Scaling up UPPAAL. In: FTRFS 2000, doi:10.1007/3-540-45352-0_4.
  16. 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.
  17. Jan Reineke, Björn Wachter & Stefan Thesing et al.: A definition and classification of timing anomalies. In: WCET 2006.
  18. 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.
  19. Guoqing Wang & Qingfan Gu: Research on distributed integrated modular avionics system architecture design and implementation. In: DASC 2013, doi:10.1109/dasc.2013.6712647.

Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org