This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
2011 IEEE 13th International Symposium on High-Assurance Systems Engineering
Worst Case Temporal Consistency in Integrated Modular Avionics Systems
Boca Raton, Florida USA
November 10-November 12
ISBN: 978-0-7695-4615-5
ASCII Text
x 
 
Michaël Lauer, Jérôme Ermont, Frédéric Boniol, Claire Pagetti, "Worst Case Temporal Consistency in Integrated Modular Avionics Systems," Ninth IEEE International Symposium on High-Assurance Systems Engineering (HASE'05), pp. 212-219, 2011 IEEE 13th International Symposium on High-Assurance Systems Engineering, 2011.
 
 
BibTex
x
 
@article{ 10.1109/HASE.2011.48,
author = {Michaël Lauer and Jérôme Ermont and Frédéric Boniol and Claire Pagetti},
title = {Worst Case Temporal Consistency in Integrated Modular Avionics Systems},
journal ={Ninth IEEE International Symposium on High-Assurance Systems Engineering (HASE'05)},
volume = {0},
year = {2011},
issn = {1530-2059},
pages = {212-219},
doi = {http://doi.ieeecomputersociety.org/10.1109/HASE.2011.48},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Ninth IEEE International Symposium on High-Assurance Systems Engineering (HASE'05)
TI - Worst Case Temporal Consistency in Integrated Modular Avionics Systems
SN - 1530-2059
SP212
EP219
A1 - Michaël Lauer,
A1 - Jérôme Ermont,
A1 - Frédéric Boniol,
A1 - Claire Pagetti,
PY - 2011
KW - Real-time distributed systems
KW - worst-case timing analysis
KW - tagged signal model
KW - safety requirements
VL - 0
JA - Ninth IEEE International Symposium on High-Assurance Systems Engineering (HASE'05)
ER -
 
Integrated Modular Avionics (IMA) architectures have been defined for sharing communication and computation resources. The aim of this paper is to evaluate temporal consistency properties of functions implemented on IMA platforms. More specifically, the two contributions are : (1) a modeling approach for IMA platforms based on the tagged signal model and an abstraction of the network, (2) the definition of two evaluation methods for temporal consistency properties. The industrial applicability of the method is demonstrated on an Airbus A380-like platform. We also discuss the significance of the over-approximations induced by the network abstraction.
Index Terms:
Real-time distributed systems, worst-case timing analysis, tagged signal model, safety requirements
Citation:
Michaël Lauer, Jérôme Ermont, Frédéric Boniol, Claire Pagetti, "Worst Case Temporal Consistency in Integrated Modular Avionics Systems," hase, pp.212-219, 2011 IEEE 13th International Symposium on High-Assurance Systems Engineering, 2011
Usage of this product signifies your acceptance of the Terms of Use.