Sciweavers

107 search results - page 2 / 22
» Functional safety and system security in automation systems ...
Sort
View
ALIFE
2007
13 years 5 months ago
Life Cycle of a Minimal Protocell - A Dissipative Particle Dynamics Study
Cross-reactions and other systematic difficulties generated by the coupling of functional chemical subsystems pose the largest challenge for assembling a viable protocell in the la...
Harold Fellermann, Steen Rasmussen, Hans-Joachim Z...
EDOC
2008
IEEE
14 years 52 min ago
Managing the Life Cycle of Access Rules in CEOSIS
The definition and management of access rules (e.g., to control the access to business documents and business functions) is an important task within any enterprise information sy...
Stefanie Rinderle-Ma, Manfred Reichert
TIME
2007
IEEE
13 years 11 months ago
A Symbolic Decision Procedure for Robust Safety of Timed Systems
We present a symbolic algorithm for deciding safety (reachability) of timed systems modelled as Timed Automata (TA), under the notion of robustness w.r.t. infinitesimal clock-drif...
Mani Swaminathan, Martin Fränzle
CASE
2011
102views more  CASE 2011»
12 years 5 months ago
Towards an automated verification process for industrial safety applications
— Legacy systems that do not conform to the norms and regulations imposed by recent safety standards have to be upgraded to meet safety requirements. In this paper, we describe a...
Kleanthis Thramboulidis, Doaa Soliman, Georg Frey
MR
2007
173views Robotics» more  MR 2007»
13 years 5 months ago
A maintenance planning and business case development model for the application of prognostics and health management (PHM) to ele
- This paper presents a model that enables the optimal interpretation of Prognostics and Health Management (PHM) results for electronic systems. In this context, optimal interpreta...
Peter A. Sandborn, Chris Wilkinson