Incremental verification and synthesis of discrete-event systems guided by counter-examples [PDF]
, 2004 This article presents new approaches to system verification and synthesis based on subsystem verification and the novel combined use of counterexamples and heuristics to identify suitable subsystems incrementally.
Brandin, Bertil A. +2 more
core +2 more sources
Applying Lessons from Cyber Attacks on Ukrainian Infrastructures to Secure Gateways onto the Industrial Internet of Things [PDF]
, 2017 Previous generations of safety-related industrial control systems were ‘air gapped’. In other words, process control components including Programmable Logic Controllers (PLCs) and smart sensor/actuators were disconnected and isolated from local or wide
Evangelopoulou, Maria +2 more
core
Model-Based Testing of Safety Critical Real-Time Control Logic Software
, 2012 The paper presents the experience of the authors in model based testing of safety critical real-time control logic software. It describes specifics of the corresponding industrial settings and discusses technical details of usage of UniTESK model based ...
A. Grinevich +16 more
core +2 more sources
Joint Committees: No Substitute for Union Action [PDF]
, 1990 [Excerpt] Nearly half of all industrial union contracts mandate joint labor-management health and safety committees (JHSCs). In the past five years, mandated JHSCs have also become common in the public sector in states that have enacted occupational ...
Egarian, Marjorie
core +1 more source
The xSAP Safety Analysis Platform [PDF]
, 2015 This paper describes the xSAP safety analysis platform. xSAP provides several model-based safety analysis features for finite- and infinite-state synchronous transition systems.
A Joshi +15 more
core +1 more source
Securing the Participation of Safety-Critical SCADA Systems in the Industrial Internet of Things [PDF]
, 2016 In the past, industrial control systems were ‘air gapped’ and isolated from more conventional networks. They used specialist protocols, such as Modbus, that are very different from TCP/IP.
Johnson, Chris
core
Accounting for human rights : doxic health and safety practices - the accounting lesson from ICL [PDF]
, 2009 This paper is concerned with a specific human right - the right to work in a safe environment. It sets out a case for developing a new form of account of health and safety in any organisational setting.
Cooper, Christine +2 more
core
Prediction of two-phase flow through a safety relief valve [PDF]
, 2012 Safety relief valves are necessary elements in any pressurised system. The flow inside the safety relief valve shows a number of interesting, yet complicated, features especially when a two-phase flow is involved.
Dempster, William, Elmayyah, Wael
core +1 more source
Development of predicting model for safety behaviour based on safety psychology and working environment [PDF]
, 2018 The increasing trend of occupational accident due to unsafe act and unsafe condition especially in construction site suggests the need for more proactive safety assessment model.
Md Asari, Mohammad Khairul Shaleh
core