ARINC Specification 653 Based Real-Time Software Engineering

Hard real-time computing systems: Predictable scheduling algorithms and applications

Computers & Mathematics with Applications · 1998 · 1.3K citations

Engineering, Real-time Algorithm, Real-time Operation +5

Guide for the use of the Ada Ravenscar Profile in high integrity systems

Alan Burns, Brian Dobbing, Tullio Vardanega · ACM SIGAda Ada Letters · 2004 · 201 citations

Preliminary design of future reconfigurable IMA platforms

Pierre Bieber, Éric Noulard, Claire Pagetti et al. · ACM SIGBED Review · 2009 · 30 citations

Engineering, Computer Architecture, Embedded Architecture +16