Login / Signup
Practical aspects of building a constrained random test framework for safety-critical embedded systems.
Dongjiang You
Isaac Amundson
Scott Hareland
Sanjai Rayadurgam
Published in:
MoSEMInA (2014)
Keyphrases
</>
embedded systems
safety critical
embedded devices
low cost
computing power
formal methods
embedded software
fault tolerant
safety analysis
artificial intelligence
cooperative
machine learning
expert systems
knowledge representation
software systems
field programmable gate array