Buscar

Estamos realizando la búsqueda. Por favor, espere...

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.

 Autoría: González Harbour M., Gutiérrez J., Drake J., Lo?ez Martínez P., Palencia J.,

 Fuente: Journal of Systems Architecture, 2013, 59(6), 331-340

 Editorial: Elsevier

 Fecha de publicación: 01/06/2013

 Nº de páginas: 10

 Tipo de publicación: Artículo de Revista

 DOI: 10.1016/j.sysarc.2012.02.001

 ISSN: 1383-7621

 Proyecto español: TIN2008-06766-C03-03

 Url de la publicación: https://doi.org/10.1016/j.sysarc.2012.02.001

Autoría

MICHAEL GONZALEZ HARBOUR

JOSE MARIA DRAKE MOYANO