Using MDE for the Rapid Prototyping of Space Critical Systems

Hugues, Jérôme; Perrotin, Maxime; Tsiodras, Thanassis

doi:10.1109/rsp.2008.19

Cited by 10 publications

(2 citation statements)

References 2 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Model validation and model transformations can also be used to automate more complex tasks such as the verification of non-functional properties of software systems. In this direction, some frameworks, such as MICOBS [29], or TASTE [30], enable the software system timing analysis [31,32], or the analysis of software quality metrics [33]. The MDT approach has also been used in combination with the BDD methodology in [34].…”

Section: Introductionmentioning

confidence: 99%

Model-driven system-level validation and verification on the space software domain

et al. 2021

View full text Add to dashboard Cite

The development process of on-board software applications can benefit from model-driven engineering techniques. Model validation and model transformations can be applied to drive the activities of specification, requirements definition, and system-level validation and verification according to the space software engineering standards ECSS-E-ST-40 and ECSS-Q-ST-80. This paper presents a model-driven approach to completing these activities by avoiding inconsistencies between the documents that support them and providing the ability to automatically generate the system-level validation tests that are run on the Ground Support Equipment and the matrices required to complete the software verification. A demonstrator of the approach has been built using as a proof of concept a subset of the functionality of the software of the control unit of the Energetic Particle Detector instrument on-board Solar Orbiter.

show abstract

Section: Introductionmentioning

confidence: 99%

Model-driven system-level validation and verification on the space software domain

et al. 2021

View full text Add to dashboard Cite

show abstract

“…One of existing techniques to ensure specification validation is system prototyping [3]. Prototypes permits to assess the fulfillment of the specifications while giving a concrete view of the system under development and the design process as well [4], [5]. However, prototyping could be incompatible with modelbased methodology where time spent to create the models at several abstraction levels might be considerable.…”

Section: Introductionmentioning

confidence: 99%

A model-driven approach for embedded system prototyping and design

Hili

Fabre

Dupuy-Chessa

et al. 2014

2014 25nd IEEE International Symposium on Rapid System Prototyping

View full text Add to dashboard Cite

International audience—Embedded System (ES) development complexity is increasing. This increase has several cumulative sources: some are directly related to constraints on the ES themselves (dependability , compute intensive, resource constraints) while other sources are related to the industrial context of their development (fast prototyping, early validation, parallelization of developments). Although several Model-Driven Engineering (MDE) processes have been proposed for ES development, most of them are not completely formalized. This has several drawbacks that prevent their use in prototyping where iterations need to be short and focused. Incomplete formalized processes tend to be sidestepped in these situations where quick results are expected to be obtained with limited effort. In this paper we propose a MDE-based process for ES development. This process precisely defines the development tasks and their impact on the models throughout development. In particular we define iterations width and depth for the process that allow for a fined-grained and consistent planning of developments. The short and well defined iterations characterized by the process reduce the gap between rapid prototyping, ad-hoc methods and regular development processes

show abstract