Creating high-quality behavioural designs for software-intensive systems


Gülesir, Gürcan and America, Pierre and Benschop, Frank and Berg, Klaas van den and Aksit, Mehmet (2010) Creating high-quality behavioural designs for software-intensive systems. In: Pierre van de Laar & Teade Punter (Eds.), Views on Evolvability of Embedded Systems. Springer, pp. 193-207. ISBN 9789048198481

open access
Abstract:In todays industrial practice, behavioral designs of software-intensive systems such as embedded systems are often imprecisely documented as plain text in a natural language such as English, supplemented with ad-hoc diagrams. Lack of quality in behavioral design documents causes poor communication between stake holders, up to 100 times more costly rework during testing and integration, and hard-to-maintain documents of behavioral designs. To address these problems, we present a solution that involves the usage of (a) data-flow diagrams to document the input-output relation between the actions performed by a software-intensive system, (b) control-flow diagrams to document the possible sequences of actions performed by the system, and
(c) Vibes diagrams to document temporal or logical constraints on the possible sequences of actions performed by the system. The key benefit of this solution is to improve the separation of concerns within behavioral design documents; hence to improve their understandability, maintainability, and evolvability
Item Type:Book Section
Copyright:© 2010 Springer
Electrical Engineering, Mathematics and Computer Science (EEMCS)
Research Group:
Link to this item:
Official URL:
Export this item as:BibTeX
HTML Citation
Reference Manager


Repository Staff Only: item control page