A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is
A Modeling Framework for Schedulability Analysis of Distributed Avionics Systems
Electronic Proceedings in Theoretical Computer Science
This paper presents a modeling framework for schedulability analysis of distributed integrated modular avionics (DIMA) systems that consist of spatially distributed ARINC-653 modules connected by a unified AFDX network. We model a DIMA system as a set of stopwatch automata (SWA) in UPPAAL to analyze its schedulability by classical model checking (MC) and statistical model checking (SMC). The framework has been designed to enable three types of analysis: global SMC, global MC, and compositionaldoi:10.4204/eptcs.268.5 fatcat:npi5wkqrsnglxftwxejjvx4w7m