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. © 2012 Springer-Verlag.
CITATION STYLE
Krause, J., Hintze, E., Magnus, S., & Diedrich, C. (2012). Model based specification, verification, and test generation for a safety fieldbus profile. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 7612 LNCS, pp. 87–98). https://doi.org/10.1007/978-3-642-33678-2_8
Mendeley helps you to discover research relevant for your work.