A TASM-Based Requirements Validation Approach for Safety-Critical Embedded Systems.

Jiale Zhou Yue Lu Kristina Lundqvist

Published in: Ada-Europe (2014)

Keyphrases

embedded systems
safety critical
regulatory requirements
real time systems
low cost
safety analysis
embedded software
embedded devices
software systems
fault tolerant
machine learning
case study
field programmable gate array
databases
knowledge management