Abstract
In this paper we consider a problem of simulation of avionics models with heterogeneously specified behaviours of components. In particular, we consider a situation when some software components of a model are specified by a program code of ARINC653 partitions but the rest of a model is defined in a very abstract way. One approach of behavioural and time analysis of such models is described in this paper.
- ARINC 653 standard, http://arinc.com/.Google Scholar
- JetOS, an open-source ARINC653-compatible RTOS, http://forge.ispras.ru/projects/chpok/.Google Scholar
- ARINC 664 part 7, Avionics Full Duplex Switched Ethernet (AFDX) network, http://arinc.com/.Google Scholar
- QEMU, a generic and open source machine emulator and virtualizer, http://www.qemu.org/.Google Scholar
- A. Bayha, F. Grüneis, and B. Schätz. Model-based software in-the-loop-test of autonomous systems. In Proceedings of the 2012 Symposium on Theory of Modeling and Simulation --- DEVS Integrative M&S Symposium, TMS/DEVS '12, pages 30:1--30:6, San Diego, CA, USA, 2012. Society for Computer Simulation International.Google Scholar
Digital Library
- D. Buzdalov and A. Khoroshilov. A discrete-event simulator for early validation of avionics systems. In ACVI 2014 -- Architecture Centric Virtual Integration Workshop Proceedings, pages 28--38, 2014.Google Scholar
- D. Buzdalov and A. Khoroshilov. About formal interpretation of architecture models. In ACVI 2015 --- Architecture Centric Virtual Integration Workshop Proceedings, 2015.Google Scholar
- D. Buzdalov, S. Zelenov, E. Kornykhin, A. Petrenko, A. Strakh, A. Ugnenko, and A. Khoroshilov. Tools for system design of integrated modular avionics. In Proceedings of the Institute for System Programming of RAS, volume 26, pages 201--230, 2014. Google Scholar
Cross Ref
- P. F. Riley and G. F. Riley. SPADES --- a distributed agent sumulation environment with software-in-the-loop execution. In Proceedings of the 2003 Winter Simulation Conference, 2003. Google Scholar
Cross Ref
- SAE International. Architecture Analysis & Design Language (AADL), Behavior Model Annex, 2011. http://standards.sae.org/as5506/2/.Google Scholar
- SAE International. Architecture Analysis & Design Language (AADL), SAE International standard AS5506B, 2012. http://standards.sae.org/as5506b/.Google Scholar
- SAE International. Architecture Analysis & Design Language (AADL), Error Model Annex, 2015. http://standards.sae.org/as5506/1a/.Google Scholar
- A. J. Wellings and A. Burns. A Framework for Real-Time Utilities for Ada 2005. Ada Letters, XXVII(2), August 2007.Google Scholar
Recommendations
Schedulability analysis of AADL models
IPDPS'06: Proceedings of the 20th international conference on Parallel and distributed processingThe paper discusses the use of formal methods for the analysis of architectural models expressed in the modeling language AADL. AADL describes the system as a collection of interacting components. The AADL standard prescribes semantics for the thread ...
Formal semantics and analysis of behavioral AADL models in real-time maude
FMOODS'10/FORTE'10: Proceedings of the 12th IFIP WG 6.1 international conference and 30th IFIP WG 6.1 international conference on Formal Techniques for Distributed SystemsAADL is a standard for modeling embedded systems that is widely used in avionics and other safety-critical applications. However, AADL lacks a formal semantics, and this severely limits both unambiguous communication among model developers, and the ...
Formal execution semantics for asynchronous constructs of AADL
ACES-MB '12: Proceedings of the 5th International Workshop on Model Based Architecting and Construction of Embedded SystemsThe Architecture Analysis and Design Language (AADL) has been widely accepted to support the development process of Distributed Real-time and Embedded (DRE) systems and ease the tension of analyzing the systems' non-functional properties. The AADL ...






Comments