Concepedia

Real-time Avionics Computing

Real-Time Avionics Computing is a specialized discipline within avionics architecture that entails the design and implementation of computing systems capable of processing data and executing critical flight functions within strictly bounded time constraints to ensure deterministic, reliable, and safety-critical operational performance.

25

Publications

2.4K

Citations

72

Authors

41

Institutions

Publications per year

2017–2026

3

Parents

Publications

25

Model Checking Programs

Willem Visser, Klaus Havelund, Guillaume Brat et al. · Automated Software Engineering · 2003 · 1.4K citations

, , +13

Model checking programs

Willem Visser, Klaus Havelund, Guillaume Brat et al. · 2000 · 338 citations

, , +13

Middleware for real-time and embedded systems

Douglas C. Schmidt · Communications of the ACM · 2002 · 162 citations

, , +17

A real-time Java virtual machine with applications in avionics

Austin Armbruster, Jason D. Baker, Antonio Cunei et al. · ACM Transactions on Embedded Computing Systems · 2007 · 105 citations

, , +15

Real-Time Computing

John A. Stankovic · 2024 · 66 citations

, , +11

1–5 of 25

Authors

72

  1. KH
    Klaus Havelund

    Ames Research Center, United States

    2 publications · 1.7K citations

    2

    h-index

  2. MG
    Marc Gatti

    Thales (France), France

    2 publications · 38 citations

    2

    h-index

  3. BT
    Benoît Triquet

    Airbus (France), France

    2 publications · 56 citations

    2

    h-index

  4. SG
    Sylvain Girbal

    Thales (France), France

    2 publications · 38 citations

    2

    h-index

  5. GB
    Guillaume Brat

    Ames Research Center, United States

    2 publications · 1.7K citations

    2

    h-index

1–5 of 72

Institutions

41

  1. Airbus (France)

    Toulouse, France

    3 h-index

    7 publications

    183 citations

  2. Université Toulouse III - Paul Sabatier

    Toulouse, France

    2 h-index

    2 publications

    56 citations

  3. Boeing (United States)

    Chicago, United States

    2 h-index

    3 publications

    225 citations

  4. Research Institute for Advanced Computer Science

    Mountain View, United States

    2 h-index

    5 publications

    4.7K citations

  5. Ames Research Center

    Mountain View, United States

    2 h-index

    9 publications

    8.1K citations

  6. University of California, Irvine

    Irvine, United States

    2 h-index

    3 publications

    182 citations

  7. Office National d'Études et de Recherches Aérospatiales

    Palaiseau, France

    2 h-index

    5 publications

    140 citations

  8. Thales (Portugal)

    Paço de Arcos, Portugal

    2 h-index

    2 publications

    38 citations

1–8 of 41

Venues

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

    Conference · 2 publications · 38 citations

    2

    h-index

  2. 1

    h-index

  3. 2011 IEEE/AIAA 30th Digital Avionics Systems Conference

    Conference · 1 publications · 15 citations

    1

    h-index

  4. Software Testing Verification and Reliability

    STVR · 1 publications · 22 citations

    1

    h-index

  5. Computer

    1 publications · 22 citations

    1

    h-index

1–5