Login / Signup
Escaping the Bonds of the Legacy: Step-Wise Migration to a Type-Safe Language in Safety-Critical Embedded Systems.
Michael Stilkerich
Jens Schedel
Peter Ulbrich
Wolfgang Schröder-Preikschat
Daniel Lohmann
Published in:
ISORC (2011)
Keyphrases
</>
embedded systems
safety critical
step wise
low cost
safety analysis
embedded devices
embedded software
fault tolerant
natural language
formal methods
software systems
field programmable gate array
agent architecture
adaptive systems
reverse engineering
intelligent agents
multi agent systems
real time