Skip to:

  • Skip to main content
  • Skip to accessibility
City, University of London
  • Student Hub
  • Staff Hub
Search
Menu
Home
  • Prospective students
    • Courses
      • Undergraduate degrees
      • Apprenticeships
      • Foundation courses
      • Postgraduate taught degrees
      • Postgraduate research degrees
      • Short courses
      • Professional development courses
      • City Health courses
    • Apply
      • Entry requirements
      • How to apply
        • Undergraduate
        • Apprenticeship
        • Information for teachers
        • Postgraduate taught
        • Postgraduate research
          • Preparing your application
            • Preparing your research proposal
          • All PhD research projects
        • Booking Short Courses
          • Business and Management Short Courses
          • Computing Short Courses
          • Creative Industry Short Courses
          • Creative Writing Short Courses
            • The Novel Studio published alumni
          • Law Short Courses
          • Modern Languages Short Courses
      • Prospectus
        • Undergraduate
        • Postgraduate
      • Visas
        • Student visas
          • Applying from outside the UK
          • Applying from within the UK
          • Applying for a dependant visa
          • Preparing your application
          • Working in the UK
        • Standard Visitor visas
          • How to apply for a Standard Visitor Visa
          • Non-visa nationals
        • ATAS certificates
        • Brexit and European nationals
      • Study abroad programmes
        • Study abroad programme
        • Partnership programme
      • Clearing
        • Applying through Clearing
      • Alternative entry routes
        • Foundation programmes
        • Second-year students
        • Work experience
      • Contact Admissions
    • Finance
      • Funding options
      • Earn while you learn
      • How to pay
        • Payment methods
        • Fee schedules
        • Deposit refunds
      • Additional expenses
    • Accommodation and housing
      • Compare residential halls
      • Applying for halls
        • Undergraduate
        • Postgraduate
        • Clearing
      • Paying for halls
      • Private accommodation
        • Finding a place to live
        • Accommodation for families
      • Short-term accommodation
    • Open events and fairs
      • Campus tours
      • Online chats
        • Undergraduate online events
        • Postgraduate online events
        • Ask a student
      • University fairs
    • Student life
      • London experience
      • Local area
      • Sports
        • Sport clubs
        • Non-competitive sport
        • Competitive sport
      • Social activities and groups
      • Religion
      • Lesbian, gay, bisexual, transgender and queer plus
      • Volunteering
      • Student wellbeing
        • Mental health counselling
        • Learning support
        • Young, estranged students
        • Care leavers
        • Young adult carers
        • Personal tutoring programme
      • Learn another language
    • Career development
      • Placements, internships and employment opportunities
        • Micro-placements
      • Career pathways
      • Job prospects and graduate destinations
      • Careers team
    • Subjects
  • Research
    • Research centres and groups
    • Research impact
      • Research Excellence Framework
      • Research case studies
    • Research strategy
    • Research support
      • Grants and funding
      • Integrity and ethics
        • Research ethics
          • Principles
          • Approval process
          • Approval outcomes and appeals
          • External ethics approvals
        • Ethics guidance and resources
          • Participant information and consent
          • Recruiting participants from City
          • Records management
          • Research conducted abroad
          • FAQ
        • Research integrity
          • Framework for good practice in research
          • Research misconduct
      • Research data
        • Managing active research data
        • Digital research data and Figshare
      • Researcher development
    • Doctoral College
      • Funding and scholarships
      • Essential information
      • Meet the Team
      • Training and Development
        • Researcher Development Programme (DRDP)
      • Research Supervisors
  • For businesses
    • Start your business
      • Develop your startup idea
        • One-to-one startup advice
        • The Good Entrepreneur Festival
        • Startup Camp
        • Startup Seminars
        • Side Hustle
        • CitySpark Workshops
      • Launch your startup
        • Start-up visa
        • Launch Lab
    • Grow your business
      • Fund your business
      • Hire an academic consultant
      • Purchase our intellectual property
      • Companies formed
    • Develop your people
      • Bespoke training
      • My Home Life England
      • Degree apprenticeships for business
        • What is the apprenticeship levy?
    • Business impact case studies
    • Access our student talent
      • Recruit with us
      • Meet and support our students
        • Become a mentor
        • Employer engagement events
        • Micro-Placements
        • Industry Led Projects
      • Information for placement partners
        • Speech and Language Therapy training
  • Alumni and supporters
    • Alumni benefits
    • Global alumni network
      • Networks and Groups
        • City Alumni LinkedIn groups
        • MENA Alumni Board
        • US Alumni Board
      • Alumni Ambassadors
      • Special Interest Groups
      • Alumni News and stories
      • Alumni Events
    • Contact Alumni Relations
    • Support City
      • Donate to City
      • Volunteering
      • Your impact
  • News and events
    • News
    • Events
    • Social media directory
      • City social accounts
        • WeChat social accounts
      • School and Departmental accounts
  • About us
    • Schools and Departments
      • School of Policy & Global Affairs
        • About the School
          • Athena Swan
        • Department of Economics
        • Department of International Politics
        • Department of Sociology and Criminology
          • Postgraduate Sociology at City
      • School of Communication & Creativity
        • About the School
          • Athena Swan
          • Creatives in Residence
        • Department of Journalism
          • James Cameron Memorial Lecture
            • Lectures
            • Special awards
            • Winners
        • Department of Media, Culture and Creative Industries
          • English, Publishing and Creative Writing
          • Culture and the Creative Industries
          • Library and Information Science
          • Media and Communications
        • Department of Performing Arts
        • The Centre for Language Studies
      • Bayes Business School
      • School of Health & Psychological Sciences
        • About the School
          • Athena SWAN
          • Selection Process
          • Occupational Health Checks
          • Disclosure and Barring Service (DBS) enhanced check (formerly CRB)
          • MSc Nursing - RPL
          • Reference request
        • Department of Health Services Research and Management
          • Health Services Management at City
        • Department of Language and Communication Science
        • Department of Midwifery and Radiography
          • Radiography undergraduate learning contract
          • Postgraduate Midwifery at City
          • Radiography at City
        • Department of Nursing
        • Department of Optometry and Visual Sciences
        • Department of Psychology
      • School of Science & Technology
        • About the School
          • Athena SWAN
          • Aviation Management at City
          • Civil Engineering at City
          • Computer Science at City
          • Cyber Security MSc courses at City
          • Energy MSc courses at City
          • Library and Information Science at City
          • Maritime Management at City
          • Placements and internships
            • Placement and internship schemes
        • Department of Computer Science
        • Department of Mathematics
          • Potential PhD projects
        • Department of Engineering
      • The City Law School
        • Academic programmes
          • Undergraduate degree LLB
          • Graduate Entry Law GE LLB
          • Graduate Diploma in Law GDL
          • Master of Laws (LLM)
        • Professional programmes
        • Research and Scholarships
        • Athena Swan in The City Law School
        • Equality, Diversity and Inclusion at The City Law School
        • Barrister training
          • Bar Training
          • Pupillage Advice Service
        • Solicitor training
          • Future Solicitors Careers Advice Service (FSCAS)
          • The Solicitors' Qualifying Exam (SQE)
        • Law in real life (Law IRL)
          • Legal work placements
          • Court visits
          • Mock Trials
        • About The School
          • Prizes from The City Law School
          • Global Engagement
      • Dubai Centre
    • History
    • People
      • Academics
      • Research students
      • Students
      • Honorary graduates
      • Past students
      • Professional Services staff
      • International agents and representatives
      • Senior people
      • Extraordinary women
    • Facilities
      • Campuses
      • Libraries
      • Gym
      • University of London facilities
      • Specialist facilities
    • Work for us
      • Apply
      • Benefits
      • Career development
    • Vision and Strategy
      • Academic excellence
        • Rankings
        • Education
          • Flexible learning spaces
          • Active and collaborative learning
          • Term dates
        • Student statistics
      • Equality, diversity and inclusion
        • Equality, Diversity and Inclusion Strategy
        • Data and objectives
        • Staff networks
        • Digital Accessibility
      • Sustainable development
        • Get involved
        • Environmental Impact and Performance
      • Civic engagement
      • Social responsibility
        • Social responsibility in our outreach
        • Social responsibility in action
    • Governance and legal
      • Charter and Statutes
      • Rector
      • Council
        • Audit and Risk Committee
        • Corporate Governance and Nominations Committee
        • Remuneration Committee
        • Strategy and Finance Committee
        • Development Committee
      • Senate
        • Board of Studies
        • Collaborative Provision Committee
        • Educational Quality Committee
        • Research and Enterprise Committee
        • Senate Research Ethics Committee
      • Executive leadership
      • Financial statements
        • Financial Summary
      • Legal documents and policies
      • Committees
    • Global City
    • Contact us and find us
      • Find us
      • Contact us
      • Staff directory
    • Guidance on Coronavirus
      • Admissions advice during coronavirus
        • Coronavirus accommodation information
      • Latest updates
      • Advice for visitors to our campus
  • Student Hub
  • Staff Hub
  • Prospective students
    Prospective students
    • Courses
      • Undergraduate degrees
      • Apprenticeships
      • Foundation courses
      • Postgraduate taught degrees
      • Postgraduate research degrees
      • Short courses
      • Professional development courses
      • City Health courses
    • Apply
      • Entry requirements
      • How to apply
      • Prospectus
      • Visas
      • Study abroad programmes
      • Clearing
      • Alternative entry routes
      • Contact Admissions
    • Finance
      • Funding options
      • Earn while you learn
      • How to pay
      • Additional expenses
    • Accommodation and housing
      • Compare residential halls
      • Applying for halls
      • Paying for halls
      • Private accommodation
      • Short-term accommodation
    • Open events and fairs
      • Campus tours
      • Online chats
      • University fairs
    • Student life
      • London experience
      • Local area
      • Sports
      • Social activities and groups
      • Religion
      • Lesbian, gay, bisexual, transgender and queer plus
      • Volunteering
      • Student wellbeing
      • Learn another language
    • Career development
      • Placements, internships and employment opportunities
      • Career pathways
      • Job prospects and graduate destinations
      • Careers team
    • Subjects
  • Research
    Research
    • Research centres and groups
    • Research impact
      • Research Excellence Framework
      • Research case studies
    • Research strategy
    • Research support
      • Grants and funding
      • Integrity and ethics
      • Research data
      • Researcher development
    • Doctoral College
      • Funding and scholarships
      • Essential information
      • Meet the Team
      • Training and Development
      • Research Supervisors
  • For businesses
    For businesses
    • Start your business
      • Develop your startup idea
      • Launch your startup
    • Grow your business
      • Fund your business
      • Hire an academic consultant
      • Purchase our intellectual property
      • Companies formed
    • Develop your people
      • Bespoke training
      • My Home Life England
      • Degree apprenticeships for business
    • Business impact case studies
    • Access our student talent
      • Recruit with us
      • Meet and support our students
      • Information for placement partners
  • Alumni and supporters
    Alumni and supporters
    • Alumni benefits
    • Global alumni network
      • Networks and Groups
      • Alumni Ambassadors
      • Special Interest Groups
      • Alumni News and stories
      • Alumni Events
    • Contact Alumni Relations
    • Support City
      • Donate to City
      • Volunteering
      • Your impact
  • News and events
    News and events
    • News
    • Events
    • Social media directory
      • City social accounts
      • School and Departmental accounts
  • About us
    About us
    • Schools and Departments
      • School of Policy & Global Affairs
      • School of Communication & Creativity
      • Bayes Business School
      • School of Health & Psychological Sciences
      • School of Science & Technology
      • The City Law School
      • Dubai Centre
    • History
    • People
      • Academics
      • Research students
      • Students
      • Honorary graduates
      • Past students
      • Professional Services staff
      • International agents and representatives
      • Senior people
      • Extraordinary women
    • Facilities
      • Campuses
      • Libraries
      • Gym
      • University of London facilities
      • Specialist facilities
    • Work for us
      • Apply
      • Benefits
      • Career development
    • Vision and Strategy
      • Academic excellence
      • Equality, diversity and inclusion
      • Sustainable development
      • Civic engagement
      • Social responsibility
    • Governance and legal
      • Charter and Statutes
      • Rector
      • Council
      • Senate
      • Executive leadership
      • Financial statements
      • Legal documents and policies
      • Committees
    • Global City
    • Contact us and find us
      • Find us
      • Contact us
      • Staff directory
    • Guidance on Coronavirus
      • Admissions advice during coronavirus
      • Latest updates
      • Advice for visitors to our campus
  1. Home
  2. …
  3. Research impact
  4. Research case studies
  5. Assurance cases which police risk are resulting in safer, more stable computer systems
