Click here to jump directly to the download section.
The work in the project in the first year is reported in a general management report (this page, also as postscript file). The effort of information dissemination is described in (MG.2.1).
IP: deliverable IP.1 covers the most interesting aspects of plant control informatics from the project point of view. It covers some aspects of introducing formal methods to manufacturing in general and studies the state-of-the-art in DCS and PLC programming practices, as well as suggestions for further contributions of the consoirtium.
MF: The work on this work-package has already started but no deliverables are due after the first year. In addition to the abovementioned investigations concerning the appropriate level of modeling for plants, work has been done on the modeling of hydraulic networks, on the relation between various formalisms (condition/event systems, Timed automata and Petri Nets, Sequential function charts, etc.) used for specification, programming and verification. A detailed report on MF contributions will be provided in the second year.
PA: This package depends, of course, on the previous one but, nevertheless, some ``universal'' models such as differential equations, automata and timed automata are surely to be part of the used models, hence some work has been already performed for this work-package. It includes, among other things, improved algorithms and data-structures for timed automata, decidability results on hybrid systems, and results on controller synthesis. A detailed report will be provided at the end of the second year.
TL: Like the previous package, the development of some of the computational infrastructure could already take place at the first year. Work on this package included improvements in performance and user-interface of exisiting verification tools, development of hybrid simulators and other tools for automatic and semi-automatic analysis of hybrid systems, new data-strucutres for geometrical and probabilistic information. A detailed report will be provided after the second year.
CS1: This case-study, together with CS2, was intended as a testbed for the applicability of verification technology to plant control. It is a real plant with control procedures implemented in PLC. The case-study has been investigated by most of the partners and the experiemce was indeed rewarding. Deliverable CS.1.1 documents the plant descriptions and various attempts to solve the problems it poses at various levels including the level of an abstract scheduling problem and the level of a detailed control program. We feel that the results are encouraging.
CS2: Case study 2 served as an introductry example for the implementation of a complex (from the chemical dynamics point of view) control procedure in a real DCS. The deciphering of the old control code, written in a vendor-specific language, demonstrated the difficulty in maintaining and re-using process control software in general. Although most of the project effort was dedicated to the more documented CS1, some modeling and verification results concerning two control sub-routines of CS2 were obtained. They are reported in deliverable CS.2.1. We intend to extend the work on this case-study toward the second year.
CS3: The work on this case-study will start as planned next year. Experiments in using and programming the Siemens S7 platform have already started.
CS4: This is essentially a scheduling case-study which progresses according to its schedule. A model of the plant was extracted and it appears in deliverable CS.4.1.
CS5: This is another scheduling case-study with some very particular timing constraints. A formal model of this task has been written and initial attempts to find feasible and optimal schedules are reported in deliverable CS.5.1. The progress in this case-study is more than planned.
CS6: The work on this case-study is planned for next year. The instrumentation diagrams of the process have already been extracted and a sub-system to be analyzed has been isolated.
|Date||Place||No. of Participants||remarks|