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 difference)
|
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.
