Login / Signup
EN-50128 Certification-Oriented Design of a Safety-Critical Hard Real-Time Kernel.
Ciro Donnarumma
Pietro Fara
Gabriele Serra
Sandro Di Leonardi
Mauro Marinoni
Published in:
ISSRE Workshops (2019)
Keyphrases
</>
safety critical
formal methods
embedded systems
design process
real time
information systems
case study
computational intelligence
fault tolerant
artificial intelligence
object oriented
learning systems
intelligent agents
database design
agent architecture
regulatory requirements