The multi-scale modelling of process systems using hierarchical coloured Petri nets for diagnostics is investigated in this report. A case study is used to systematically show the modelling approach using an illustrative example of a tank reactor with cooling jacket. This form of representation shows how CPNs can provide a hierarchically structured framework for advanced fault diagnosis. Resear...

Recent advances in robotics technologies have opened multiple opportunities for the use of robots to support various activities of our daily life and to interact with humans in different ways. In such contexts, it is crucial to identify potential threats related to physical human-robot interactions and to assess the associated risks that might affect safety and dependability. Because of the com...

The Mubarok Skin Cracker Factory is a home industry that produces skin crackers from cowhide, raw, and cooked crackers. Based on the interviews with factory owners, there have been several work accidents, production room has very minimal lighting air ventilation. these problems, method used Hazard Operability Study (HAZOP), which aims to identify sources of hazards potential accidents in proces...

Emerging standards and guidelines in the safety engineering field call for the application of safety assessment techniques throughout the development cycle of systems. Since much early work on design projects falls within the discipline of systems engineering, questions arise about the applicability of safety assessment techniques to system architectural descriptions and about the role of such ...

Context: Requirements are one of the most important elements of software development. They involve many stakeholders, including IT professionals (Analysts, Project Manager, Architects, etc.) and IT laymen (e.g. Customers, End Users, Domain Experts, Investors). In order to build a bridge between those two groups, requirements are often written in a natural language, e.g. in the form of use cases...