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

连词

COMMA

Magnitude

Security Analysis of Smart Grid Data Collection Technologiesbeen conducted on a commercial synchrophasor produced by a major vendor, and on a widely used open source product for the Phasor Data Concentrator application. We describe the experimental setup, present the main results, and comment the findings of our research.

LINES

engagement

Integration of a System for Critical Infrastructure Protection with the OSSIM SIEM Platform: A dam curring at the dam monitoring and control system, since they can result in issuing hazardous commands to control devices. We present examples of misuses and malicious activities and procedures to extend OSSIM for analyzing new event types.

Mitigate

Establishing Confidence in the Usage of Software Tools in Context of ISO 26262fy and reuse already existing verification measures in the development process for establishing confidence in the usage of software tools. Furthermore, the approach allows introducing new verification measures to optimize the overall development process.

Host142

任意

ALLEY

Insubordinate

A Case Study on State-Based Robustness Testing of an Operating System for the Avionic Domaina Linux-based OS, to be adopted by Finmeccanica for safety-critical systems in the avionic domain. Results show that the OS state plays an important role in testing those corner cases not covered by traditional robustness testing.