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...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	2014 IEEE/ACM 18th International Symposium on Distributed Simulation and Real Time Applications S. 165 - 174
Hauptverfasser:	Beji, Sofiene, Hamadou, Sardaouna, Gherbi, Abdelouahed, Mullins, John
Format:	Tagungsbericht
Sprache:	Englisch
Veröffentlicht:	IEEE 01.10.2014
Schlagworte:	Aerospace electronics Computer architecture Optimal scheduling Software Switches Synchronization
ISBN:	9781479961436, 1479961434
ISSN:	1550-6525
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!