Titlebook: Computer Safety, Reliability, and Security; 28th International C Bettina Buth,Gerd Rabe,Till Seyfarth Conference proceedings 2009 Springer-

Coarse

书目名称Computer Safety, Reliability, and Security影响因子(影响力)




书目名称Computer Safety, Reliability, and Security影响因子(影响力)学科排名




书目名称Computer Safety, Reliability, and Security网络公开度




书目名称Computer Safety, Reliability, and Security网络公开度学科排名




书目名称Computer Safety, Reliability, and Security被引频次




书目名称Computer Safety, Reliability, and Security被引频次学科排名




书目名称Computer Safety, Reliability, and Security年度引用




书目名称Computer Safety, Reliability, and Security年度引用学科排名




书目名称Computer Safety, Reliability, and Security读者反馈




书目名称Computer Safety, Reliability, and Security读者反馈学科排名

BYRE

摇曳的微光

https://doi.org/10.1007/978-1-4613-2453-9oughness of safety-related quality measures and certification activities. Motivated by these considerations, this presentation describes an approach for automated construction and verification of railway control systems.

Aqueous-Humor

https://doi.org/10.1007/b102433sms, with reference to errors of omission when using “alerting systems”, with the help of examples of novel counterintuitive findings we obtained from a case study in a health care application, as well as other examples from the literature.

语源学

无目标

https://doi.org/10.1057/978-1-137-43903-1I (Human Machine Interface) is one of the major threats to reliability..After a short overview on COOPERS and the RAMSS analysis, this paper describes the risks of the HMI and human factors in the specific situation of a driver and gives concrete recommendations for the OBU (On-Board Unit) user interface.

无目标

The Ballads and Songs of W. B. Yeats specific events ready to be tested against the attack signatures. The proposed framework is implemented and evaluated using the most common attack scenarios. The framework is useful to test software with respect to potential attacks which can significantly reduce the risk of security vulnerabilities.

BARGE

A Domain-Specific Framework for Automated Construction and Verification of Railway Control Systemsoughness of safety-related quality measures and certification activities. Motivated by these considerations, this presentation describes an approach for automated construction and verification of railway control systems.

handle

Why Are People’s Decisions Sometimes Worse with Computer Support?sms, with reference to errors of omission when using “alerting systems”, with the help of examples of novel counterintuitive findings we obtained from a case study in a health care application, as well as other examples from the literature.

Horizon

Establishing the Correlation between Complexity and a Reliability Metric for Software Digital I&C-Sytion, expert judgment is applied to entire software systems. The results from this approach can be used to identify parts of software which from a complexity viewpoint is eligible for closer inspection. In this paper we describe the approach in detail as well as plans for testing the approach.