PUMA
Istituto di Scienza e Tecnologie dell'Informazione     
Ter Beek M. H., Carmona J., Kleijn J. Communication and compatibility in systems of systems: correctness-by-construction. In: ERCIM News, vol. 102 pp. 21 - 22. Special issue: Trustworthy systems of systems. ERCIM, 2015.
 
 
Abstract
(English)
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.
URL: http://ercim-news.ercim.eu/en102/special/communication-and-compatibility-in-systems-of-systems-correctness-by-construction
Subject Team automata
Multi-component systems
Correct-by-construction
Systems-of-systems
Compatibility
Communication behaviour
F.1.1 Models of Computation. Automata
F.1.2 Modes of Computation. Parallelism and concurrency
H.3.4 Systems and Software. Distributed systems
E.4 Coding and Information Theory. Formal models of communication


Icona documento 1) Download Document PDF


Icona documento Open access Icona documento Restricted Icona documento Private

 


Per ulteriori informazioni, contattare: Librarian http://puma.isti.cnr.it

Valid HTML 4.0 Transitional