Communication and compatibility in systems of systems: Correctness-by-construction
Visualitza/Obre
Estadístiques de LA Referencia / Recolecta
Inclou dades d'ús des de 2022
Cita com:
hdl:2117/84024
Tipus de documentArticle
Data publicació2015-07-01
Condicions d'accésAccés obert
Llevat que s'hi indiqui el contrari, els
continguts d'aquesta obra estan subjectes a la llicència de Creative Commons
:
Reconeixement 3.0 Espanya
Abstract
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.
CitacióBeek, M., Carmona, J., Kleijn, J. Communication and compatibility in systems of systems: Correctness-by-construction. "ERCIM news", 01 Juliol 2015, vol. 2015, núm. 102, p. 21-22.
ISSN0926-4981
Fitxers | Descripció | Mida | Format | Visualitza |
---|---|---|---|---|
EN102.pdf | 161,4Kb | Visualitza/Obre |