TL;DR: This work proposes an approach that leverages a design-driven development process dedicated to a specific paradigm that guides the verification of the coherence and conformance of an application throughout its development.
Abstract: 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. However, because such approaches are mostly general purpose, they provide little design guidance, if any. This situation makes unpredictable the coherence and the conformance of an application with respect to its requirements. To address this situation, we propose an approach that leverages a design-driven development process dedicated to a specific paradigm. This approach guides the verification of the coherence and conformance of an application throughout its development. We demonstrate the benefits of our approach by applying it to a realistic case study in the avionics domain.
TL;DR: This paper proposes a design-driven method- ology that relies on a specific development paradigm that provides a conceptual framework that guides the stakeholders at each development stage and demonstrates the benefits of this methodology with a realistic case study in the avionics domain.
Abstract: Safety-critical applications have to fulfill stringent requirements, both functional and non-functional. 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 are often general purpose, providing little, if any, conceptual framework to guide the development. The resulting design scope thus becomes largely unpredictable, leading to inconsistencies. In this paper, we propose a design-driven method- ology that relies on a specific development paradigm. This development paradigm provides a conceptual framework that guides the stakeholders at each de- velopment stage. Based on this paradigm, a tool suite provides development support dedicated to each development stage. We demonstrate the benefits of this methodology with a realistic case study in the avionics domain.