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.


    Access

    Download


    Export, share and cite



    Title :

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


    Contributors:


    Publication date :

    2005-01-01


    Size :

    12 pages





    Type of media :

    Article/Chapter (Book)


    Type of material :

    Electronic Resource


    Language :

    English




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

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


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

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


    Verification and Testing of Embedded Software with Model Based Design

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


    Model-Based Embedded Controls Test and Verification

    Lomonaco, Joseph P. / Cheok, Ka C. / Ganesan, Subra | SAE Technical Papers | 2010


    Simulation-driven functional safety evaluation of embedded automotive systems

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