Search for dissertations about: "Wang Yi"

Showing result 16 - 20 of 21 swedish dissertations containing the words Wang Yi.

  2. 16. Efficient implementation of model-checkers for networks of timed automata

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

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

  4. 17. 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

  5. 18. Logics and Algorithms for Verification of Concurrent Systems

    Author : Rafał Somla; Wang Yi; Michael Reichhardt Hansen; Uppsala universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Computer Science; Datavetenskap;

    Abstract : In this thesis we investigate how the known framework of automatic formal verification by model checking can be extended in different directions. One extension is to go beyond the common limitation of the existing specification formalisms, that they can describe only regular properties of components. READ MORE

  6. 19. Real-Time Workload Models : Expressiveness vs. Analysis Efficiency

    Author : Martin Stigge; Wang Yi; Sanjoy Baruah; Uppsala universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Real-time systems; task models; EDF; fixed-priority scheduling; schedulability analysis; response-time analysis; abstraction refinement; Computer Science with specialization in Real Time Systems; Datavetenskap med inriktning mot realtidssystem;

    Abstract : The requirements for real-time systems in safety-critical applications typically contain strict timing constraints. The design of such a system must be subject to extensive validation to guarantee that critical timing constraints will never be violated while the system operates. READ MORE

  7. 20. A formal approach to analysis of software architectures for real-time systems

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

    Abstract : A software architecture is a high-level design description of a software system. In terms of the architecture, early design decisions can be analyzed to improve the quality of a real-time software system, which depends very much on how it is structured rather than how it is implemented. READ MORE