Formal Behavioural Models to Facilitate Distributed Development and Commissioning in Industrial Automation

James Harland, Jan Olaf Blech, Ian Peake, Luke Trodd

2016

Abstract

We aim to facilitate semi-automated collaborative distributed development, commissioning, operation and maintenance using formal behavioural models. We are interested in a whole-of-system context, where properties of the physical systems increasingly depend explicitly on software configuration, thus requiring validation. Our models are cyber-physical, comprising not only the control software itself but also mechatronic elements under control involving sensing/actuators, such as pneumatics, hydraulics, and motor drives. We discuss various issues relevant to the problems of collaboration, and we provide requirements for collaboration in a specific experimental context involving elements of a small-scale food packaging plant.

References

  1. L. de Alfaro, T.A. Henzinger (2001). Interface Automata. In Symposium on Foundations of Software Engineering, ACM.
  2. R. Alur, D. Dill (1994, April). A theory of timed automata. Theoretical Computer Science 126(2):183-235.
  3. S. Bensalem, M. Bozga, T.-H. Nguyen, J. Sifakis (2010, June). Compositional verification for componentbased systems and application. In Software, IET, vol.4, no.3, pp.181-193. doi: 10.1049/ietsen.2009.0011
  4. J. O. Blech, M. Spichkova, I. Peake, H. Schmidt (2014). Cyber-Virtual Systems: Simulation, Validation & Visualization. Evaluation of Novel Approaches to Software Engineering. SciTePress ISBN 978-989-758- 030-7.
  5. J. O. Blech, P. Herrmann (2015). Behavioral Types for Space-aware Systems. Model-based Architecting of Cyber-Physical and Embedded Systems. CEUR proceedings, vol. 1508.
  6. J. O. Blech, S. Ould Biha (2011). Verification of PLC Properties Based on Formal Semantics in Coq. 9th International Conference on Software Engineering and
Download


Paper Citation


in Harvard Style

Harland J., Blech J., Peake I. and Trodd L. (2016). Formal Behavioural Models to Facilitate Distributed Development and Commissioning in Industrial Automation . In Proceedings of the 11th International Conference on Evaluation of Novel Software Approaches to Software Engineering - Volume 1: COLAFORM, (ENASE 2016) ISBN 978-989-758-189-2, pages 363-369. DOI: 10.5220/0005928303630369


in Bibtex Style

@conference{colaform16,
author={James Harland and Jan Olaf Blech and Ian Peake and Luke Trodd},
title={Formal Behavioural Models to Facilitate Distributed Development and Commissioning in Industrial Automation},
booktitle={Proceedings of the 11th International Conference on Evaluation of Novel Software Approaches to Software Engineering - Volume 1: COLAFORM, (ENASE 2016)},
year={2016},
pages={363-369},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0005928303630369},
isbn={978-989-758-189-2},
}


in EndNote Style

TY - CONF
JO - Proceedings of the 11th International Conference on Evaluation of Novel Software Approaches to Software Engineering - Volume 1: COLAFORM, (ENASE 2016)
TI - Formal Behavioural Models to Facilitate Distributed Development and Commissioning in Industrial Automation
SN - 978-989-758-189-2
AU - Harland J.
AU - Blech J.
AU - Peake I.
AU - Trodd L.
PY - 2016
SP - 363
EP - 369
DO - 10.5220/0005928303630369