Research impact
  • Research Excellence Framework
  • Research case studies
Woman's hands typing on a laptop keyboard with a digital overlay representing a security layer with lock icons.
Research case study

Assurance cases which police risk are resulting in safer, more stable computer systems

City, University of London academics research on the value of ‘claim-argument evidence’ is protecting and preserving levels of risk in the UK and worldwide.

The researchers:

  • Dr Peter Popov (Principal Investigator)
  • Professor Robin Bloomfield (Principal Investigator)
  • Dr Andrey Povyakalo (Co-Investigator)
  • Dr David Wright (Co-Investigator)
  • Dr Katerina Netkachova (Co-Investigator)
  • Dr Kizito Salako (Co-Investigator)
  • Dr Vladimir Stankovic (Co-Investigator)
  • Professor Bev Littlewood (Co-Investigator)
  • Professor Lorenzo Strigini (Co-Investigator)
  • Professor Peter Bishop (Co-Investigator)

Research status:Completed

In summary

Research by academics at City, University of London is ensuring better practice and improved safeguarding in the likelihood of a critical computer-based systems failure.

The academics demonstrate that the risk posed by a computer-based system of different complexity – from simple protection system to large distributed critical infrastructure – is at an acceptably low level applying the ‘claim-argument evidence’ (CAE) method.

