Login / Signup
A New Methodology and Tool Set to Execute Software Test on Real-Time Safety-Critical Systems.
Caiazza Alessandro
Roberto Di Maio
Fernando Scalabrini
Fabio Poli
Leonardo Impagliazzo
Arturo M. Amendola
Published in:
EDCC (2005)
Keyphrases
</>
safety critical
formal methods
safety analysis
embedded systems
real time
fault tolerant
agent architecture
nuclear power plant
support systems
regulatory requirements
adaptive systems
information systems
test cases
software intensive systems