Sökning: "Uppaal"
Visar resultat 1 - 5 av 23 avhandlingar innehållade ordet Uppaal.
1. Architecture-Based Verification of Dependable Embedded Systems
Sammanfattning : 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. LÄS MER
2. Efficient symbolic state exploration of timed systems : Theory and implementation
Sammanfattning : Timing aspects are important for the correctness of safety-critical systems. It is crucial that these aspects are carefully analysed in designing such systems. UPPAAL is a tool designed to automate the analysis process. LÄS MER
3. Hierarchical Modeling and Analysis of Real Time Systems
Sammanfattning : UPPAAL is a tool for model-checking real-time systems developed jointly by Uppsala University and Aalborg University. It has been applied successfully in case studies ranging from communication protocols to multimedia applications. The tool is designed to verify systems that can be modeled as networks of timed automata. LÄS MER
4. Efficient implementation of model-checkers for networks of timed automata
Sammanfattning : Since real-time systems often operate in safety-critical environments it is extremely important that they function correctly. UPPAAL is a tool that can be used for validation and verification of real-time systems. LÄS MER
5. Enabling Tool Support for Formal Analysis of ECA Rules
Sammanfattning : Rule-based systems implemented as event-condition-action (ECA) rules utilize a powerful and flexible paradigm when it comes to specifying systems that need to react to complex situation in their environment. Rules can be specified to react to combinations of events occurring at any time in any order. LÄS MER