Model-based system analysis using Chi and UPPAAL : an industrial case study

N.C.W.M. Braspenning, E.M. Bortnik, J.M. Mortel - Fronczak, van de, J.E. Rooda

    Research output: Book/ReportReportAcademic

    185 Downloads (Pure)


    New methods and techniques are needed to reduce the integration and test effort (lead time, costs, resources) in the development of high-tech multi-disciplinary systems. To facilitate this effort reduction, a method called model-based integration and testing is being developed. The method allows to integrate formal executable models of system components that are not yet physically realized with available realizations of other components. The combination of models and realizations is then used for early analysis of the integrated system by means of validation, verification, and testing. The analysis enables early detection and prevention of problems that would otherwise occur during real integration, resulting in a significant reduction of effort invested in the real integration and testing phases. This paper illustrates the application of the method to a realistic industrial case study, focusing on verification of the models obtained. We show how a system model has been developed for model-based integration and testing in the timed process algebra Chi, and how certain behavioral properties of this model have been verified by the UPPAAL model checker.
    Original languageEnglish
    Place of PublicationEindhoven
    PublisherTechnische Universiteit Eindhoven
    Number of pages20
    Publication statusPublished - 2006

    Publication series

    NameSE report
    ISSN (Print)1872-1567


    Dive into the research topics of 'Model-based system analysis using Chi and UPPAAL : an industrial case study'. Together they form a unique fingerprint.

    Cite this