Paper Info
Title
Extending the verification capabilities of middleware for reliable distributed self-adaptive systems
Abstract
The design of the embedded software for industrial systems progressively integrates more intelligent functions to ease the integration between the factory floor hardware and operator-friendly control front ends. New software development paradigms such as service oriented architecture (SOA) make it possible by embedding small footprint web servers inside small embedded devices that are connected to the actuators which they control. In general, the timing requirements of such distributed systems are not in the front plane and temporal guarantees provided by most solutions are typically best effort. iLAND is an example of a middleware that supports communication and reconfiguration of distributed services, ensuring temporal correctness. It includes the logic for adapting the architectural structure of a service-based application (i.e., number and connections of the software pieces/functions) to respond to operator requests in a time-deterministic way, focusing only on the temporal correctness. In this paper, we apply the principles of autonomic computing to the middleware design, and we provide a high-level description on how its verification process could be extended beyond the purely temporal properties using more comprehensive formal techniques. We exemplify these ideas with a modified on-line verification manager that suits the needs of a kind of systems with specific timing and functional constraints.
Year
DOI
Venue
2014
10.1109/INDIN.2014.6945502
Industrial Informatics
Keywords
Field
DocType
formal verification,middleware,service-oriented architecture,SOA,distributed self-adaptive systems,embedded devices,embedded software,functional constraint,iLAND middleware,middleware verification capability,online verification manager,service oriented architecture,service-based application,software development paradigm,temporal correctness,timing constraint,timing requirements,Adaptive systems,MAPE-K,SOA,distributed systems,middleware,reconfiguration,reliable systems,verification
Middleware,Middleware (distributed applications),Functional verification,Embedded software,Factory,Computer science,Real-time computing,Self adaptive,Message oriented middleware,Embedded system,Software verification,Distributed computing
Conference
ISSN
Citations 
PageRank 
1935-4576
2
0.39
References 
Authors
10
3
Name
Order
Citations
PageRank
Marisol García-Valls154040.75
Diego Perez-Palacin212013.23
Raffaela Mirandola32557133.74