University of Hertfordshire

By the same authors

Component Interfaces with Loosely Synchronous Communication

Research output: Chapter in Book/Report/Conference proceedingConference contribution


View graph of relations
Original languageEnglish
Title of host publicationProc. 2020 2nd Int'l Conference on Societal Automation (SA'21)
Number of pages7
Publication statusPublished - 13 Aug 2021
Event2020 2nd International Conference on Societal Automation (SA) - Funchal, Portugal
Duration: 26 May 202128 May 2021


Conference2020 2nd International Conference on Societal Automation (SA)


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.


© 2020 IEEE. This is the accepted manuscript version of an article which has been published in final form at

ID: 26573835