BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Model-based Dependability Analysis  &amp\; System Architecture Opt
 imisation Using HiP-HOPS: - Prof. Yiannis Papadopoulos (University of Hull
 )
DTSTART:20130627T130000Z
DTEND:20130627T140000Z
UID:TALK45408@talks.cam.ac.uk
CONTACT:Rengarajan
DESCRIPTION:The increasing scale and complexity of safety critical systems
  pose significant challenges in the safety assessment of such systems whic
 h becomes increasingly more expensive\, error prone and difficult to compl
 ete.  To address these challenges\, the past fifteen years research has fo
 cused on automating the synthesis of predictive models of system failure f
 rom design representations. In one approach known as compositional safety 
 analysis\, system failure models such as fault trees and Failure Modes and
  Effects Analyses (FMEAs) are being constructed from the topology of a sys
 tem and component failure models using a process of composition.\n\nIn thi
 s seminar\, I focus on Hierarchically Performed Hazard Origin and Propagat
 ion Studies (HiP-HOPS) - one of the more advanced and well supported compo
 sitional safety analysis techniques. I discuss the principles that underpi
 n this technique and show how these principles have been effectively used 
 to deliver a number of scientific and practical contributions which includ
 e:\n\n-     Fast algorithms for automatic synthesis of Fault Trees and mul
 tiple failure mode FMEAs from design representations of a system.\n\n-    
  An extension to the Fault Tree notation and Fault Tree Analysis(FTA) tech
 nique that enable assessment of the effects of sequences of faults.\n\n-  
    A language for specification of inheritable and reusable component fail
 ure patterns.\n\n-     Pareto-envelope genetic algorithms that enable auto
 matic optimisation of system models in respect of dependability (i.e. safe
 ty\, reliability\, availability) and cost via application of automatic mod
 el transformations.\n\nI summarise those contributions and demonstrate app
 lication of HiP-HOPS on small examples discussing the strengths and limita
 tions of the method. HiP-HOPS offers less automation that formal safety an
 alyses techniques\, e.g. those using model-checking. However\, it is compu
 tationally less expensive\, not prone to combinatorial explosion\, scales 
 up and can be easily iterated throughout the design lifecycle. For the sam
 e reason\, it enables exhaustive assessment of combinations of failures an
 d design optimisation using  computationally greedy meta-heuristics.  I ou
 tline current work towards harmonisation and integration of HiP-HOPS with 
 EAST-ADL and AADL - two architecture description languages emerging in the
  Avionics and Automotive industries\, and conclude by pointing to future w
 ork.
LOCATION:Seminar room 2\, Institute for Manufacturing\, Cambridge
END:VEVENT
END:VCALENDAR