Sökning: "dependable embedded systems"

Visar resultat 1 - 5 av 22 avhandlingar innehållade orden dependable embedded systems.

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

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

    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

  3. 2. Formal Verification of Adaptive Real-Time Systems by Extending Task Automata

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

    Sammanfattning : 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. LÄS MER

  4. 3. Dependable Distributed Control System : Redundancy and Concurrency defects

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

    Sammanfattning : 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. LÄS MER

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

    Författare :Håkan Sivencrona; RISE; []
    Nyckelord :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;

    Sammanfattning : .... LÄS MER

  7. 5. Fault-Tolerance Strategies and Probabilistic Guarantees for Real-Time Systems

    Författare :Hüseyin Aysan; Sasikumar Punnekkat; Radu Dobrin; Hans Hansson; Petru Eles; Mälardalens högskola; []
    Nyckelord :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;

    Sammanfattning : 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. LÄS MER