WG211/M11Balland

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.