Concepedia

Partitioned Operating Systems

Partitioned Operating System is a real-time operating system architecture that belongs to the class of operating systems designed for safety-critical embedded environments, specifically distinguished by its enforcement of spatial and temporal isolation among independently certified avionics applications through hardware-backed partitioning mechanisms to meet deterministic assurance requirements in Integrated Modular Avionics platforms.

18

Publications

514

Citations

53

Authors

26

Institutions

Publications per year

2017–2026

0

Parents

Publications

18

Tessellation: space-time partitioning in a manycore client OS

Rose Liu, Kevin Klues, Sarah Bird et al. · 2009 · 94 citations

, , +16

Mutual exclusion in partitioned distributed systems

Daniel Barbará, Héctor García-Molina · Distributed Computing · 1986 · 70 citations

, , +12

Multiple operating systems on one processor complex

Thomas Borden, J. P. Hennessy, James W. Rymarczyk · IBM Systems Journal · 1989 · 60 citations

, , +17

Protium, an infrastructure for partitioned applications

Charles Y.F. Young, Y. N. Lakshman, Ted H. Szymanski et al. · 2005 · 31 citations

, , +11

Kernel-level ARINC 653 partitioning for Linux

Sanghyun Han, Hyun‐Wook Jin · 2012 · 28 citations

, , +17

1–5 of 18

Authors

53

  1. JR
    José Rufino

    Instituto Politécnico de Lisboa, Portugal

    3 publications · 61 citations

    3

    h-index

  2. JC
    João Craveiro

    Instituto Politécnico de Lisboa, Portugal

    2 publications · 34 citations

    2

    h-index

  3. TS
    Tobias Schoofs

    American Fork Hospital, United States

    2 publications · 50 citations

    2

    h-index

  4. CY
    Cássia Yuri Tatibana

    University of Lisbon, Portugal

    2 publications · 50 citations

    2

    h-index

  5. MF
    Mitch Fletcher

    Honeywell (United States), United States

    1 publications · 16 citations

    1

    h-index

1–5 of 53

Institutions

26

  1. Honeywell (United States)

    Charlotte, United States

    2 h-index

    3 publications

    55 citations

  2. Sport Lisboa e Benfica

    Lisbon, Portugal

    1 h-index

    2 publications

    22 citations

  3. University of Florida

    Gainesville, United States

    1 h-index

    1 publications

    23 citations

  4. University of California, Berkeley

    Berkeley, United States

    1 h-index

    5 publications

    470 citations

  5. Princeton University

    Princeton, United States

    1 h-index

    2 publications

    140 citations

  6. IBM Research - Austin

    Austin, United States

    1 h-index

    1 publications

    16 citations

  7. TU Wien

    Vienna, Austria

    1 h-index

    1 publications

    22 citations

  8. Queen Mary University of London

    London, United Kingdom

    1 h-index

    1 publications

    14 citations

1–8 of 26

Venues

  1. ACM SIGOPS Operating Systems Review

    1 publications · 16 citations

    1

    h-index

  2. 1

    h-index

  3. Distributed Computing

    1 publications · 70 citations

    1

    h-index

  4. Journal of Combinatorial Theory Series A

    1 publications · 14 citations

    1

    h-index

  5. IBM Systems Journal

    1 publications · 60 citations

    1

    h-index

1–5