Model-based design and schedulability analysis for avionic applications on multicore platforms

被引：0

作者：

Godard, Wenceslas ^{[1
]}

Nelissen, Geoffrey ^{[2
]}

机构：

[1] Airbus Group Innovations, Toulouse, France

[2] CISTER, INESC TEC, ISEP, Polytechnic Institute of Porto, Portugal

来源：

Ada User Journal | 2016年 / 37卷 / 03期

关键词：

Avionics;

D O I：

暂无

中图分类号：

T [工业技术];

学科分类号：

08 ;

摘要：

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.

引用

页码：157 / 163