离开 发表于 2025-3-28 17:09:50

Panel: Complexity and ResilienceST) working programme , “current state-of-knowledge and state-of-the-art reasonably enable the construction and operation of critical systems, be they safety-critical (e.g., avionics, railway signalling, nuclear control) or availability-critical (e.g., back-end servers for transaction processing)

喷油井 发表于 2025-3-28 22:39:33

http://reply.papertrans.cn/24/2338/233745/233745_42.png

倔强一点 发表于 2025-3-29 02:44:33

http://reply.papertrans.cn/24/2338/233745/233745_43.png

询问 发表于 2025-3-29 04:43:10

SafeSpection – A Systematic Customization Approach for Software Hazard Identification, software has to be carefully considered in safety analysis efforts to ensure that it does not cause any system hazards. Safety engineering approaches borrowed from systems engineering, like Failure Mode and Effect Analysis, Fault Tree Analysis, or Hazard and Operability Studies, have been applied

osculate 发表于 2025-3-29 08:52:10

Integrating Safety Analyses and Component-Based Design demand safety analyses of software architectures and software design. Due to the complexity of software-intensive embedded systems, safety analyses easily become very complex, time consuming, and error prone. To overcome these problems, safety analyses have to be integrated into the complete develo

保全 发表于 2025-3-29 12:09:00

http://reply.papertrans.cn/24/2338/233745/233745_46.png

Living-Will 发表于 2025-3-29 18:16:16

http://reply.papertrans.cn/24/2338/233745/233745_47.png

conspicuous 发表于 2025-3-29 22:00:46

http://reply.papertrans.cn/24/2338/233745/233745_48.png

Scintigraphy 发表于 2025-3-30 02:11:08

http://reply.papertrans.cn/24/2338/233745/233745_49.png

PATHY 发表于 2025-3-30 06:56:58

Analysis of Nested CRC with Additional Net Data in Communicationd in industrial field bus systems where communication is often executed through different layers. Some layers have their own CRC and add their own specific data to the net data that is meant to be sent. Up to now, this nesting is not yet included in the safety proof of systems. Hence, additional eff
页: 1 2 3 4 [5] 6 7
查看完整版本: Titlebook: Computer Safety, Reliability, and Security; 27th International C Michael D. Harrison,Mark-Alexander Sujan Conference proceedings 2008 Sprin