Show simple item record

AuthorCanver, Ercümentdc.contributor.author
Date of accession2016-03-15T09:03:52Zdc.date.accessioned
Available in OPARU since2016-03-15T09:03:52Zdc.date.available
Year of creation1998dc.date.created
AbstractCoordinated atomic actions (CAAs) have been used in a semi-formal way for the design of the production cell case study. This paper presents a formal specification and verification of the production cell building on this design. However, this report is not intended to present yet another formalization of the production cell case study but rather as an approach to formalizing a CAA based system design in order to formally verify its properties. Each CAA is modeled as an atomic state transition characterized by its pre- and postconditions. In order for such transitions to become enabled, conditions are formalized requiring all associated roles to be activated. Activation of roles is performed by controllers, which are again modeled in terms of state transitions. The state space of the production cell can be viewed as being finite; hence, the production cell is specified as a finite state transition system and the formal verification of the CAA-design is carried out using model-checking.dc.description.abstract
Languageendc.language.iso
PublisherUniversität Ulmdc.publisher
LicenseStandarddc.rights
Link to license texthttps://oparu.uni-ulm.de/xmlui/license_v3dc.rights.uri
Dewey Decimal GroupDDC 004 / Data processing & computer sciencedc.subject.ddc
LCSHSystem designdc.subject.lcsh
TitleFormal verification of a coordinated atomic action based designdc.title
Resource typeBerichtdc.type
DOIhttp://dx.doi.org/10.18725/OPARU-2493dc.identifier.doi
PPN1652449817dc.identifier.ppn
URNhttp://nbn-resolving.de/urn:nbn:de:bsz:289-vts-85228dc.identifier.urn
GNDSystementwurfdc.subject.gnd
FacultyFakultät für Ingenieurwissenschaften und Informatikuulm.affiliationGeneral
Date of activation2013-06-06T13:59:41Zuulm.freischaltungVTS
Peer reviewneinuulm.peerReview
Shelfmark print versionQAA 5/A4.98,5uulm.shelfmark
DCMI TypeTextuulm.typeDCMI
VTS-ID8522uulm.vtsID
CategoryPublikationenuulm.category
Ulm seriesUlmer Informatik-Berichteuulm.seriesUlmName


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record