Modeling distributed real-time systems with MAST 2

Abstract Switched networks have an increasingly important role in real-time communications. The IEEE Ethernet standards have defined prioritized traffic (802.1p) and other QoS mechanisms (802.1q). The Avionics Full-Duplex Switched Ethernet (AFDX) standard defines a hard real-time network based on switched Ethernet. Clock synchronization is also an important service in some real-time distributed systems because it allows a global notion of time for event timing and timing requirements. In the process of defining the new MAST 2 model, clock synchronization modeling capabilities have been added, and the network elements have been enhanced to include switches and routers. This paper introduces the schedulability model that will enable an automatic schedulability analysis of a distributed application using switched networks and clock synchronization mechanisms.

[1]  Hermann Kopetz,et al.  Real-time systems , 2018, CSC '73.

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

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

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

[5]  Insup Lee,et al.  Formal modeling and analysis of the AFDX frame management design , 2006, Ninth IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC'06).

[6]  Michael González Harbour,et al.  RT-EP: A Fixed-Priority Real Time Communication Protocol over Standard Ethernet , 2005, Ada-Europe.

[7]  Marco Spuri,et al.  Holistic Analysis for Deadline Scheduled Real-Time Distributed Systems , 1996 .

[8]  J. Javier Gutiérrez,et al.  MAST: Modeling and Analysis Suite for Real Time Applications , 2001, ECRTS.

[9]  Julio L. Medina Pasaje,et al.  Model-Based Analysis and Design of Real-Time Distributed Systems with Ada and the UML Profile for MARTE , 2011, Ada-Europe.

[10]  Kim G. Larsen,et al.  A Tutorial on Uppaal , 2004, SFM.

[11]  Rolf Ernst,et al.  A framework for modular analysis and exploration of heterogeneous embedded systems , 2006, Real-Time Systems.

[12]  J. Javier Gutiérrez,et al.  Optimized Deadline Assignment and Schedulability Analysis for Distributed Real-Time Systems with Local EDF Scheduling , 2010, ESA.

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

[14]  Zhang Jiandong,et al.  Modelling and performance analysis of AFDX based on Petri Net , 2010, 2010 2nd International Conference on Future Computer and Communication.