Abstract Modeling and formal specification in combination with formal verification can substantially contribute to the correctness and quality of design of embedded systems and consequently help reduce the development costs. This paper tackles the problem of providing a fully automated formal verification for UML-based design of embedded systems. For verification it employs the model checking technique. Unlike other approaches, the paper focuses on supporting a consistent subset of UML diagrams that cover all main aspects of an embedded system, i.e. the structure, communication and behavior. The whole approach is evaluated on a case study of a Manufacturing Flow System with distributed control.


    Zugriff

    Download


    Exportieren, teilen und zitieren



    Titel :

    FUNCTIONAL VERIFICATION FOR UML - BASED MODEL DRIVEN DESIGN OF EMBEDDED SYSTEMS


    Beteiligte:


    Erscheinungsdatum :

    2005-01-01


    Format / Umfang :

    12 pages





    Medientyp :

    Aufsatz/Kapitel (Buch)


    Format :

    Elektronische Ressource


    Sprache :

    Englisch




    Integrating Functional and Non-Functional Design Verification for Embedded Software Systems

    Ray, Arnab / Shelton, Charles / Martin, Chris et al. | SAE Technical Papers | 2009


    Integrating functional and non-functional design verification for embedded software systems

    Ackermann,C. / Ray,A. / Cleaveland,R. et al. | Kraftfahrwesen | 2009


    Verification and Testing of Embedded Software with Model Based Design

    A, Jay / Urban, Paul / Canny, Pat | AIAA | 2019


    Simulation-driven functional safety evaluation of embedded automotive systems

    Allmann,C. / Oppermann,N. / Kovacevic,S. et al. | Kraftfahrwesen | 2008


    Simulation-driven functional safety evaluation of embedded automotive systems

    Allmann, Christian / Oppermann, Nils / Kovacevic, Sascha | Tema Archiv | 2008