Login / Signup
Fault-centric system modeling using SysML for reliability testing.
Andreas Thoma
Benjamin Kormann
Birgit Vogel-Heuser
Published in:
ETFA (2012)
Keyphrases
</>
modeling language
test cases
fault detection
formal methods
software reliability
fault injection
real time embedded systems
database
real world
information systems
data model
fault diagnosis
modeling method