• Publications
  • Influence
Space On-Board Software Reference Architecture
  • 1
  • 1
Requirements Refinement and Component Reuse: The FoReVer Contract-Based Approach
TLDR
The development of complex computer-based systems poses two fundamental challenges. Expand
  • 9
Integrating Formal Timing Analysis in the Real-Time Software Development Process
TLDR
We present a framework we developed in the context of the industrial design of satellite on-board software, allowing an early integration and full automation of formal timing verification activities in the development process of real-time embedded software, as a mean to decrease the design time and reduce the risks of costly timing failures. Expand
  • 8
Enhancing integrated design model–based process and engineering tool environment: Towards an integration of functional analysis, operational analysis and knowledge capitalisation into co-engineering
TLDR
This article presents the activities of Thales Alenia Space France in the scope of the continuous improvement of its concurrent engineering practices. Expand
  • 5
Integrating model-based formal timing analysis in the industrial development process of satellite on-board software
TLDR
We present a model-based timing analysis framework allowing the application, the automation and the consolidation of formal timing analysis in the development process of real-time embedded systems starting from the early conceptual design phase until the integration phase. Expand
  • 2
  • PDF
Synoptic: A Domain-Specific Modeling Language for Space On-board Application Software
TLDR
The ANR project SPaCIFYhas designed and partially implemented a domain-specific environment, called Synoptic, for real-time embedded on-board space application, and especially control and command software. Expand
  • 4
Application of vertical test commonality to PALADIN maintenance
This paper describes the Test/Maintenance philosophy for the PALADIN Automatic Fire Control System (AFCS). A key component of this philosophy was the willingness to allow testing requirements toExpand
  • 1
Polychronous Interpretation of Synoptic, a Domain Specific Modeling Language for Embedded Flight-Software
TLDR
The SPaCIFY project, which aims at bringing advances in MDE to the satellite flight software indus- try, advocates a top-down approach built on a domain-specific modeling language named Synoptic. Expand
  • 3
  • PDF
Language for Space On-board Application
...
1
2
...