Loading...
Loading...

Go to the content (press return)

Communication and compatibility in systems of systems: Correctness-by-construction

Author
Beek, M.; Carmona, J.; Kleijn, J.
Type of activity
Journal article
Journal
ERCIM news
Date of publication
2015-07-01
Volume
2015
Number
102
First page
21
Last page
22
Repository
http://hdl.handle.net/2117/84024 Open in new window
URL
http://ercim-news.ercim.eu/en102/special/intro Open in new window
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...
Citation
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.
Group of research
ALBCOM - Algorithms, Computational Biology, Complexity and Formal Methods

Participants

Attachments