Real-time Certification

Real-Time Certification is a formal verification process that establishes the temporal correctness and safety guarantees of mixed-criticality systems under dynamic and resource-constrained environments, distinguishing it from general certification by ensuring time-bounded behavior符合 real-time constraints across varying criticality levels.

Publications

682

Citations

Authors

Institutions

Publications per year

2017–2026

Parents

Mixed-criticality Systems

Publications

Certification-Cognizant Time-Triggered Scheduling of Mixed-Criticality Systems

Sanjoy Baruah, Gerhard Fohler · 2011 · 85 citations

Engineering, Computer Engineering, Systems Engineering +17

Handling mixed-criticality in SoC-based real-time embedded systems

Rodolfo Pellizzoni, Patrick Meredith, Min-Young Nam et al. · 2009 · 71 citations

Engineering, Computer Engineering, Computer Science +17

Real-Time Reachability for Verified Simplex Design

Stanley Bak, Taylor T. Johnson, Marco Caccamo et al. · 2014 · 65 citations

Computing, Autonomous Systems, Computer Science +17

Java for Safety-Critical Applications

Thomas Henties, James J. Hunt, Doug Locke et al. · 2009 · 63 citations

Engineering, Computer Engineering, Computer Science +14

Certification of software for real-time safety-critical systems: state of the art

Andrew J. Kornecki, Janusz Zalewski · Innovations in Systems and Software Engineering · 2009 · 51 citations

Engineering, Computer Engineering, Computer Science +12

1–5 of 18

Authors

SB
Sanjoy Baruah
University of North Carolina at Chapel Hill, United States
3 publications · 146 citations
3
h-index
MC
Marco Caccamo
University of Illinois Urbana-Champaign, United States
3 publications · 180 citations
3
h-index
LS
Lui Sha
University of Illinois Urbana-Champaign, United States
3 publications · 180 citations
3
h-index
RE
Rolf Ernst
Technische Universität Braunschweig, Germany
2 publications · 56 citations
2
h-index
AJ
Andrew J. Kornecki
Embry–Riddle Aeronautical University, United States
2 publications · 68 citations
2
h-index

1–5 of 46

Institutions

1–8 of 18

Venues

arXiv (Cornell University)
Repository · 1 publications · 23 citations
1
h-index
Innovations in Systems and Software Engineering
1 publications · 51 citations
1
h-index
Systems Engineering
1 publications · 18 citations
1
h-index
ACM Transactions on Embedded Computing Systems
TECS · 1 publications · 44 citations
1
h-index
Annual Reviews in Control
1 publications · 17 citations
1
h-index

1–5