Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment
Journal of the ACM (JACM)
Partitioning in Avionics Architectures: Requirements, Mechanisms, and Assurance
Partitioning in Avionics Architectures: Requirements, Mechanisms, and Assurance
Cheddar: a flexible real time scheduling framework
Proceedings of the 2004 annual ACM SIGAda international conference on Ada: The engineering of correct and reliable software for real-time & distributed systems using Ada and related technologies
On Resource Allocation in Architectural Models
ISORC '08 Proceedings of the 2008 11th IEEE Symposium on Object Oriented Real-Time Distributed Computing
ArcheOpterix: An extendable tool for architecture optimization of AADL models
MOMPES '09 Proceedings of the 2009 ICSE Workshop on Model-Based Methodologies for Pervasive and Embedded Software
Validate, simulate, and implement ARINC653 systems using the AADL
Proceedings of the ACM SIGAda annual international conference on Ada and related technologies
Performance Modelling for Avionics Systems
Computer Aided Systems Theory - EUROCAST 2009
Schedulability analysis of AADL models
IPDPS'06 Proceedings of the 20th international conference on Parallel and distributed processing
| Hi-index | 0.00 |
In this paper, we focus on system configurations of Integrated Modular Avionics (IMA) systems and present a novel approach for their calculation. We consider IMA systems based on ASAAC standards (STANAG 4626, EN 4660). These systems are modelled, by means of blueprints, using the SAE standardised modelling and analysis language AADL. For the calculation of system configurations, the required data is gathered from the system model and is transformed into a SAT modulo theory (SMT) formula. This formula includes a set of user input parameters, which steer the resource allocation. All feasible solutions satisfy the schedulability by a given set of scheduling schemes. The as schedulable considered configurations serve in choosing the final system configuration, for which a set of possible valid reconfigurations is calculated. To facilitate more compact allocations and increase the quality of (re-)configurations, we consider system modes. Both the chosen configuration and its corresponding reconfigurations are stored in the AADL system model, making all necessary data available within the same developing environment.