Formal Model Driven Engineering for Space Onboard Software

Abstract : One of the major sources of errors in the development of real time critical embedded software is the misinterpretation of system requirements allocated to the software. These misunderstandings between the system team and the software team may have several sources, but are very often due to the following causes: o Use of ambiguous means to describe the system requirements and the software implementation, leading to different interpretations by the system designers, the software developers and the reviewers. o Insufficient knowledge by the software team of the formalisms and jargons used by the system team, leading to the development of software that does not satisfy the system requirements. o Insufficient knowledge by the system team of the formalisms and jargons used by the software team, leading to inefficient reviews of the software specification and code by the system team. The errors potentially introduced during the development are then generally discovered very late by very costly test processes.
Document type :
Conference papers
Complete list of metadatas

Cited literature [11 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-02263443
Contributor : Axelle Pagnier <>
Submitted on : Sunday, August 4, 2019 - 6:59:43 PM
Last modification on : Thursday, August 8, 2019 - 1:01:39 AM

File

7B-4.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-02263443, version 1

Collections

Citation

Eric Conquet, Francois-Xavier Dormoy, Iulia Dragomir, Susanne Graf, David Lesens, et al.. Formal Model Driven Engineering for Space Onboard Software. Embedded Real Time Software and Systems (ERTS2012), Feb 2012, Toulouse, France. ⟨hal-02263443⟩

Share

Metrics

Record views

6

Files downloads

2