This content is not included in your SAE MOBILUS subscription, or you are not logged in.
Incremental Modeling and Validation of Space Mission Using AADLv2
ISSN: 0148-7191, e-ISSN: 2688-3627
Published October 18, 2011 by SAE International in United States
Annotation ability available
The development process of space mission software has to go through numerous steps, from early dimensioning factors at system level (e.g. energy to be consumed by a system, weight of equipment) to the description of low-level software concerns (tasks period, etc.). Most of the time, mission components are taken or derived from existing projects and use well-known best practices: hardware and software concerns are designed from a set of existing components, and are usually well tested and documented. However, teams, with different technical backgrounds, and development approaches, achieve the design. This adds incidental complexity to the design of a common architecture and its verification. Consequently, even if design of new systems is close to existing ones, the recurring key challenge is to reconcile the different views built by these teams, and to ensure that all properties are preserved and validated. This calls for an integrated process that would combine modeling, refinement and incremental validation.
To investigate potential approaches that would overcome these issues, the European Space Agency commissioned a study to evaluate AADLv2 modeling patterns to support such a process, and ensure consistency between each development step. This is an extension of the TASTE (see reference 8) process that tackles the implementation of systems from a well-defined architecture of the system, which is also based on AADLv2.
This paper reports the current state of our investigations. Here is an outline of our contribution:
- 1Properties have been defined to represent dimensioning factors; a root system is built to represent the mission parameters.
- 2A set of abstract functions is built from the mission requirements. These functions host the high-level view of the function blocks (name, interface, data types, etc.) and are instantiated in one system implementation that represents the high-level view of the functions to be implemented, with a specific resource budget (computing capacity, power supply, etc.).
- 3In parallel, platform integrators provide an AADL model of each of their components. These models are an abstraction of their corresponding datasheet, making visible some of their properties. These models are used to build one or several implementation candidates for the mission platform. From their properties, one can validate that the platform matches the overall mission parameters.
- 4Finally, a validation system is defined. This model maps elements from the functional design to the implementation one. This allows in-depth checking of the budget allocated to each function, but also to check for functional coverage using the REAL AADLv2 annex language.
By using only AADLv2 constructs, we can use existing tools for analysis and implementations from the TASTE toolset (Ocarina, REAL, graphical modeling tools). In the future, we contemplate extending them with specific GUIs and graphical DSL to support each step. This capability is interesting for supporting system engineers that do not want to enter into the intrinsic of MDE frameworks, should it be plain AADL or UML and its extensions.
CitationDelange, J. and Hugues, J., "Incremental Modeling and Validation of Space Mission Using AADLv2," SAE Technical Paper 2011-01-2529, 2011, https://doi.org/10.4271/2011-01-2529.
- “A Practice Framework for Model-Based Analysis Using the Architecture Analysis & Design Language” NASA 13 02 2009
- “AADL Practice Framework: Preliminary Version” Embry-Riddle Technical Report 09 2006
- “Modeling Hardware Avionics Architecture with AADL” Delange, Julien White paper for the AADL committee January 2011
- “Guidelines for the selection of architectures” Soucaille, Jean-François Planche, Luc Technical report, ASTRIUM 12 2010
- “ System Architecture Virtual Integration: A Case Study” Feiler, P. Wrage, L. Hansson, J. ERTSS 2010
- “Modeling Hardware Avionics Architecture with AADL” Technical Report Delange, J. Hugues, J. April 2011
- SAE International Aerospace Standard “Architecture Analysis & Design Language (AADL),” AS5506A Jan. 2009
- TASTE toolset http://assert-project.net/taste