Modeling distributed real-time systems with MAST 2

被引：23

作者：

Gonzalez Harbour, Michael ^{[1
]}

Javier Gutierrez, J. ^{[1
]}

Drake, Jose M. ^{[1
]}

Lopez Martinez, Patricia ^{[1
]}

Carlos Palencia, J. ^{[1
]}

机构：

[1] Univ Cantabria, Comp & Real Time Grp, E-39005 Santander, Spain

来源：

JOURNAL OF SYSTEMS ARCHITECTURE | 2013年 / 59卷 / 06期

关键词：

Real-time; Distributed systems; Modeling; Network switches; Clock synchronization;

D O I：

10.1016/j.sysarc.2012.02.001

中图分类号：

TP3 [计算技术、计算机技术];

学科分类号：

0812 ;

摘要：

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. (C) 2012 Elsevier B.V. All rights reserved.

引用

页码：331 / 340

页数：10

共 18 条

[1]

Airlines Electronic Engineering Committee Aeronautical Radio INC, 2005, ARINC SPEC 664P7 AIR

[2] Formal modeling and analysis of the AFDX frame management design [J].

Anand, Madhukar ;

Vestal, Steve ;

Dajani-Brown, Samar ;

Lee, Insup .

NINTH IEEE INTERNATIONAL SYMPOSIUM ON OBJECT AND COMPONENT-ORIENTED REAL-TIME DISTRIBUTED COMPUTING, PROCEEDINGS, 2006, :393-399

[3]

[Anonymous], 2009, UML PROF MARTE MOD A

[4]

[Anonymous], 2003, 1189822003 ISO

[5]

[Anonymous], 2011, Real-Time Systems: Design Principles for Distributed Embedded Applications

[6] Improving the Worst-Case Delay Analysis of an AFDX Network Using an Optimized Trajectory Approach [J].

Bauer, Henri ;

Scharbarg, Jean-Luc ;

Fraboul, Christian .

IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS, 2010, 6 (04) :521-533

[7]

Behrmann G, 2004, LECT NOTES COMPUT SC, V3185, P200

[8] A framework for modular analysis and exploration of heterogeneous embedded systems [J].

Hamann, A ;

Jersak, M ;

Richter, K ;

Ernst, R .

REAL-TIME SYSTEMS, 2006, 33 (1-3) :101-137

[9] MAST:: Modeling and analysis suite for real time applications [J].

Harbour, MG ;

García, JJG ;

Gutiérrez, JCP ;

Moyano, JMD .

13TH EUROMICRO CONFERENCE ON REAL-TIME SYSTEMS, PROCEEDINGS, 2001, :125-134

[10]

LEHOCZKY JP, 1990, PROCEEDINGS : 11TH REAL-TIME SYSTEMS SYMPOSIUM, P201, DOI 10.1109/REAL.1990.128748

← 1 2 →