Stéphanie Gatti

Learn More
When developing real-time systems such as avionics software , it is critical to ensure the performance of these systems. In general , deterministic Quality of Service (QoS) is guaranteed by the execution platform, independently of a particular application. For example, in the avionics domain, the ARINC 664 standard defines a data network that provides(More)
—Safety-critical applications have to fulfill stringent requirements, both functional and non-functional. These requirements have to be coherent with each other and must be preserved throughout the software development process. In this context, a design-driven development approach can play a critical role. However existing design-driven development(More)
Making an application dependable demands that its functional and non-functional requirements be stringently fulfilled throughout its development process. In this context, a design-driven development approach has the key advantage of enabling requirements to be traced from their high-level design forms to the resulting executable artifact. However, because(More)
These past years, development of avionic systems has increasingly evolved, from federated architectures to integrated ones, up to Integrated Modular Avionics (IMA), leading to continuously growing complexity. Following this evolution, certification process faced major break, evolving towards incremental acceptance. Novelty was brought through capability to(More)
  • 1