Sign in
Author
|
Conference
|
Journal
|
Organization
|
Year
|
DOI
Look for results that meet for the following criteria:
since
equal to
before
between
and
Search in all fields of study
Limit my searches in the following fields of study
Agriculture Science
Arts & Humanities
Biology
Chemistry
Computer Science
Economics & Business
Engineering
Environmental Sciences
Geosciences
Material Science
Mathematics
Medicine
Physics
Social Science
Multidisciplinary
Keywords
(4)
Evaluation Method
Industrial Application
Integer Linear Program
Integrated Modular Avionics
Subscribe
Academic
Publications
Latency and freshness analysis on IMA systems
Latency and freshness analysis on IMA systems,10.1109/ETFA.2011.6059017,Michael Lauer,Jerome Ermont,Frederic Boniol,Claire Pagetti
Edit
Latency and freshness analysis on IMA systems
BibTex
|
RIS
|
RefWorks
Download
Michael Lauer
,
Jerome Ermont
,
Frederic Boniol
,
Claire Pagetti
The
Integrated Modular Avionics
(IMA) architectures have been dened for sharing communication and computation resources. The aim of this paper is to evaluate latency and freshness properties of functions implemented on IMA platforms. The two contributions are : (1) a modeling approach for IMA platforms based on the tagged signal model and the abstraction of the network, (2) the denition of an
evaluation method
for these properties based on Integer Linear Programming (ILP). The industrial applicability of the method is showed on an Airbus A380-like platform. We propose a discussion on the signicance of the over-approximations induced by the abstraction. This work is supported by the French National Research Agency within the Satrimmap project 1 .
Conference:
Emerging Technologies and Factory Automation - ETFA
, pp. 1-8, 2011
DOI:
10.1109/ETFA.2011.6059017
Cumulative
Annual
View Publication
The following links allow you to view full publications. These links are maintained by other sources not affiliated with Microsoft Academic Search.
(
ieeexplore.ieee.org
)
(
ieeexplore.ieee.org
)
References
(6)
Applying and optimizing trajectory approach for performance evaluation of AFDX avionics network
(
Citations: 10
)
Henri Bauer
,
Jean-Luc Scharbarg
,
Christian Fraboul
Conference:
Emerging Technologies and Factory Automation - ETFA
, pp. 1-8, 2009
A formal framework for verifying distributed embedded systems based on abstraction methods
(
Citations: 5
)
Francois Carcenac
,
Frédéric Boniol
Journal:
International Journal on Software Tools for Technology Transfer - STTT
, vol. 8, no. 6, pp. 471-484, 2006
Comparing models of computation
(
Citations: 50
)
Edward A. Lee
,
Alberto L. Sangiovanni-vincentelli
Conference:
International Conference on Computer Aided Design - ICCAD
, pp. 234-241, 1996
Schedulability analysis of flows scheduled with FIFO: application to the expedited forwarding class
(
Citations: 10
)
Steven Martin
,
Pascale Minet
Conference:
International Parallel and Distributed Processing Symposium/International Parallel Processing Symposium - IPDPS(IPPS)
, 2006
Safe Allocation of Avionics Shared Resources
(
Citations: 1
)
Laurent Sagaspe
,
Gérard Bel
,
Pierre Bieber
,
Frédéric Boniol
,
Charles Castel
Conference:
High-Assurance Systems - HASE
, pp. 25-33, 2005