Contract-based modeling and verification of timed safety requirements within SysML.

Iulia Dragomir Iulian Ober Christian Percebois

Published in: Softw. Syst. Model. (2017)

Keyphrases

safety analysis
colored petri nets
modeling language
formal methods
database
petri net
functional requirements
databases
search engine
low cost
user requirements
control system
model checking
safety critical