Formal Specification of Gateways in Integrated Architectures
SEUS '08 Proceedings of the 6th IFIP WG 10.2 international workshop on Software Technologies for Embedded and Ubiquitous Systems
Model-driven development of industrial process control applications
Journal of Systems and Software
Hi-index | 0.00 |
As part of the DECOS architecture, this paper presents a generic framework for gateways, which enable message ex- changes across application subsystem boundaries in order to exploit redundancy and to coordinate the behavior of ap- plication subsystems. In the DECOS architecture, networks of different application subsystem can exhibit property mis- matches, such as different protocols (e.g., CAN protocol vs. time-triggered communication), divergent syntax, and incoherent naming. Gateways provide a systematic solu- tion for resolving these property mismatches. Within a gate- way, a real-time database separates the application sub- systems and stores temporally accurate real-time images. Controlled by a formal gateway specification based on an extension of timed automata, a gateway acquires messages from one gateway side to update these real-time images and recombines the real-time images into messages for the other gateway sides. In a prototype implementation, development tools use such a formal gateway specification expressed as a UML model as an input and automatically generate a con- figuration module for the parameterization of a generic ar- chitectural gateway service to a specific application.1