Comparing Safety Analysis Based on Sequence Diagrams and Textual Use Cases.

Tor Stålhane Guttorm Sindre Lydie du Bousquet

Published in: CAiSE (2010)

Keyphrases

safety analysis
sequence diagrams
control system
nuclear power plant
class diagram
test cases
safety critical
class diagrams
intermediate representation
fault model
petri net
reliability analysis
symbolic model checking
regression testing