Essays about: "UPPAAL"
Showing result 16 - 20 of 20 essays containing the word UPPAAL.
-
16. Architecture-Based Verification of Software-Intensive Systems
University essay from Akademin för innovation, design och teknikAbstract : Development of software-intensive systems such as embedded systems for telecommunications, avionics and automotives occurs under severe quality, schedule and budget constraints. As the size and complexity of software-intensive systems increase dramatically, the problems originating from the design and specification of the system architecture becomes increasingly significant. READ MORE
-
17. Hierarchical server-based communication with switched Ethernet
University essay from Akademin för innovation, design och teknikAbstract : Server-based architectures have recently generated more interests and are currently considered for usage for communication in networks. In parallel, switched Ethernet technology has been widely adopted and used in lots of networked systems. READ MORE
-
18. Adaptive Embedded Systems
University essay from Akademin för innovation, design och teknikAbstract : Modern embedded systems are evolving in the direction of increased adaptivity and complexity. It is extremely important for a system with limited resource to be adaptive in order to maximize its efficiency of resource usage while guaranteeing a high level of fault tolerance and QoS. This report aims at exploring such a kind of system, i.e. READ MORE
-
19. Extending a Real-Time Model-Checker to a Test-Case Generation Tool Using libCoverage
University essay from Institutionen för informationsteknologiAbstract : UPPAAL is a model-checker developed by the Department of Information Technology at Uppsala University in Sweden together with Aalborg University inDenmark. UPPAAL can be used to model, simulate, and verify timed automata. It has been used in many case studies since the first release in 1995. READ MORE
-
20. Instrumentation of timed automata for formal verification of timed properties
University essay from Institutionen för datavetenskapAbstract : Embedded systems are used in many technical products of today. The tendency also points to the fact that they are in many ways becoming more and more complex as technology advances. Systems like advanced avionics, air bags, ABS brakes or any real-time embedded system requires reliability, correctness and timeliness. READ MORE