Titlebook: Computer Safety, Reliability, and Security; 30th International C Francesco Flammini,Sandro Bologna,Valeria Vittorin Conference proceedings

Functional

Model-Driven Availability Evaluation of Railway Control Systemsaluate the impact of different maintenance policies considering cost/benefit factors. To that aim, maintenance models may be used within availability, performability or safety models, the latter developed using formal languages according to the requirements of international standards. In this paper,

LAPSE

Vertical Safety Interfaces – Improving the Efficiency of Modular Certificationety engineering. Particularly when applying integrated architectures like AUTOSAR or IMA, modular certification allows the construction of modular safety cases, which ensures the flexible handling of platforms and applications. However, the task of integrating these safety cases is still a manual an

OPINE

失誤

ANT

From Probabilistic Counterexamples via Causality to Fault Treeswever, continues to be problematic since they have to be represented as sets of paths, and the number of paths in this set may be very large. Fault trees (FTs) are a well-established industrial technique to represent causalities for possible system hazards resulting from system or system component f

新奇

Rigorous Evidence of Freedom from Concurrency Faults in Industrial Control Softwarenalyzes and safety assessments. In particular, the quality, correctness and dependability of control systems software need to be justified. This paper reports on the development of a tool-based methodology to address the demonstration of freedom from intrinsic software faults related to concurrency

Triglyceride

Evolutionary Risk Analysis: Expert Judgemente limited support in order to deal with changes and to assess their impacts on critical features (e.g. safety, security, etc.). This paper is concerned with how change requirements affect security properties. A change requirement is a specification of changes that are to be implemented in a system.

含鐵

Computer-Aided PHA, FTA and FMEA for Automotive Embedded Systemsreasing complexity of automotive embedded systems. The safety-criticality of these systems demands the application of analysis techniques such as PHA (Preliminary Hazard Analysis), FTA (Fault Tree Analysis) and FMEA (Failure Modes and Effects Analysis) in the development process. The early applicati

FLINT

A Statistical Anomaly-Based Algorithm for On-line Fault Detection in Complex Software Critical Systeion strategies, and the ability to take decisions on the basis of current and past behavior of the system. In this paper we propose an anomalybased approach for the detection of online faults, which is able to (i) cope with highly variable and non-stationary environment and to (ii) work without any

GOUGE

Security Analysis of Smart Grid Data Collection Technologiesstructures are especially dangerous because they are tailored to disrupt assets which are essential to the functioning of the society as a whole. Examples of Critical Infrastructure sectors include transportation, communication, and utilities. Among these, power grids are possibly the most critical,