oai:pumaoai.isti.cnr.it:cnr.isti/cnr.isti/2015-A0-035 2015-07-03 openaire

Communication and compatibility in systems of systems: correctness-by-construction Ter Beek, Maurice H. Carmona, Josep Kleijn, Jetty Team automata Multi-component systems Correct-by-construction Systems-of-systems Compatibility Communication behaviour info:eu-repo/classification/acm/F.1.1 Models of Computation. Automata info:eu-repo/classification/acm/F.1.2 Modes of Computation. Parallelism and concurrency info:eu-repo/classification/acm/H.3.4 Systems and Software. Distributed systems info:eu-repo/classification/acm/E.4 Coding and Information Theory. Formal models of communication Society is still trying to catch up with technology in the wake of the digital revolution of the last twenty years. Current systems need to be both heterogeneous and able to deal with enormous volumes of data coming from uncertain environments; consequently it is essential to be able to automatically assess the correctness of interactions. To guarantee that a system of systems, comprising a conglomerate of cooperating reactive components, can be trusted, and that the system as a whole behaves as intended, requires a thorough understanding of its communication behaviour. Once local interactions are identified, abstractions can support the identification of incompatibility of systems that should cooperate within a larger system. ERCIM 2015 info:eu-repo/semantics/article http://puma.isti.cnr.it/dfdownloadnew.php?ident=cnr.isti/cnr.isti/2015-A0-035 en In: ERCIM News, vol. 102 pp. 21 - 22. Special issue: Trustworthy systems of systems. ERCIM, 2015. info:eu-repo/semantics/altIdentifier/url/http://ercim-news.ercim.eu/en102/special/communication-and-compatibility-in-systems-of-systems-correctness-by-construction info:eu-repo/semantics/altIdentifier/issn/0926-4981 application/pdf http://puma.isti.cnr.it/rmydownload.php?filename=cnr.isti/cnr.isti/2015-A0-035/2015-A0-035.pdf info:eu-repo/semantics/openAccess