کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
485360 | 703325 | 2016 | 8 صفحه PDF | دانلود رایگان |
![عکس صفحه اول مقاله: A Modeling and Verification Approach to the Design of Distributed IMA Architectures Using TTEthernet A Modeling and Verification Approach to the Design of Distributed IMA Architectures Using TTEthernet](/preview/png/485360.png)
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 undertaking 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.
Journal: Procedia Computer Science - Volume 83, 2016, Pages 229–236