International Journal of Critical Computer-Based Systems
These articles have been peer-reviewed and accepted for publication but are pending final changes, are not yet published and may not appear here in their final order of publication until they are assigned to issues. Therefore, the content conforms to our standards but the presentation (e.g. typesetting and proof-reading) is not necessarily up to the Inderscience standard. Additionally, titles, authors, abstracts and keywords may change before publication. Articles will not be published until the final proofs are validated by their authors.
Forthcoming articles must be purchased for the purposes of research, teaching and private study only. These articles can be cited using the expression "in press". For example: Smith, J. (in press). Article Title. Journal Title.
Articles marked with this shopping trolley icon are available for purchase - click on the icon to send an email request to purchase.
International Journal of Critical Computer-Based Systems (1 paper in press)
Iterative integration of TTEthernet network flows by Sofiene Beji, Sardaouna Hamadou, John Mullins, Abdelouahed Gherbi Abstract: TTEthernet has been proposed as an improvement of the Ethernet network protocol to ensure communication of critical systems.
Some of these systems, such as avionics systems, are complex and evolving ones. Therefore, they are designed iteratively
by integrating in each iteration some components of the system.
Adding new functionalities may induce substantial additional costs of reconfiguration of the system in order to meet the real-time requirements.
Based on the constraint programming techniques,
we develop in this paper a cost optimization approach that meets the
TTEthernet specification and validates the latencies requirements in an accurate way.
We illustrate our approach on a case study
with the MiniZinc tool (Nethercote et al. , 2007). Keywords: TTEthernet; Iterative Integration; Scheduling; Real-Time Systems.