Stéphanie Gatti

  • Citations Per Year
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 nonfunctional. 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 approaches(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)
Design-driven Development of Dependable Applications: A Case Study in Avionics Professor Charles Consel, University of Bordeaux, France 2012-06-19 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(More)
a step-wise approach for integrating qos throughout software development process In critical domains such as avionics, railways or automotive, to certify a system, it is required to demonstrate that it achieves its function, with respect to specified timing requirements. Indeed, longer-than-predicted function computing can make data erroneous, leading(More)
  • 1