主动
发表于 2025-3-23 13:38:11
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.
任意
发表于 2025-3-23 15:00:29
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
发表于 2025-3-23 19:19:19
http://reply.papertrans.cn/24/2338/233714/233714_13.png
CERE
发表于 2025-3-23 23:30:18
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.
阶层
发表于 2025-3-24 06:01:38
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.
文艺
发表于 2025-3-24 09:05:33
http://reply.papertrans.cn/24/2338/233714/233714_16.png
Rankle
发表于 2025-3-24 13:43:32
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
发表于 2025-3-24 16:28:02
http://reply.papertrans.cn/24/2338/233714/233714_18.png
Antimicrobial
发表于 2025-3-24 21:58:24
http://reply.papertrans.cn/24/2338/233714/233714_19.png
摇摆
发表于 2025-3-25 01:24:11
http://reply.papertrans.cn/24/2338/233714/233714_20.png