Extension and Utilization of a Design Framework to Model Integrated Modular Avionic Architecture

Embedded avionics systems often involve hard real-time constraints intended to ensure full system correctness. Avionics software development costs can be sharply impacted by wrong design choices made in the early stages of development, but often detected after implementation. By using temporal scheduling analysis, designers could detect infeasible real-time architectures, and prevent costly design mistakes. Recently, model-driven engineering paradigm facilitates the use of several analysis tools with standards modeling languages e.g. SysML, AADL, UML-MARTE, etc. to get a complete design cycle ranging from modeling upi¾źto verification and validation. However, only few model-based researches have studied the difficulty that designers face while seeking appropriate analysis tests which match their designs. MoSaRT Modeling Oriented Scheduling Analysis of Real-Time systems framework is one of these researches. It provides various facilities to help designers to model and analyze traditional real-time systems. In this paper, we propose the extension and the utilization of the MoSaRT framework to support avionics architectures. An analysis tool has also been developed and added in line with this kind of architectures. The proposed research is illustrated by discussing a real case study.

[1]  John P. Lehoczky,et al.  Fixed priority scheduling of periodic task sets with arbitrary deadlines , 1990, [1990] Proceedings 11th Real-Time Systems Symposium.

[2]  Pascal Richard,et al.  MoSaRT Framework: A Collaborative Tool for Modeling and Analyzing Embedded Real-Time Systems , 2014, CSDM.

[3]  Paul Prisaznuk,et al.  ARINC Specification 653, Avionics Application Software Standard Interface , 2006, Avionics.

[4]  Alan Burns,et al.  Hierarchical fixed priority pre-emptive scheduling , 2005, 26th IEEE International Real-Time Systems Symposium (RTSS'05).

[5]  Reinder J. Bril,et al.  Analysis of hierarchical fixed-priority pre-emptive scheduling revisited , 2006 .

[6]  Giuseppe Lipari,et al.  A methodology for designing hierarchical scheduling systems , 2005, J. Embed. Comput..

[7]  John P. Lehoczky,et al.  Analysis of hierar hical fixed-priority scheduling , 2002, Proceedings 14th Euromicro Conference on Real-Time Systems. Euromicro RTS 2002.

[8]  Frank Budinsky,et al.  EMF: Eclipse Modeling Framework 2.0 , 2009 .

[9]  Insup Lee,et al.  Periodic resource model for compositional real-time guarantees , 2003, RTSS 2003. 24th IEEE Real-Time Systems Symposium, 2003.

[10]  Aloysius K. Mok,et al.  A model of hierarchical real-time virtual resources , 2002, 23rd IEEE Real-Time Systems Symposium, 2002. RTSS 2002..

[11]  Patricia Balbastre Betoret,et al.  Exact Response Time Analysis of Hierarchical Fixed-Priority Scheduling , 2009, 2009 15th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications.

[12]  Mathai Joseph,et al.  Finding Response Times in a Real-Time System , 1986, Comput. J..

[13]  Tei-Wei Kuo,et al.  A fixed-priority-driven open environment for real-time applications , 1999, Proceedings 20th IEEE Real-Time Systems Symposium (Cat. No.99CB37054).

[14]  Z. Deng,et al.  A scheme for scheduling hard real-time applications in open system environment , 1997, Proceedings Ninth Euromicro Workshop on Real Time Systems.