Assurance Case Research Group

Assurance Cases

As cyber-physical systems become increasingly complex, regulators and third parties are looking for a means of assessing various properties of these systems, such as safety and security, under increasing time constraints. One possible method of accomplishing this goal considers the use of a concept called Assurance Cases. Assurance cases are really nothing more than structured arguments that rely on evidence to justify a claim. They are based on practices steeped in centuries of philosophical discussion and most commonly demonstrated in the practice of law. The mission of this group is to:

  • explore past and present work on developing assurance cases
  • develop new ideas and leverage technology to argue properties of cyber-physical systems
  • establish a body of knowledge on assurance case content, structure, and presentation

 

Topics:

  • Past and present work on developing assurance cases
  • Assurance case abstraction
  • Assurance case content
  • Assurance case structure
  • Assurance case presentation
  • Component assurance case
  • System assurance case
  •       Medical device System of systems assurance case
  •       Interoperable medical device assurance case
  •       Body Sensor Network device assurance case
  • Assurance case evolution
  • Safety assurance case
  • Security assurance case
  • Dependability assurance case
  • Legacy assurance case
  • COTS assurance case
  • Assurance case patterns
  • Claims
  • Arguments
  • Evidence
  • Confidence