A model-based process for the modelling and the analysis of avionic architectures

To design and analyse integrated modular avionics (IMA) architectures, this paper presents a model-based process with separation of concerns going from the business view to the scheduling analysis view. A pivot meta-model dedicated to schedulability analysis has been extended to support recent and new systems architectures as well as new analysis methods. This pivot meta-model represents the front-end of a design framework filling the gap between the system architect and the schedulability analysis expert. This is presented in this paper by showing how the design framework is used to handle IMA architecture, and how simple plugins were developed and connected to the framework. The plugins propose hierarchical schedulability analysis, as well as end-to-end response-time analysis for network architecture. This research is illustrated by discussing a case study.

[1]  J. Javier Gutiérrez,et al.  Response time analysis in AFDX networks with sub-virtual links and prioritized switches , 1996 .

[2]  Christian Fraboul,et al.  A Probabilistic Analysis of End-To-End Delays on an AFDX Avionic Network , 2009, IEEE Transactions on Industrial Informatics.

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

[4]  Pascal Richard,et al.  A Forward end-to-end delays Analysis for packet switched networks , 2014, RTNS.

[5]  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).

[6]  Rene L. Cruz,et al.  A calculus for network delay, Part I: Network elements in isolation , 1991, IEEE Trans. Inf. Theory.

[7]  Jérôme Ermont,et al.  An improved timed automata approach for computing exact worst-case delays of AFDX sporadic flows , 2012, Proceedings of 2012 IEEE 17th International Conference on Emerging Technologies & Factory Automation (ETFA 2012).

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

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

[10]  Bran Selic.  The Less Well Known UML - A Short User Guide , 2012, SFM.

[11]  Steven Martin,et al.  Holistic and Trajectory Approaches for Distributed Non-preemptive FP/DP* Scheduling , 2005, ICN.

[12]  M. G. Harbour,et al.  MAST Real-Time View: a graphic UML tool for modeling object-oriented real-time systems , 2001, Proceedings 22nd IEEE Real-Time Systems Symposium (RTSS 2001) (Cat. No.01PR1420).

[13]  Pascal Richard,et al.  Dynamic priority scheduling of periodic tasks with extended precedences , 2011, ETFA2011.

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

[15]  Joël Goossens,et al.  Scheduling with preemption delays: anomalies and issues , 2015, RTNS.

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

[17]  Emmanuel Grolleau,et al.  An efficient response-time analysis for real-time transactions with fixed priority assignment , 2009, Innovations in Systems and Software Engineering.

[18]  Laurent Nana,et al.  Cheddar: a flexible real time scheduling framework , 2004, SIGAda.

[19]  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.

[20]  Pascal Richard,et al.  Negative results for scheduling independent hard real-time tasks with self-suspensions , 2004, 25th IEEE International Real-Time Systems Symposium.

[21]  Rolf Ernst,et al.  System level performance analysis - the SymTA/S approach , 2005 .

[22]  Christian Fraboul,et al.  Simulation for end-to-end delays distribution on a switched Ethernet , 2007, 2007 IEEE Conference on Emerging Technologies and Factory Automation (EFTA 2007).

[23]  Jean-Yves Le Boudec,et al.  Network Calculus: A Theory of Deterministic Queuing Systems for the Internet , 2001 .

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

[25]  John A. Clark,et al.  Holistic schedulability analysis for distributed hard real-time systems , 1994, Microprocess. Microprogramming.

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

[27]  Christian Fraboul,et al.  Improving the Worst-Case Delay Analysis of an AFDX Network Using an Optimized Trajectory Approach , 2010, IEEE Transactions on Industrial Informatics.

[28]  Alan Burns,et al.  A survey of hard real-time scheduling for multiprocessor systems , 2011, CSUR.

[29]  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.

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