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.
DownloadPaper 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