This paper presents a component-based approach tailored for the modelling of avionic systems. The system is defined as a set of applications developed following time partitioning principle. The toolset provides means to help the designer configure the system and compute a partition schedule for each available processing unit. The model and the generated schedule can then be used as inputs for a response-time analysis engine that calculates the worst-case response time of each task and therefore, assesses the overall system schedulability.
|Number of pages||7|
|Journal||Ada User Journal|
|Publication status||Published - Sep 2016|
- Integrated modular avionics
- Schedulability analysis