Carregant...
Carregant...

Vés al contingut (premeu Retorn)

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

Autor
Beek, M.; Carmona, J.; Kleijn, J.
Tipus d'activitat
Article en revista
Revista
ERCIM news
Data de publicació
2015-07-01
Volum
2015
Número
102
Pàgina inicial
21
Pàgina final
22
Repositori
http://hdl.handle.net/2117/84024 Obrir en finestra nova
URL
http://ercim-news.ercim.eu/en102/special/intro Obrir en finestra nova
Resum
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...
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.
Grup de recerca
ALBCOM - Algorismia, Bioinformàtica, Complexitat i Mètodes Formals

Participants

Arxius