Validation temporelle et déploiement d'une application de contrôle industrielle à base de composants

Abstract : This thesis deals with the temporal validation and the deployment of component-based industrial control applications. We are interested in the Function Blocks approach, defined in the IEC 61499 standard, as a well known component based technology in the industry. A Function Block is an event triggered component owning data to support the application functionalities. The advantage of this technology is the taking into account of the application and also its execution support. The first thesis contribution deals with the interpretation of the different concepts defined in the standard. In particular, we propose a policy defining a deterministic behavior of a FB. To apply an exhaustive temporal validation of the application, we propose a behavioral model of a Block as Timed Automata. On the other hand, we propose a semantic for the concept of FBs networks to develop industrial control applications. The second thesis contribution deals with the deployment of FBs networks in a distributed multi-tasking architecture. Such deployment has to respect classical End to End Response Time Bounds as temporal constraints. To validate the temporal behavior of an application, we propose an approach transforming its blocks into an actions system with precedence constraints. The purpose is to exploit previous theories on the scheduling of real-time systems. To deploy FBs networks in feasible OS tasks, we propose a Hybrid scheduling approach combining an off-line non-preemptive scheduling and an on-line preemptive one. The off-line scheduling allows to construct OS tasks from FBs, whereas the on-line one allows to schedule these tasks according to the classical EDF policy. A constructed OS task is an actions sequence defining an execution scenario of the application. Thanks to this approach, we reduce the context switching at run-time by merging application actions in OS tasks. In addition, the system feasibility is increased by applying an on-line preemptive policy. Finally, the last thesis contribution is an extension of the previous one. We propose an approach allocating FBs networks in a distributed architecture. Based on a heuristic, such approach uses the hybrid method to construct feasible OS tasks in calculators. The allocation problem of a particular application FB is to look for a corresponding calculator while respecting functional, temporal and execution support constraints. We note that the proposed heuristic is based on a back-tracking technic to increase the solutions space
Document type :
Theses
Complete list of metadatas

Cited literature [144 references]  Display  Hide  Download

https://hal.univ-lorraine.fr/tel-01752890
Contributor : Thèses Ul <>
Submitted on : Thursday, March 29, 2018 - 2:01:10 PM
Last modification on : Tuesday, April 24, 2018 - 1:30:08 PM

File

2007_KHALGUI_M.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : tel-01752890, version 1

Citation

Mohamed Khalgui. Validation temporelle et déploiement d'une application de contrôle industrielle à base de composants. Ordinateur et société [cs.CY]. Institut National Polytechnique de Lorraine, 2007. Français. ⟨NNT : 2007INPL009N⟩. ⟨tel-01752890⟩

Share

Metrics

Record views

76

Files downloads

62