I am interested in the rigorous justification and development of safety-critical systems, covering the following topics:
- Safety Case Development
- Safety Argumentation – including argument assurance, argument reuse, argument maintenance
- Modular and Incremental Certification
- Dependability Cases – the generalisation of safety case concepts to other attributes of dependability, including multi-attribute trade-offs
- Safety and Certification of Autonomous and Adaptive Systems
- Safety Certification of Systems of Systems – including operational safety policy, and use of simulation in hazard analysis
- Software Safety Justification – in particular evidence-based and pattern-oriented approaches
- Software Architecture Design for Safety
- Safety of Software Product-Lines
- Safety Requirements Engineering
- Failure Logic Modelling
For past papers I have published on these topics see my Publications page.
