This article describes the process of improving risk management practices in a foundry of the ALFET Company (Algeria). The proposed methodology is based on the decision matrix risk assessment technique. This technique allows making a risk assessment for each source of risk (machine, man, environment, and management), which leads to the determination of the overall risk rate during the activity ...

This paper addresses the problem of verifying that a sequential digital design is a safe replacement for an existing design without making any assumptions about a known initial state of the design or about its environment. We formulate a safe replacement condition which guarantees that if an original design is replaced by a new design, the interacting environment cannot detect the change by obs...

In this paper I describe a implementation procedure for generating controllers to guarantee safety constraints for controllable discrete-time linear systems. The first two sections are a summary of the work of [6]. The contribution of this paper is the discussion of the limitations of this method and future research directions. We omit any discussion of complexity and focus instead on functiona...

Public-Key-Infrastrukturen sind von zentraler Bedeutung für eine sichere elektronische Kommunikation in offenen Netzen. PublicKey-Infrastrukturen bergen aber für die auf ihnen basierenden Anwendungen auch Risiken, weil die Verfahren der PKIs zu Grunde liegenden Public-Key-Kryptografie nicht beweisbar sicher sind. Zur Lösung der möglichen Probleme – Verlust der Verfügbarkeit von PKIAnwendungen, ...

Process safety might be considered as the most important area to improve several aspects in the process industry design. Ways of dealing with hazards include means to either control them or totally remove them. Both control and removal ways can be applied during the design stage to produce inherently safer designs. There exist several practical examples where issues related to inherently safer ...