Paper Info
Title
Model based specification, verification, and test generation for a safety fieldbus profile
Abstract
This paper suggests methods, and a tool chain for model based specification, verification, and test generation for a safety fieldbus profile. The basis of this tool chain is the use of an UML profile as a specification notation, a simple high level Petri net model called "Safe Petri Net with Attributes" (SPENAT) and analysis methods found in Petri net theory. The developed UML profile contains UML class diagrams and UML state machines for specification modeling. Verification and developed test generation methods are shown to be applicable after mapping the specification model onto SPENAT. The practical use of this tool chain is exemplarily demonstrated for a safety fieldbus profile.
Year
DOI
Venue
2012
10.1007/978-3-642-33678-2_8
SAFECOMP
Keywords
Field
DocType
specification notation,uml state machine,uml profile,tool chain,developed test generation method,specification model,uml class diagram,specification modeling,safe petri,safety fieldbus profile,verification,model based testing
Petri net,Unified Modeling Language,Systems engineering,UML tool,Computer science,Finite-state machine,Model-based testing,Applications of UML,Reliability engineering,Class diagram,Fieldbus
Conference
Citations 
PageRank 
References 
3
0.43
4
Authors
4
Name
Order
Citations
PageRank
Jan Krause143.50
Elke Hintze230.77
Stephan Magnus342.48
Christian Diedrich47617.15