Scheduling and memory requirements analysis with AADL
Scheduling and memory requirements analysis with AADL
复制标题
DOI：
10.1145/1103846.1103847
复制
发表时间：
2005-11
期刊：
影响因子：
--
通讯作者：
Frank Singhoff;J. Legrand;Laurent Nana;L. Marcé
中科院分区：
文献类型：
--
作者：
Frank Singhoff;J. Legrand;Laurent Nana;L. Marcé
本文描述了一组Ada软件包，它允许设计人员执行AADL规范的资源需求分析。这组Ada包是Cheddar的一部分，Cheddar是我们在布雷斯特大学开发的Ada框架[22]。该框架提供了检查AADL线程是否在执行时满足其截止日期的工具。提出了一些新的AADL属性来建模和分析依赖AADL线程集。它还提供了一些工具来执行AADL规范的内存需求分析。
This article describes an Ada set of packages which allows designers to perform resource requirements analysis of AADL specifications. This set of Ada packages is part of Cheddar, an Ada framework that we are developing at the University of Brest [22].The framework provides tools to check if AADL threads will meet their deadline at execution time. Some new AADL properties are proposed to model and analyze dependent AADL thread sets. It also provides some tools to perform memory requirements analysis on AADL specifications.