Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 6 of 6 for “"UPPAAL"”.
-
TIOA and UPPAAL
… thesis also includes a translator from TIOA into UPPAAL, another toolset. This translator allows the simulation of IOA and TIOA programs in UPPAAL's easy-to-use interface, and the checking of their properties with UPPAAL's model checker. This thesis lays the framework for an extension of the …
-
Výpočetní model a analýza samočinně řízeného vozidla
… simulačního modelu ve verifikačním prostředí UPPAAL Stratego. Výsledný model je systémem vzájemně komunikujících časovaných automatů. Analýza vlastností modelu je založená na metodě statistického ověřování modelu. Model umožňuje zkoumat chování autonomního vozidla v situacích, které odpovídají …
-
Security analysis of inter control center communication protocol using model checking
… of the protocol in a model checking tool called UPPAAL and then use Computation Tree Logic (CTL) properties over this model to see if they are valid. Once a problem is identified, we design a checker that can detect exploitation of the identified vulnerabilities. The soundness of these checkers …
-
Design of low complexity fault tolerance for life critical situation awareness systems
… verifiable using model checking tools like UPPAAL to demonstrate the correctness of our system architecture under conditions of normal operation and failure.
-
Enabling Communication and Networking Technologies for Smart Grid
… for deadlocks, verification models based on UPPAAL real time model checker are provided in this dissertation. So, the entire framework consisting of AADRPS that aids in increasing the robustness of distance relays and reducing the possibility of blackouts, the multiple facility location …