A Modeling and Verification Approach to the Design of Distributed IMA Architectures Using TTEthernet

Tiyam Robati, Abdelouahed Gherbi, John Mullins
2016 Procedia Computer Science  
Integrated Modular Avionics (IMA) architectures complemented with Time-Triggered Ethernet (TTEthernet) provides a strong platform to support the design and deployment of distributed avionic software systems. The complexity of the design and continuous integration of such systems can be managed using a model-based methodology. In this paper, we build on top of our extension of the AADL modeling language to model TTEthernet-based distributed systems and leverage model transformations to enable
more » ... ertaking the verification of the system models produced with this methodology. In particular, we propose to transform the system models to a model suitable for a simulation with DEVS. We illustrate the proposed approach using an example of a navigation and guidance system and we use this example to show the verification of the contention-freedom property of TTEthernet schedule.
doi:10.1016/j.procs.2016.04.120 fatcat:5lu742jtyjfddeac5pthbexawm