Titlebook: Software Engineering for Resilient Systems; 6th International Wo István Majzik,Marco Vieira Conference proceedings 2014 The Editor(s) (if a

Foreshadow

Arda Ahmet ünsal,G?rkem Sazara,Bar?? Aktemur,Hasan S?zer

沉默

VEST

Lecture Notes in Computer Sciencehttp://image.papertrans.cn/s/image/870853.jpg

易怒

https://doi.org/10.1007/978-3-319-12241-0adaptive systems; dependability; evolution; failure modeling; formal modeling; monitoring; resilience; soft

crease

978-3-319-12240-3The Editor(s) (if applicable) and The Author(s), under exclusive license to Springer Nature Switzerl

CHURL

Ambiguous

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.

獨(dú)白

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.

不能強(qiáng)迫我

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.

獸皮

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.