Search for dissertations about: "dependable systems"

Showing result 1 - 5 of 73 swedish dissertations containing the words dependable systems.

  2. 1. Architecture-Based Verification of Dependable Embedded Systems

    Author : Andreas Johnsen; Kristina Lundqvist; Paul Pettersson; Birgitta Lindström; Mälardalens högskola; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; architecture-based verification; dependable embedded systems; AADL; architecture quality assurance; UPPAAL; Computer Science; datavetenskap;

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

  4. 2. Cyber-Physical Engineering of Distributed Automation Systems in Energy Domain

    Author : Chen-Wei Yang; Valeriy Vyatkin; Evgeny Osipov; Nirmal Nair; Luleå tekniska universitet; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; NATURVETENSKAP; NATURAL SCIENCES; Dependable Communication and Computation Systems; Kommunikations- och beräkningssystem;

    Abstract : The main focus of this thesis is in the domain of Energy Systems, specifically in the engi-neering of modern Smart Grid (SG) automation systems. The SG has been categorizedas a Cyber-Physical System (CPS), a complex system which exhibits tight integration between the cyber and the physical processes and their interactions in a networked envi-ronment. READ MORE

  5. 3. On analysis and design of dependable distributed systems

    Author : Håkan Sivencrona; RISE; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; design methodology; dependability assesment; real-time communication; and safety critical control systems; embedded systems; distributed systems; time-triggered systems; design principles; distributed control;

    Abstract : .... READ MORE

  6. 4. Fault-Tolerance Strategies and Probabilistic Guarantees for Real-Time Systems

    Author : Hüseyin Aysan; Sasikumar Punnekkat; Radu Dobrin; Hans Hansson; Petru Eles; Mälardalens högskola; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; embedded systems; real-time systems; fault tolerant design; real-time analysis; dependability analysis; Computer engineering; Datorteknik; Computer Science; datavetenskap;

    Abstract : Ubiquitous deployment of embedded systems is having a substantial impact on our society, since they interact with our lives in many critical real-time applications. Typically, embedded systems used in safety or mission critical applications (e.g. READ MORE

  7. 5. Dependable Distributed Control System : Redundancy and Concurrency defects

    Author : Bjarne Johansson; Thomas Nolte; Alessandro Papadopoulos; Luis Almeida; Mälardalens universitet; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Computer Science; datavetenskap;

    Abstract : Intelligent devices, interconnectivity, and information exchange are characteristics often associated with Industry 4.0. A peer-to-peer-oriented architecture with the network as the system center succeeds the traditional controller-centric topology used in today's distributed control systems, improving information exchange in future designs. READ MORE