Creating high-quality behavioural designs for software-intensive systems

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

Preview

PDF
376Kb

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
Faculty:	Electrical Engineering, Mathematics and Computer Science (EEMCS)
Research Group:	Software Engineering (SE)
Link to this item:	http://purl.utwente.nl/publications/74865
Official URL:	http://dx.doi.org/10.1007/978-90-481-9849-8_12
Export this item as:	BibTeX EndNote HTML Citation Reference Manager

Show download statistics for this publication

Repository Staff Only: item control page