A Semantic Support for Testing Activities of Safety-Critical Embedded Systems.

Alessio Venticinque Nicola Mazzocca Salvatore Venticinque

Published in: CISIS (2014)

Keyphrases

embedded systems
safety critical
embedded software
support systems
low cost
safety analysis
formal methods
field programmable gate array
software systems
fault tolerant
hw sw
knowledge management
agent architecture
high level
test cases
decision support
software engineering
multi agent