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!

Be the first to leave a comment!