Abstract | ||
---|---|---|
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. |
Year | DOI | Venue |
---|---|---|
2012 | 10.1007/978-3-642-33826-7_14 | SEFM |
Keywords | Field | DocType |
ima system,corresponding reconfigurations,final system configuration,system configuration,system model,necessary data,system mode,configuration approach,chosen configuration,aadl system model,analysis language aadl | Integrated modular avionics,Modulo,Scheduling (computing),Computer science,System configuration,Real-time computing,Blueprint,Resource allocation,System model | Conference |
Volume | Citations | PageRank |
7504 | 0 | 0.34 |
References | Authors | |
10 | 4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Visar Januzaj | 1 | 15 | 2.47 |
Stefan Kugele | 2 | 72 | 13.96 |
Florian Biechele | 3 | 5 | 0.86 |
Ralf Mauersberger | 4 | 5 | 1.20 |