Abstract
The usage of formal methods in Model Driven Engineering (MDE) has already been demonstrated with a significant boost in both productivity and quality in the design and analysis of software and systems. However, the integration of applicable tools and techniques for formal analysis needs improvement in order to create a practical MDE environment for FM, suitable for use in an industrial setting. This paper presents the European Space Agency (ESA) MORA-TSP (Multicore implementation of the On-Board Software Reference Architecture with Time and Space Partitioning capability) study. MORA-TSP comprises to develop a MDE toolset suitable to apply FM for early analysis, correctness and validation of the modeled software, in the context of space flight software.
Author supplied keywords
Cite
CITATION STYLE
Silveira, D., Jung, A., Verhoef, M., & Jorge, T. (2019). Formal methods applicability on space applications specification and implementation using MORA-TSP. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 11800 LNCS, pp. 727–737). Springer. https://doi.org/10.1007/978-3-030-30942-8_42
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
