A FORMAL APPROACH TO DEPLOY HETEROGENEOUS SOFTWARE COMPONENTS IN A PLC

Mohamed Khalgui, Emanuele Carpanzano

2007

Abstract

This paper deals with an industrial control application following different component-based technologies. This application, considered as a network of heterogeneous components, has to be deployed in a multi-tasking PLC. It has classically to respect temporal constraints according to specifications. To deploy the components in feasible OS tasks of the controller, we propose to fix a formal component model allowing their homogeneous design. We enrich, in particular, this model to unify well known technologies. The application is considered then as a network of homogeneous components. We propose to transform this network into a real-time tasks system with precedence constraints to exploit previous results on real-time deployment.

References

  1. Crnkovic, I. and Larsson, M. (2002). Building reliable component-based software systems. Artech House. London.
  2. Khalgui, M., Rebeuf, X., and Simonot-Lion, F. (2006). Component-based deployment of industrial control systems : an hybrid scheduling approach. In ETFA06, Czech.
  3. Lewis, R. (2002). Modelling Control Systems using IEC61499. The institution of Electrical Engineers.
  4. Sifakis, J. (2005). A Framework for Component-based Construction. 3rd IEEE International Conference on Software Engineering and Formal Methods (SEFM05).
Download


Paper Citation


in Harvard Style

Khalgui M. and Carpanzano E. (2007). A FORMAL APPROACH TO DEPLOY HETEROGENEOUS SOFTWARE COMPONENTS IN A PLC . In Proceedings of the Second International Conference on Software and Data Technologies - Volume 2: ICSOFT, ISBN 978-989-8111-06-7, pages 207-212. DOI: 10.5220/0001340502070212


in Bibtex Style

@conference{icsoft07,
author={Mohamed Khalgui and Emanuele Carpanzano},
title={A FORMAL APPROACH TO DEPLOY HETEROGENEOUS SOFTWARE COMPONENTS IN A PLC},
booktitle={Proceedings of the Second International Conference on Software and Data Technologies - Volume 2: ICSOFT,},
year={2007},
pages={207-212},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0001340502070212},
isbn={978-989-8111-06-7},
}


in EndNote Style

TY - CONF
JO - Proceedings of the Second International Conference on Software and Data Technologies - Volume 2: ICSOFT,
TI - A FORMAL APPROACH TO DEPLOY HETEROGENEOUS SOFTWARE COMPONENTS IN A PLC
SN - 978-989-8111-06-7
AU - Khalgui M.
AU - Carpanzano E.
PY - 2007
SP - 207
EP - 212
DO - 10.5220/0001340502070212