Zur Kurzanzeige

AutorCanver, Ercümentdc.contributor.author
Aufnahmedatum2016-03-15T09:03:52Zdc.date.accessioned
In OPARU verfügbar seit2016-03-15T09:03:52Zdc.date.available
Jahr der Erstellung1998dc.date.created
ZusammenfassungCoordinated 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
Spracheendc.language.iso
Verbreitende StelleUniversität Ulmdc.publisher
LizenzStandarddc.rights
Link zum Lizenztexthttps://oparu.uni-ulm.de/xmlui/license_v3dc.rights.uri
DDC-SachgruppeDDC 004 / Data processing & computer sciencedc.subject.ddc
LCSHSystem designdc.subject.lcsh
TitelFormal verification of a coordinated atomic action based designdc.title
RessourcentypBerichtdc.type
DOIhttp://dx.doi.org/10.18725/OPARU-2493dc.identifier.doi
PPN383572606dc.identifier.ppn
URNhttp://nbn-resolving.de/urn:nbn:de:bsz:289-vts-85228dc.identifier.urn
GNDSystementwurfdc.subject.gnd
FakultätFakultät für Ingenieurwissenschaften und Informatikuulm.affiliationGeneral
Datum der Freischaltung2013-06-06T13:59:41Zuulm.freischaltungVTS
Peer-Reviewneinuulm.peerReview
Signatur DruckexemplarQAA 5/A4.98,5uulm.shelfmark
DCMI MedientypTextuulm.typeDCMI
VTS-ID8522uulm.vtsID
KategoriePublikationenuulm.category
Ulmer SchriftenreiheUlmer Informatik-Berichteuulm.seriesUlmName


Dateien zu dieser Ressource

Thumbnail

Das Dokument erscheint in:

Zur Kurzanzeige