dc.contributor.author | Kirner, Raimund | |
dc.contributor.author | Maurer, Simon | |
dc.contributor.author | Tveretina, Olga | |
dc.date.accessioned | 2022-01-10T13:00:02Z | |
dc.date.available | 2022-01-10T13:00:02Z | |
dc.date.issued | 2021-08-13 | |
dc.identifier.citation | Kirner , 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.citation | conference | |
dc.identifier.uri | http://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.abstract | Interface 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.extent | 7 | |
dc.format.extent | 866499 | |
dc.language.iso | eng | |
dc.publisher | Institute of Electrical and Electronics Engineers (IEEE) | |
dc.relation.ispartof | Proc. 2020 2nd Int'l Conference on Societal Automation (SA'21) | |
dc.subject | interface modelling | |
dc.subject | loosely synchronous communication | |
dc.subject | interface automata | |
dc.subject | interface composition | |
dc.title | Component Interfaces with Loosely Synchronous Communication | en |
dc.contributor.institution | Centre for Computer Science and Informatics Research | |
dc.contributor.institution | School of Physics, Engineering & Computer Science | |
dc.contributor.institution | Department of Computer Science | |
dc.contributor.institution | Centre for Future Societies Research | |
dc.contributor.institution | School of Computer Science | |
dc.contributor.institution | Biocomputation Research Group | |
rioxxterms.versionofrecord | 10.1109/SA51175.2021.9507118 | |
rioxxterms.type | Other | |
herts.preservation.rarelyaccessed | true | |