肥料 发表于 2025-3-30 09:05:59
http://reply.papertrans.cn/24/2338/233715/233715_51.pngLipoprotein(A) 发表于 2025-3-30 13:46:22
Software Reliability Engineering in Industryility engineering is. Then we will discuss the current state of the practice; that is, how industry is using it. The current “best” way of practicing software reliability engineering will be discussed. Finally, we will outline some of the important open research questions; solutions to these problems hold great promise for further advances.基因组 发表于 2025-3-30 20:05:24
http://reply.papertrans.cn/24/2338/233715/233715_53.pngIntruder 发表于 2025-3-30 22:55:53
Assessment and Certification of Safety-Critical Digital Architectures — the ACRuDA Projecte tested in three case studies. This paper gives an overview on the underlying principles of two of these and discusses how the assessment according to the ACRuDA framework promotes the cross-acceptance of certificates.致词 发表于 2025-3-31 03:49:19
Safety Evaluation of a Train Leader Telephone Systemse hazards, and FMECA based on Message Sequence Charts to identify possible computer failures which can lead to this faulty information. Emphasis is put on drawing conclusions on the general applicability of these methods.场所 发表于 2025-3-31 06:19:21
The Impact of Different Media on Safety and Usability of Interactive ATC ApplicationsControl domain is shown to illustrate and clarify our approach. Particular attention is paid on how different choices in allocating tasks among air traffic controllers affect usability and safety of operators’ interactions.Relinquish 发表于 2025-3-31 11:01:51
Patterns for Safer Human-Computer Interfacesguiding development of human-machine interfaces for safety-critical systems. We consider usability in the context of system safety and present a pattern language for developing safe human-machine interfaces.忘恩负义的人 发表于 2025-3-31 14:53:21
Hardware Redundant Vital Computers — Demonstration of Safety on the Basis of Current Standardslfil the standard’s requirement. This paper analysis whether the standard’s requirement is consistent with the safety target or not, and whether the measure is suitable to meet the requirement. Alternative requirements and measures are recommended.灰姑娘 发表于 2025-3-31 20:29:41
Extendable Ground-to-Air Communication Architecture for CoDySatem. This paper presents further development of the CoDySa principles, namely ground-to-air communication architecture. Possibilities to upload safety-enhancing software components (.) are discussed together with scenarios of their use.Efflorescent 发表于 2025-3-31 22:09:52
http://reply.papertrans.cn/24/2338/233715/233715_60.png