Show simple item record  

dc.contributor.authorMalik, Robi
dc.contributor.authorMuhlfeld, R.
dc.coverage.spatialREISENSBURG, GERMANYen_NZ
dc.date.accessioned2009-01-19T03:28:22Z
dc.date.available2009-01-19T03:28:22Z
dc.date.issued2003
dc.identifier.citationMalik, R. & Muhlfeld, R.(2003). A case study in verification of UML statecharts: the PROFIsafe protocol. Journal of Universal Computer Science, 9(2), 138-151.en
dc.identifier.urihttps://hdl.handle.net/10289/1803
dc.description.abstractWe discuss our experience obtained during the PROFIsafe verification and test case generation project at Siemens Corporate Technology. In this project, a formal analysis of the PROFIsafe protocol for failsafe communication has been carried out. A formal model based on finite-state machines has been obtained from the UML specification of the protocol. This model has been analysed with formal verification techniques, and several important properties have been proven. Based on the verified model, a set of test cases for the automatic execution of conformance tests has been derived. The paper explains how the UML statecharts defining the PROFIsafe protocol are translated into finite-state machines, and points out important aspects and problems occurring during the modelling and verification of industrial applications.en
dc.language.isoen
dc.publisherInstitute for Information Processing and Computer Supported aen_NZ
dc.relation.urihttp://www.jucs.org/jucs_9_2/a_case_study_in/Malik_R.pdfen
dc.subjectcomputer scienceen
dc.subjectreliabilityen
dc.subjectverificationen
dc.titleA case study in verification of UML statecharts: the PROFIsafe protocolen
dc.typeJournal Articleen
dc.relation.isPartOfJournal of Universal Computer Scienceen_NZ
pubs.begin-page138en_NZ
pubs.editionFebruaryen_NZ
pubs.elements-id30184
pubs.end-page151en_NZ
pubs.issue2en_NZ
pubs.volume9en_NZ


Files in this item

FilesSizeFormatView

There are no files associated with this item.

This item appears in the following Collection(s)

Show simple item record