| Summary: | 碩士 === 國立臺灣大學 === 電子工程學研究所 === 105 === With the development of IIoT (Industrial IoT), the autonomous system of the factory becomes more open, dynamic, flexible, adaptable and complex. The fundamental safety requirement of those systems should be aware of the changes in the environment that affect negatively and be implemented the feedback closed loop that continuously adjust the behavior of systems. To ensure safety of the autonomous system in IIoT environment, it is desirable to shift safety verification to runtime. In this thesis, to deal with the safety runtime monitoring, we proposed the model-driven approach of the safety rules by using the Event-B specification and reactive agent model. This approach transforms from specifying the safety rule for the monitored system to the design method in Event-B specification, using the design of Event-B to support the intermediate transformation process from the safety rule to the rule of the safety monitoring agent. We also proposed our monitoring architecture and use a case study in reference to AGV industrial safety standard to test the monitoring system.
|
|---|