This method requires explicit arguments linking evidence to the claims made about the likes of safety and security, encouraging rigour and the use of analytical probabilistic models.

This method has been widely adopted by industry and regulators in the UK and worldwide, including from railway, energy, and autonomous vehicle industries.

What did we explore and how?

Developed over the course of several decades, this research is about a specific form of ‘assurance cases’, which demonstrate that the risk posed by critical systems are acceptably low using CAE recently extended with CAE blocks. Modern CAE-facilitated assurance cases rely not only on expert judgement, but also on the rigour of models suitable for quantitative risk assessment.

Using probabilistic models has long been advocated as a way of making assurance cases stronger. Recent advances demonstrated that models are particularly important for computer-based systems of significant complexity when relying on expert judgment is problematic and in the presence of significant uncertainty, e.g., as is typically the case with cyber-threats.

Additionally, there have been extensions to assurance cases to deal with cyber-security and with security-safety ‘co-engineering’, supported by models of industrial automation, power grids and medical devices, and addressing the assurance gaps in critical applications of machine learning and artificial intelligence.

The team developed sophisticated software tools to support the application of probabilistic modelling, especially in the case of large, complex systems, and worked on quantifying system's resilience against design faults and cyber-threats.

Benefits and influence of this research

The impact of the research by City academics can be found in its widespread adoption by industry and regulators in the UK and worldwide.

