Search for dissertations about: "Timed Systems"
Showing result 1 - 5 of 63 swedish dissertations containing the words Timed Systems.
-
1. Learning of Timed Systems
Abstract : Regular inference is a research direction in machine learning. The goal of regular inference is to construct a representation of a regular language in the form of deterministic finite automaton (DFA) based on the set of positive and negative examples. READ MORE
-
2. Model Checking Parameterized Timed Systems
Abstract : In recent years, there has been much advancement in the area of verification of infinite-state systems. A system can have an infinite state-space due to unbounded data structures such as counters, clocks, stacks, queues, etc. It may also be infinite-state due to parameterization, i.e. READ MORE
-
3. Verification of Parameterized and Timed Systems : Undecidability Results and Efficient Methods
Abstract : Software is finding its way into an increasing range of devices (phones, medical equipment, cars...). READ MORE
-
4. Programming Language Primitives and Tools for Integrated Real-Time Systems Development
Abstract : The correctness of real-time systems depends on both its logical and temporal correctness. Typically, real-time systems are developed in several steps. First, the application is divided into a number of recurrent tasks and implemented using a programming language. READ MORE
-
5. Design of Assured and Efficient Safety-critical Systems
Abstract : Safety-critical systems need to be analyzed rigorously to remove software/specifications errors, that is, their requirements specifications should be unambiguous, comprehensible and consistent, and the software design should conform to the specifications, hence avoiding undesirable system failures. Currently, there is a lack of effective and scalable methods to specify and analyze requirements, and formally analyze the behavioral models of embedded systems. READ MORE