Show simple item record

dc.contributor.authorKirner, Raimund
dc.contributor.authorMaurer, Simon
dc.contributor.authorTveretina, Olga
dc.date.accessioned2022-01-10T13:00:02Z
dc.date.available2022-01-10T13:00:02Z
dc.date.issued2021-08-13
dc.identifier.citationKirner , R , Maurer , S & Tveretina , O 2021 , Component Interfaces with Loosely Synchronous Communication . in Proc. 2020 2nd Int'l Conference on Societal Automation (SA'21) . Institute of Electrical and Electronics Engineers (IEEE) , 2020 2nd International Conference on Societal Automation (SA) , Funchal , Portugal , 26/05/21 . https://doi.org/10.1109/SA51175.2021.9507118
dc.identifier.citationconference
dc.identifier.urihttp://hdl.handle.net/2299/25293
dc.description© 2020 IEEE. This is the accepted manuscript version of an article which has been published in final form at https://doi.org/10.1109/SA51175.2021.9507118
dc.description.abstractInterface automata have been introduced as a way to advance from value and domain descriptions of type systems to temporal interface descriptions. The original introduction of interface automata used a notion of buffered communication with infinite buffer size. This communication model is suitable to abstract the behaviour of many computing aspects with asynchronous communication between components. In this paper we present Loosely Synchronous Interface Automata (LSIA) to describe interfaces of components with loosely synchronised communication. Loosely synchronised communication facilitates a blocking semantics of communication for both sender and receiver. With loosely synchronisation it is possible to describe systems where a precise order of events is necessary. For example, cyber-physical systems often include control tasks where the exact order of events is necessary for a safe operation. With LSIAs it is possible to check compatibility of interface models including safety-relevant properties like lifeness. In this paper we describe the composition of LSIAs and show examples.en
dc.format.extent7
dc.format.extent866499
dc.language.isoeng
dc.publisherInstitute of Electrical and Electronics Engineers (IEEE)
dc.relation.ispartofProc. 2020 2nd Int'l Conference on Societal Automation (SA'21)
dc.subjectinterface modelling
dc.subjectloosely synchronous communication
dc.subjectinterface automata
dc.subjectinterface composition
dc.titleComponent Interfaces with Loosely Synchronous Communicationen
dc.contributor.institutionCentre for Computer Science and Informatics Research
dc.contributor.institutionSchool of Physics, Engineering & Computer Science
dc.contributor.institutionDepartment of Computer Science
dc.contributor.institutionCentre for Future Societies Research
dc.contributor.institutionSchool of Computer Science
dc.contributor.institutionBiocomputation Research Group
rioxxterms.versionofrecord10.1109/SA51175.2021.9507118
rioxxterms.typeOther
herts.preservation.rarelyaccessedtrue


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record