Creating high-quality behavioural designs for software-intensive systems

G. Gülesir, Pierre America, Frank Benschop, Klaas van den Berg, Mehmet Aksit

    Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

    102 Downloads (Pure)


    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
    Original languageUndefined
    Title of host publicationViews on Evolvability of Embedded Systems
    EditorsPierre van der Laar, Teade Punter
    Number of pages15
    ISBN (Print)978-90-481-9848-1
    Publication statusPublished - 2010

    Publication series



    • IR-74865
    • EWI-18881
    • METIS-276159

    Cite this