SMT-Based Cost Optimization Approach for the Integration of Avionic Functions in IMA and TTEthernet Architectures

The design of avionic systems is a complex engineering activity. The iterative integration approach helps in controlling the complexity of such activity. On the other hand, using such approach to design evolving systems requires the reconfiguration of scheduling parameters of already integrated part...

Full description

Saved in:
Bibliographic Details
Published in:2014 IEEE/ACM 18th International Symposium on Distributed Simulation and Real Time Applications pp. 165 - 174
Main Authors: Beji, Sofiene, Hamadou, Sardaouna, Gherbi, Abdelouahed, Mullins, John
Format: Conference Proceeding
Language:English
Published: IEEE 01.10.2014
Subjects:
Aerospace electronics
Computer architecture
Optimal scheduling
Software
Switches
Synchronization
ISBN:9781479961436, 1479961434
ISSN:1550-6525
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:The design of avionic systems is a complex engineering activity. The iterative integration approach helps in controlling the complexity of such activity. On the other hand, using such approach to design evolving systems requires the reconfiguration of scheduling parameters of already integrated parts. This reconfiguration results in a recertification process having a cost that depends on the criticality level of the affected application. We propose a new approach which helps the system designer at each integration step in establishing the new scheduling parameters that minimize such cost. In this work, we focus on the Integrated Modular Avionic (IMA) architecture connected through a Time-Triggered Ethernet (TTEthernet) network. We present a formal model for such systems and we use this model to define a set of constraints that ensure the real-time requirements. These constraints are expressed using an SMTbased language and we used the SMT-solver YICES to find automatically a feasible scheduling parameters that minimize the cost of integration. We show our framework at work by analyzing the iterative integration of some functionalities of the Flight Management System.
ISBN:9781479961436
1479961434
ISSN:1550-6525
DOI:10.1109/DS-RT.2014.28