Difference between revisions of "WG211/M11Balland"
From WG 2.11
(Created page with "'''Design-driven Development of Dependable Applications: A Case Study in Avionics''' by Emilie Balland Making an application dependable demands that its functional and non-funct...") |
|||
| Line 8: | Line 8: | ||
artifact. In this talk, we show the benefits of [http://diasuite.inria.fr DiaSuite] | artifact. In this talk, we show the benefits of [http://diasuite.inria.fr DiaSuite] | ||
for the development and verification of dependable Sense/Compute/Control | for the development and verification of dependable Sense/Compute/Control | ||
| − | applications. This approach is applied to a realistic case study in the | + | applications. This approach is applied to a realistic case study in the avionics |
| − | + | domain. | |
Latest revision as of 09:59, 24 May 2012
Design-driven Development of Dependable Applications: A Case Study in Avionics by Emilie Balland
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. In this talk, we show the benefits of DiaSuite for the development and verification of dependable Sense/Compute/Control applications. This approach is applied to a realistic case study in the avionics domain.