It has:

  1. reduced the risk of harm from malfunctioning or intentional sabotage of critical systems (e.g., nuclear, transportation, power supply, defence) through applying evidence-based arguments
  2. improved confidence in assurance
  3. improved understanding of risks in future widely deployed critical systems.

In an era of machine learning (ML) and artificial intelligence (AI) this research is badly needed and can result in significant savings not only in research and development but also in preventing losses in industrial deployments relying on ML and AI.

The CAE Blocks framework has also become a core part of the IAEA Software Dependability Assessment guidelines, affecting nuclear safety worldwide, and earned support from the Centre for the Protection of National Infrastructure (CPNI). CAE has been used to assess the safety of industrial systems and to develop codes of practice for security informed safety, including for the rail industry and for air traffic management for the Civil Aviation Authority.

Impact was also achieved from partnerships with: Radiy, a major supplier of equipment to commerce and industry, with more than 70 installations worldwide including safety protection systems for nuclear plants;

The Royal Academy of Engineering published a recent report which was informed by the work conducted by the City team.

Additionally, there have been extensions of the CAE method to security and to security-safety “co-engineering”, which rely extensively on probabilistic models, in industrial automation, power grids and medical devices.

Share this case study

Details of this research

  • Dr Peter Popov (Principal Investigator)
  • Professor Robin Bloomfield (Principal Investigator)
  • Dr Andrey Povyakalo (Co-Investigator)
  • Dr David Wright (Co-Investigator)
  • Dr Katerina Netkachova (Co-Investigator)
  • Dr Kizito Salako (Co-Investigator)
  • Dr Vladimir Stankovic (Co-Investigator)
  • Professor Bev Littlewood (Co-Investigator)
  • Professor Lorenzo Strigini (Co-Investigator)
  • Professor Peter Bishop (Co-Investigator)
  • Research status: Completed

    Topic: commerce, computer science, industry

    Industry/sector: Computer Science

    Project partners/stakeholders:

    School of Science & Technology

    Department of Computer Science

    What's happening

    • News

      Artur Garcez thumb

      Monday, 16th January 2023

      City academic participates in the Montreal.AI debate

      Professor Artur d’Avila Garcez is a featured speaker at the annual artificial intelligence debate hosted by Montreal.AI and New York University Professor Emeritus and AI expert Gary Marcus.

    • News

      Sergio Naval thumb

      Friday, 4th November 2022

      Sergio Naval Marimont takes top prize at world’s leading medical imaging conference

      The City PhD student wins the Medical Out-of-Distribution (MOOD) Analysis Challenge.

    Help us to improve this page

    City, University of London

    • Library Services
    • Moodle
    • Email
    • Staff directory
    • Term dates
    • Book a room
    • Schools and departments

    Back to top

    Contact us

    Make an enquiry

    • Twitter
    • Facebook
    • Instagram
    • LinkedIn
    • YouTube
    • Weibo
    • Youku
    • WeChat
    Social media directory

    Find us

    City, University of London
    Northampton Square
    London EC1V 0HB
    United Kingdom

    Campus map

    Our global campuses

    • London
    • Dubai
    • Athena SWAN: Bronze Award
    • UKRI Research England logo

    Useful links

    • Accessibility
    • Privacy policy
    • Cookies
    • City Store
    • Support City
    • Work for City
    • City Magazine
    • 中文

    © 2023 City, University of London

    University of London