Concepedia

High-integrity Embedded Systems

High-Integrity Embedded Systems is a specialized class of embedded systems designed for safety-critical applications where functional correctness, fault tolerance, and real-time performance are rigorously assured through certification standards and deterministic behavior under all operational conditions.

19

Publications

791

Citations

54

Authors

29

Institutions

Publications per year

2017–2026

1

Parents

Publications

19

Response-Time Analysis for Mixed Criticality Systems

Sanjoy Baruah, Alan Burns, Robert I. Davis · 2011 · 352 citations

, , +17

Cumulative Attestation Kernels for Embedded Systems

Michael LeMay, Carl A. Gunter · IEEE Transactions on Smart Grid · 2012 · 50 citations

, , +15

Assessment of high-integrity embedded automotive control systems using hardware in the loop simulation

Michael Short, Michael J. Pont · Journal of Systems and Software · 2007 · 49 citations · Full text

, , +14

Gestalt-based integrity of distributed networked systems

Peter Simon Sapaty · Proceedings of SPIE, the International Society for Optical Engineering/Proceedings of SPIE · 2009 · 37 citations

, , +17

Toward Correctness in the Specification and Handling of Non-Functional Attributes of High-Integrity Real-Time Embedded Systems

Daniela Cancila, Roberto Passerone, Tullio Vardanega et al. · IEEE Transactions on Industrial Informatics · 2010 · 35 citations

, , +17

1–5 of 19

Authors

54

  1. TV
    Tullio Vardanega

    University of Padua, Italy

    2 publications · 45 citations

    2

    h-index

  2. WA
    Wolfgang A. Halang

    FernUniversität in Hagen, Germany

    1 publications · 10 citations

    1

    h-index

  3. MS
    Michael Short

    Teesside University, United Kingdom

    1 publications · 49 citations

    1

    h-index

  4. SA
    Sergi Alcaide

    Barcelona Supercomputing Center, Spain

    1 publications · 31 citations

    1

    h-index

  5. AW
    Andy Walter

    FZI Research Center for Information Technology, Germany

    1 publications · 21 citations

    1

    h-index

1–5 of 54

Institutions

29

  1. University of Padua

    Padua, Italy

    2 h-index

    3 publications

    80 citations

  2. Universidad Politécnica de Madrid

    Madrid, Spain

    1 h-index

    2 publications

    32 citations

  3. Institute of Mathematical Machines and Systems Problems

    Kyiv, Ukraine

    1 h-index

    1 publications

    37 citations

  4. Diehl (Germany)

    Nuremberg, Germany

    1 h-index

    4 publications

    76 citations

  5. University of Trento

    Trento, Italy

    1 h-index

    1 publications

    35 citations

  6. Mälardalen University

    Västerås, Sweden

    1 h-index

    4 publications

    88 citations

  7. Carnegie Mellon University

    Pittsburgh, United States

    1 h-index

    1 publications

    14 citations

  8. Anstalt für Verbrennungskraftmaschinen List (Austria)

    Graz, Austria

    1 h-index

    2 publications

    52 citations

1–8 of 29

Venues

  1. ACM SIGAda Ada Letters

    1 publications · 16 citations

    1

    h-index

  2. Journal of Systems and Software

    JSS · 1 publications · 49 citations

    1

    h-index

  3. 1

    h-index

  4. IEEE Transactions on Industrial Informatics

    1 publications · 35 citations

    1

    h-index

  5. 2015 IEEE/AIAA 34th Digital Avionics Systems Conference (DASC)

    Conference · 1 publications · 19 citations

    1

    h-index

1–5