Essays about: "Priced Timed Automata"

Found 3 essays containing the words Priced Timed Automata.

  1. 1. Automatic Test Generation and Mutation Analysis using UPPAAL SMC

    University essay from Mälardalens högskola/Akademin för innovation, design och teknik

    Author : Jonatan Larsson; [2017]
    Keywords : UPPAAL SMC; Automatic Testing; Mutation Analysis; Test Generation; Priced Timed Automata; C#;

    Abstract : Software testing is an important process for ensuring the quality of the software. As the complexity of the software increases, traditional means of manual testing becomes increasingly more complex and time consuming. In most embedded systems, designing software with as few errors as possible is often critical. READ MORE

  3. 2. Integrating formal analysis techniques into the Progress-IDE

    University essay from Akademin för innovation, design och teknik

    Author : Dinko Ivanov; [2011]
    Keywords : behavioral modeling; component-based software engineering; formal analysis; REMES; ProCom; tool-chain;

    Abstract : In this thesis we contribute to the Progress IDE, an integrated development enviroment for real-time embedded systems and more precisely to the REMES toolchain, a set of tools to enabling construction and analysis of embedded system behavior models. The contribution aims to facilitate the formal analysis of behavioral models, so that certain extra-functional properties might be verified during early stages of development. READ MORE

  4. 3. Integrating formal analysis techniques into the Progress-IDE

    University essay from Akademin för innovation, design och teknik

    Author : Dinko Ivanov; [2011]
    Keywords : behavioral modeling; component-based software engineering; formal analysis; REMES; ProCom; tool-chain;

    Abstract : In this thesis we contribute to the Progress IDE, an integrated development enviroment for real-time embedded systems and more precisely to the REMES toolchain, a set of tools to enabling construction and analysis of embedded system behavior models. The contribution aims to facilitate the formal analysis of behavioral models, so that certain extra-functional properties might be verified during early stages of development. READ MORE