A Formal Approach to Deploy Heterogeneous Software Components in a PLC (Contributo in atti di convegno)

Type
Label
  • A Formal Approach to Deploy Heterogeneous Software Components in a PLC (Contributo in atti di convegno) (literal)
Anno
  • 2007-01-01T00:00:00+01:00 (literal)
Alternative label
  • Carpanzano E., Khalgui (2007)
    A Formal Approach to Deploy Heterogeneous Software Components in a PLC
    in ICSOFT 2007, 2nd International Conference on Software and Data Technologies, Barcelona (E)
    (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#autori
  • Carpanzano E., Khalgui (literal)
Pagina inizio
  • 207 (literal)
Pagina fine
  • 212 (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#titoloVolume
  • Proceedings of the Second International Conference on Software and Data Technologies (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#pagineTotali
  • 487 (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#affiliazioni
  • ITIA-CNR (literal)
Titolo
  • A Formal Approach to Deploy Heterogeneous Software Components in a PLC (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#isbn
  • 9789898111067 (literal)
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. (literal)
Prodotto di
Autore CNR

Incoming links:


Autore CNR di
Prodotto
data.CNR.it