Sökning: "UPPAAL"

Visar resultat 16 - 20 av 20 uppsatser innehållade ordet UPPAAL.

1. 16. Architecture-Based Verification of Software-Intensive Systems

   Master-uppsats, Akademin för innovation, design och teknik

   Författare :Andreas Johnsen; [2010]
   Nyckelord :architecture-based verification; software-intensive systems; uppaal; modelling and verification; aadl; junit; conformance;

   Sammanfattning : 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. LÄS MER

3. 17. Hierarchical server-based communication with switched Ethernet

   Master-uppsats, Akademin för innovation, design och teknik

   Författare :Farahnaz Yekeh; [2010]
   Nyckelord :Ethernet; switched Ethernet; real-time communication; real-time analysis; server-based scheduling; and real-time channels.;

   Sammanfattning : 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. LÄS MER

4. 18. Adaptive Embedded Systems

   Master-uppsats, Akademin för innovation, design och teknik

   Författare :Hang Yin; [2010]
   Nyckelord :adaptive; embedded systems; reconfiguration; modeling; UPPAAL;

   Sammanfattning : 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. LÄS MER

5. 19. Extending a Real-Time Model-Checker to a Test-Case Generation Tool Using libCoverage

   Magister-uppsats, Institutionen för informationsteknologi

   Författare :Fredrik Stenh; [2008]
   Nyckelord :;

   Sammanfattning : 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. LÄS MER

7. 20. Instrumentation of timed automata for formal verification of timed properties

   Uppsats för yrkesexamina på grundnivå, Institutionen för datavetenskap

   Författare :Mikael Hagman; [2007]
   Nyckelord :Embedded systems; formal verification; Petri Net; PRES ; Timed Automata;

   Sammanfattning : 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. LÄS MER