Search for dissertations about: "real-time verification"

Showing result 11 - 15 of 52 swedish dissertations containing the words real-time verification.

  2. 11. Hierarchical Modeling and Analysis of Real Time Systems

    Author : Alexandre David; Wang Yi; Purush Iyer; Uppsala universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Computer Science with specialization in Real Time Systems; Computer science; Datavetenskap;

    Abstract : 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. READ MORE

  4. 12. A Petri Net based Modeling and Verification Technique for Real-Time Embedded Systems

    Author : Luis Alejandro Cortés; Zebo Peng; Petru Eles; Linköpings universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Embedded systems; Computer systems; Real-time embedded systems; Petri nets; Semantics; Computer science; Datavetenskap;

    Abstract : Embedded systems are used in a wide spectrum of applications ranging from home appliances and mobile devices to medical equipment and vehicle controllers. They are typically characterized by their real-time behavior and many of them must fulfill strict requirements on reliability and correctness. READ MORE

  5. 13. Formal Verification of Adaptive Real-Time Systems by Extending Task Automata

    Author : Leo Hatvani; Paul Pettersson; Cristina Seceleanu; Brian Nielsen; Mälardalens högskola; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; formal verification; embedded systems; timed automata; scheduling; Computer Science; datavetenskap;

    Abstract : Recently, we have seen an increase in the deployment of safety critical embedded systems in rapidly changing environments, as well as requirement for on-site customizations and rapid adaptation. To address the extended range of requirements, adaptation mechanism are added to the systems to handle large number of situations appropriately. READ MORE

  6. 14. On the Development of Hierarchical Real-Time Systems

    Author : Mikael Åsberg; Thomas Nolte; Tommaso Cucinotta; Mälardalens högskola; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Computer Science; datavetenskap;

    Abstract : Hierarchical scheduling (also referred to as resource reservation) is a hot topic within the research of real-time systems. It has many advantages such that it can facilitate software integration, fault isolation, structured analysis, legacy system integration etc. READ MORE

  7. 15. Modelling and Verification of Real-Time Systems Using Timed Automata : Theory and Practice

    Author : Paul Pettersson; Wang Yi; Uppsala universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Computer Systems; Datorteknik;

    Abstract : During the last decade, model-checking techniques for the verification of timed system have been developed baaed on the theory of timed automata. The practical limitation in applying these techniques to industrial-size systems is the huge amount of time and memory needed to explore and store the state-space of the system model. READ MORE