Encoding Verification Arguments to Analyze High-Level Design Certification Claims: Experiment Zero (E0)

Abstract

The ASERT (Assurance Evidence for Continuously-Evolving Real-Time Systems) workgroup(ASERTW) has been investigating alternative technologies and techniques to automate certification.ASERTWs first step was captured in a report that identifies the state of the practice and future challenges, especially the need to speed up the pace of updates to cyber-physical systems (CPSs)[ASERTW 2022].

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Jan 01, 2024
Accession Number
AD1225130

Entities

People

  • Björn Andersson
  • Daniel Mark Shapiro
  • David F Tate
  • Dionisio de Niz
  • Douglass C. Schmidt
  • Floyd Fazi
  • George Romanski
  • Gordon Putsche
  • Hyoseung Kim
  • John Lehoczky
  • Jonathan Preston
  • Mark Klein
  • Ron Koontz

Organizations

  • Carnegie Mellon University

Tags

Fields of Study

  • Computer science

Readers

  • Cybersecurity.
  • Team-Based Human-Centered Cognitive Task Decision Making and Information Performance.

Technology Areas

  • Cyber