<pre>As society′s dependence on complex software systems increases, so does<br>the need for methods and tools that ensure resilience to faults, errors and<br>malicious attacks. Modern open and distributed architectures are able to<br>adapt to harmful events. However, the engineering of systems that exploit<br>flexibility while remaining predictable is a challenge that demands<br>attention from scientists and engineers across domains. The SERENE 2010<br>Workshop provides a forum for researchers and practitioners to exchange<br>reports on advances in all areas relevant to this challenge, including,<br>but not limited to:<br>– Modelling of resilience properties: formal & semi–formal techniques<br>– Requirements, software engineering & re–engineering for resilience<br>– Verification and validation of resilient systems<br>– Resilience prediction and experimental measurement<br>– Error, fault and exception handling in the software life–cycle<br>– Frameworks, patterns and software architectures for resilience<br>– Resilience at run–time: metadata, mechanisms, reasoning and adaptation<br>– Engineering of self–healing autonomic systems<br>– CASE tools for developing resilient systems<br></pre>
Abbrevation
SERENE
City
Birbeck College
Country
UK
Deadline Paper
Start Date
End Date
Abstract