Essays about: "Timed Automata"
Showing result 11 - 15 of 16 essays containing the words Timed Automata.
-
11. Zone-Based Reachability Analysis of Dense-Timed Pushdown Automata
University essay from Institutionen för informationsteknologiAbstract : Proving that programs behave correctly is a matter of both great theoretical interest as well as practical use. One way to do this is by analyzing a model of the system in question in order to determine if it meets a given specification. READ MORE
-
12. Integrating formal analysis techniques into the Progress-IDE
University essay from Akademin för innovation, design och teknikAbstract : 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
-
13. Integrating formal analysis techniques into the Progress-IDE
University essay from Akademin för innovation, design och teknikAbstract : 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
-
14. 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
-
15. 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