Titlebook: Computer Safety, Reliability and Security; 21st International C Stuart Anderson,Massimo Felici,Sandro Bologna Conference proceedings 2002 S

主動(dòng)

The CORAS Framework for a Model-Based Risk Management Process analysis, semiformal methods for object-oriented modelling, and computerised tools, for a precise, unambiguous, and efficient risk assessment of security critical systems. This paper presents the CORAS framework and the related conclusions from the CORAS project so far.

任意

Software Challenges in Aviation Systemsms are developed. Several new concepts are being developed specifically to address current safety issues in aviation such as runway incursions. This paper summarizes some of the system issues and the resulting challenges to the safety and software engineering research communities.

relieve

CERE

Assessment of the Benefit of Redundant Systemsmplementation of the fault injection technique to evaluate redundant systems under various conditions. A protection system is used as an example to illustrate the evaluation of software structural diversity, optimal selection of channel- pairs and the assessment of different designs.

階層

Estimating Residual Faults from Code Coverage theory. The theory is used to justify the use of linear extrapolation to estimate residual faults. It is also shown that it is important to establish the amount of unreachable code in order to make a realistic residual fault estimate.

文藝

Rankle

https://doi.org/10.1007/BFb0039443ments. This paper addresses the development approach of MB-V2M2, an outline of the model, early validation experiments, current status and future outlook. The resulting model is dubbed MB- V2M2 (Metrics Based Verification&Validation Maturity Model).

DEBT

Antimicrobial

搖擺