On Friday October 17, this site was moved to a new server, https://mw.hh.se. The original address will continue to work. Whithin a week or two this site will return to the original address. /Peo HH IT-dep
WG211/M11Balland: Difference between revisions
From WG 2.11
Jump to navigationJump to search
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..." |
No edit summary |
||
| 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 10: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.
