CONNECT research on Connecting Eternal Systems deals with the actual dynamic networking of digital systems by investigating (i) the assumptions about the networked systems concerning their minimal a priori exposed semantic description together with (ii) the deployment of CONNECT enablers within the network.
It effectively architects together the various pieces contributing to realize the CONNECT vision, from formal foundations to protocol learning and synthesis.
To know more... |
 |
CONNECT research on Formal Foundations for Connectors concentrates on the formal modeling of interaction behaviors towards automated learning, reasoning and synthesis, hence setting the bases for dynamically generating connectors.
To know more...
|
 |
CONNECT research on Dynamic Connector Synthesis focuses on one of the enablers of connectors generation, i.e., the automated synthesis of connectors according to the interaction behaviors of networked systems seeking to communicate.
To know more...
|
 |
CONNECT research on Interaction Behavior Monitoring & Learning devises the other key enabler of CONNECT, i.e., discovering the specifications of the interaction behaviors of networked systems.
To know more... |
 |
CONNECT research on Dependability Assurance complements the above studies with methods, tools and mechanisms to ensure the dependability of CONNECTed systems.
To know more...
|
 |
CONNECT research on Experiment & Assessment deals with the thorough assessment of CONNECT research based on experimentation with future real-life scenarios, including scenarios in the area of GMES - Global Monitoring for Environment & Security.
To know more...
|
 |
