Scheduling and memory requirements analysis with AADL
- 13 November 2005
- journal article
- Published by Association for Computing Machinery (ACM) in ACM SIGAda Ada Letters
- Vol. XXV (4), 1-10
- https://doi.org/10.1145/1104011.1103847
Abstract
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.Keywords
This publication has 9 references indexed in Scilit:
- Using the AADL to Describe Distributed Applications from Middleware to Software ComponentsLecture Notes in Computer Science, 2005
- CheddarPublished by Association for Computing Machinery (ACM) ,2004
- Scheduling in Real‐Time SystemsPublished by Wiley ,2002
- An approximate analysis of waiting time in multi-class M/G /1/./ EDF queuesACM SIGMETRICS Performance Evaluation Review, 1996
- Holistic schedulability analysis for distributed hard real-time systemsMicroprocessing and Microprogramming, 1994
- A queueing network with a single cyclically roving serverQueueing Systems, 1992
- Dynamic scheduling of real-time tasks under precedence constraintsReal-Time Systems, 1990
- Priority inheritance protocols: an approach to real-time synchronizationIEEE Transactions on Computers, 1990
- Scheduling Algorithms for Multiprogramming in a Hard-Real-Time EnvironmentJournal of the ACM, 1973