Search for dissertations about: "model checking uppaal"
Showing result 1 - 5 of 15 swedish dissertations containing the words model checking uppaal.
-
1. Model-checking and Model-based Testing of Automotive Embedded Systems : Starting from the System Architecture
Abstract : Nowadays, modern vehicles are equipped with electrical and electronic systems that implement highly complex functions such as anti-lock braking or cruise control. The use of such embedded systems in the automotive domain requires a revised development process that addresses their particular features. READ MORE
-
2. Formal Methods for Scalable Synthesis and Verification of Autonomous Systems : Mission Planning and Collision Avoidance
Abstract : Autonomous systems (a.k.a., agents) are often designed to move and execute tasks, without or with little human intervention. READ MORE
-
3. Automated Approaches for Formal Verification of Embedded Systems Artifacts
Abstract : Modern embedded software is so large and complex that creating the necessary artifacts, including system requirements specifications and design-time models, as well as assuring their correctness have become difficult to manage. One challenge stems from the high number and intricacy of system requirements that combine functional and possibly timing or other types of constraints, which make them hard to analyze. READ MORE
-
4. Design and Verification of Component Based Real-Time Systems
Abstract : The design of embedded real-time systems is becoming more and more challengingdue to the increasing complexity of new hardware platforms, requirements onnew system functionality, and economical constraints on system development.Component based design has been successful for the development of general-purposecomputer systems such as destop and e-business. READ MORE
-
5. Architecture-Based Verification of Dependable Embedded Systems
Abstract : Quality assurance of dependable embedded systems is becoming increasingly difficult, as developers are required to build more complex systems on tighter budgets. As systems become more complex, system architects must make increasingly complex architecture design decisions. READ MORE