Testing for Coordination Fidelity

Testing for Coordination Fidelity. Abd Alrahman, Y., Mezzina, C. A., & Vieira, H. T. In Boreale, M., Corradini, F., Loreti, M., & Pugliese, R., editors, Models, Languages, and Tools for Concurrent and Distributed Programming - Essays Dedicated to Rocco De Nicola on the Occasion of His 65th Birthday, volume 11665, of Lecture Notes in Computer Science, pages 152-169, 2019. Springer.

Paper doi abstract bibtex 3 downloads

Operation control in modern distributed systems must rely on decentralised coordination among system participants. In particular when the operation control involves critical infrastructures such as power grids, it is vital to ensure correctness properties of such coordination mechanisms. In this paper, we present a verification technique that addresses coordination protocols for power grid operation control. Given a global protocol specification, we show how we can rely on testing semantics for the purpose of ensuring protocol fidelity, i.e., to certify that the interaction among the grid nodes follows the protocol specification.

@inproceedings{DBLP:conf/birthday/AlrahmanMV19,
  author    = {Yehia {Abd Alrahman} and
               Claudio Antares Mezzina and
               Hugo Torres Vieira},
  editor    = {Michele Boreale and
               Flavio Corradini and
               Michele Loreti and
               Rosario Pugliese},
  title     = {Testing for Coordination Fidelity},
  booktitle = {Models, Languages, and Tools for Concurrent and Distributed Programming
               - Essays Dedicated to Rocco De Nicola on the Occasion of His 65th
               Birthday},
  series    = {Lecture Notes in Computer Science},
  volume    = {11665},
  pages     = {152-169},
  publisher = {Springer},
  year      = {2019},
  url       = {https://doi.org/10.1007/978-3-030-21485-2\_10},
  doi       = {10.1007/978-3-030-21485-2\_10},
  abstract  = {Operation control in modern distributed systems must rely on decentralised coordination among system participants. In particular when the operation control involves critical infrastructures such as power grids, it is vital to ensure correctness properties of such coordination mechanisms. In this paper, we present a verification technique that addresses coordination protocols for power grid operation control. Given a global protocol specification, we show how we can rely on testing semantics for the purpose of ensuring protocol fidelity, i.e., to certify that the interaction among the grid nodes follows the protocol specification.}
}

Downloads: 3