Extending the verification capabilities of middleware for reliable distributed self-adaptive systems

@article{GarcaValls2014ExtendingTV,
  title={Extending the verification capabilities of middleware for reliable distributed self-adaptive systems},
  author={Marisol Garc{\'i}a-Valls and Diego Perez-Palacin and Raffaela Mirandola},
  journal={2014 12th IEEE International Conference on Industrial Informatics (INDIN)},
  year={2014},
  pages={164-169}
}
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… CONTINUE READING