A5080234321- Agriculture and Rural Development Research
- Petri Nets in System Modeling
- Flexible and Reconfigurable Manufacturing Systems
- Formal Methods in Verification
- Recycling and Waste Management Techniques
- Odor and Emission Control Technologies
- Occupational Health and Safety Research
- Environmental Impact and Sustainability
- Safety Systems Engineering in Autonomy
Automation systems within nuclear laboratories are intended to work under harsh operating conditions. SPES (Selective Production of Exotic Species) is a research facility currently construction by INFN (Istituto Nazionale di Fisica Nucleare), dedicated the production and study Radioactive Ion Beams (RIBs). Isotopes produced Target Source (TIS) unit, vacuum vessel that must be replaced on regular basis. The highly radioactive environment necessitates deployment set automated unit's remote...
A rigorous check is a significant phase in the design process of control programs safety-critical cyber-physical systems. Here, we consider such to be implemented using IEC 61499 standard for industrial automation. After performed (for example, formal verification), engineer needs ensure that even unexpected situations, system will not fail during runtime, and this online verification methods can utilized. In work, attaching monitors as basic function blocks interface controller, thus having...