Synthesis and verification of self-aware computing systems
Self-aware computing systems are envisaged to exploit the knowledge of their own software
architecture, hardware infrastructure and environment in order to follow high-level goals …
architecture, hardware infrastructure and environment in order to follow high-level goals …
Software mediators as first-class entities of systems-of-systems software architectures
Context In contrast to traditional software systems that are mostly created from scratch,
current software systems are engineered as a junction of systems already in operation …
current software systems are engineered as a junction of systems already in operation …
[HTML][HTML] Automated synthesis of application-layer connectors from automata-based specifications
Abstract Ubiquitous and Pervasive Computing, and the Internet of Things, promote dynamic
interaction among heterogeneous systems. To achieve this vision, interoperability among …
interaction among heterogeneous systems. To achieve this vision, interoperability among …
Adaptive exchange of distributed partial models@ run. time for highly dynamic systems
Future software systems will be highly dynamic. We are already experiencing, for example, a
world where Cyber-Physical Systems (CPSs) play a more and more crucial role. CPSs …
world where Cyber-Physical Systems (CPSs) play a more and more crucial role. CPSs …
Synthesizing self-adaptive connectors meeting functional and performance concerns
A Di Marco, P Inverardi… - 2013 8th International …, 2013 - ieeexplore.ieee.org
Today's networked environment is characterized by a wide variety of heterogeneous
systems that dynamically decide to interoperate to achieve some goal. In this context …
systems that dynamically decide to interoperate to achieve some goal. In this context …
Application-layer connector synthesis
The heterogeneity characterizing the systems populating the Ubiquitous Computing
environment prevents their seamless interoperability. Heterogeneous protocols may be …
environment prevents their seamless interoperability. Heterogeneous protocols may be …
On Handling Data in Automata Learning: Considerations from the CONNECT Perspective
Most communication with real-life systems involves data values being relevant to the
communication context and thus influencing the observable behavior of the communication …
communication context and thus influencing the observable behavior of the communication …
Achieving functional and non functional interoperability through synthesized connectors
N Nostro, R Spalazzese, F Di Giandomenico… - Journal of Systems and …, 2016 - Elsevier
Our everyday life is pervaded by the use of a number of heterogeneous systems that are
continuously and dynamically available in the networked environment to interoperate to …
continuously and dynamically available in the networked environment to interoperate to …
Towards an architecture for runtime interoperability
Interoperability remains a fundamental challenge when connecting heterogeneous systems
which encounter and spontaneously communicate with one another in pervasive computing …
which encounter and spontaneously communicate with one another in pervasive computing …
On-the-fly dependable mediation between heterogeneous networked systems
A Bertolino, A Calabrò, F Di Giandomenico… - Software and Data …, 2013 - Springer
The development of next generation Future Internet systems must be capable to address
complexity, heterogeneity, interdependency and, especially, evolution of loosely connected …
complexity, heterogeneity, interdependency and, especially, evolution of loosely connected …