Foreshadow
发表于 2025-3-23 10:44:40
Arda Ahmet Ünsal,Görkem Sazara,Barış Aktemur,Hasan Sözer
沉默
发表于 2025-3-23 14:00:42
http://reply.papertrans.cn/88/8709/870853/870853_12.png
VEST
发表于 2025-3-23 22:01:06
Lecture Notes in Computer Sciencehttp://image.papertrans.cn/s/image/870853.jpg
易怒
发表于 2025-3-23 22:55:04
https://doi.org/10.1007/978-3-319-12241-0adaptive systems; dependability; evolution; failure modeling; formal modeling; monitoring; resilience; soft
crease
发表于 2025-3-24 05:34:40
978-3-319-12240-3The Editor(s) (if applicable) and The Author(s), under exclusive license to Springer Nature Switzerl
CHURL
发表于 2025-3-24 07:44:43
http://reply.papertrans.cn/88/8709/870853/870853_16.png
Ambiguous
发表于 2025-3-24 10:51:18
Conference proceedings 2014udapest, Hungary, in October 2014. The 11 revised technical papers presented together with one project paper and one invited talk were carefully reviewed and selected from 22 submissions. The papers are organized in topical sections on design of resilient systems; analysis of resilience; verification and validation; and monitoring.
独白
发表于 2025-3-24 16:56:47
Combined Error Propagation Analysis and Runtime Event Detection in Process-Driven Systemsandard tools. Finite domain constraint solving is used to evaluate system alternatives from a dependability point of view. The systematic generation of event detection rules for runtime diagnosis is also supported. A real life example from the banking domain is used to demonstrate the approach.
不能强迫我
发表于 2025-3-24 22:26:10
Formal Fault Tolerance Analysis of Algorithms for Redundant Systems in Early Design Stageso hardware faults in redundant designs by applying a model checker and fault injection modelling. The method is capable of automatically identifying all input and fault combinations that remain undetected by a voting system. This leads to a better understanding of algorithm-specific resilience characteristics.
兽皮
发表于 2025-3-25 01:02:10
On Applying FMEA to SOAs: A Proposal and Open Challengesto SOA environments. A preliminary technique named FMEA4SOA is proposed and a case study is used to illustrate its usage. This process raises many challenges that must be overcome for the FMEA4SOA to become usable and effective V&V in SOA environments. The paper discusses these challenges while proposing a research roadmap.