Login / Signup
Component-based modeling and verification of dynamic adaptation in safety-critical embedded systems.
Rasmus Adler
Ina Schaefer
Mario Trapp
Arnd Poetzsch-Heffter
Published in:
ACM Trans. Embed. Comput. Syst. (2010)
Keyphrases
</>
embedded systems
safety critical
dynamic adaptation
safety analysis
formal methods
low cost
embedded real time systems
software systems
fault tolerant
agent architecture
modeling language
model checking
adaptive systems
response time
mobile devices
genetic algorithm
real time