A Predictable Framework for Safety-Critical Embedded Systems.

Sidharta Andalam Partha S. Roop Alain Girault Claus Traulsen

Published in: IEEE Trans. Computers (2014)

Keyphrases

embedded systems
safety critical
low cost
fault tolerant
resource limited
formal methods
safety analysis
computing power
embedded devices
agent architecture
support systems
regulatory requirements
multi agent
open source
software systems
embedded software