Sökning: "Petru Eles"

Visar resultat 16 - 20 av 43 avhandlingar innehållade orden Petru Eles.

  1. 16. Scheduling and Optimization of Fault-Tolerant Embedded Systems

    Författare :Viacheslav Izosimov; Zebo Peng; Petru Eles; Anton Cervin; Linköpings universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Embedded systems; Real-Time systems; Design optimization; Fault tolerance; Transient faults; Soft errors; Computer and systems science; Data- och systemvetenskap;

    Sammanfattning : Safety-critical applications have to function correctly even in presence of faults. This thesis deals with techniques for tolerating effects of transient and intermittent faults. Reexecution, software replication, and rollback recovery with checkpointing are used to provide the required level of fault tolerance. LÄS MER

  3. 17. Security-Driven Design of Real-Time Embedded Systems

    Författare :Ke Jiang; Zebo Peng; Petru Eles; Axel Jantsch; Linköpings universitet; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Security; Embedded System; Real-Time System; Design; Optimization;

    Sammanfattning : Real-time embedded systems (RTESs) have been widely used in modern society. And it is also very common to find them in safety and security critical applications, such as transportation and medical equipment. LÄS MER

  4. 18. Towards Formal Verification in a Component-based Reuse Methodology

    Författare :Daniel Karlsson; Petru Eles; Zebo Peng; Linköpings universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Formal verification; Model checking; Petri net; Reuse; Computer science; Datavetenskap;

    Sammanfattning : Embedded systems are becoming increasingly common in our everyday lives. As techonology progresses, these systems become more and more complex. Designers handle this increasing complexity by reusing existing components (Intellectual Property blocks). LÄS MER

  5. 19. Verification of Component-based Embedded System Designs

    Författare :Daniel Karlsson; Petru Eles; Zebo Peng; Bashir Al-Hashimi; Linköpings universitet; []
    Nyckelord :Datorsystem; embedded systems; formal verification; Petri-net; IP; reuse; components; model checking; simulation; Datorsystem; TECHNOLOGY; TEKNIKVETENSKAP;

    Sammanfattning : Embedded systems are becoming increasingly common in our everyday lives. As technology progresses, these systems become more and more complex. Designers handle this increasing complexity by reusing existing components. At the same time, the systems must fulfill strict functional and non-functional requirements. LÄS MER

  7. 20. System-on-Chip Test Scheduling and Test Infrastructure Design

    Författare :Anders Larsson; Petru Eles; Zebo Peng; Linköpings universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; system-on-chip; core-based systems; test infrastructure; test scheduling; broadcasting; test set sharing; Computer science; Datavetenskap;

    Sammanfattning : There are several challenges that have to be considered in order to reduce the cost of System-on-Chip (SoC) testing, such as test application time, chip area overhead due to hardware introduced to enhance the testing, and the price of the test equipment. In this thesis the test application time and the test infrastructure hardware overhead of multiple-core SoCs are considered and two different problems are addressed. LÄS MER