沉着
发表于 2025-4-1 05:10:27
http://reply.papertrans.cn/24/2338/233718/233718_61.png
Offstage
发表于 2025-4-1 10:04:28
http://reply.papertrans.cn/24/2338/233718/233718_62.png
GEAR
发表于 2025-4-1 11:23:29
Analyzing Human-Machine Interactions in Safety-Critical Systems: A Basic Applicable Approachplicable technique is presented, to find out critical and problematic humanmachine interactions during the operation of a system. The technique is based on a state-interaction matrix, carefully filled out and afterwards automatically evaluated.
Outwit
发表于 2025-4-1 16:10:46
A Classification Scheme for Software Verification Tools with Regard to RTCA/DO-178Bscheme for software verification tools was needed. This paper provides a tool classification scheme that is based on four basic tool classification categories: “objectives”, “methods”, “metrics”, and “attributes”.
平常
发表于 2025-4-1 20:39:38
http://reply.papertrans.cn/24/2338/233718/233718_65.png
侵略
发表于 2025-4-1 22:57:30
Security Assessments of Safety Critical Systems Using HAZOPs Unfortunately, the emphasis placed on security issues when developing safety critical systems is to often inadequate, possibly due to the lack of “;safety-compliant” security methods. Having had the opportunity to adapt the HAZOP-principle to the security context, a HAZOP was established which is w