Credible Autocoding and Verification of Embedded Software (CrAVES)

Download
pdf

Abstract:

The CrAVES project seeks to lay down intellectual foundations for credible autocoding of embedded systems, by which model-level control system specifications that satisfy given open-loop and closed-loop properties are automatically transformed into source code guaranteed to satisfy the same properties. The goal is that the correctness of these codes can be easily and independently verified by dedicated proof checking systems.

  • Carnegie Mellon University
  • crediable compilation
  • France
  • Georgia Institute of Technology
  • INP ENSEEIHT
  • model checking
  • ONERA
  • safety verification
  • Embedded Software
  • Control
  • Modeling
  • Validation and Verification
  • CPS Technologies
  • Foundations
  • Aerospace
  • CPS Domains
  • Defense
  • Platforms
  • National CPS PI Meeting 2015
  • 2015
  • Abstract
  • Poster
  • Academia
  • Countries
  • United States of America
  • 2015 CPS PI MTG Videos, Posters, and Abstracts
Submitted by Temesghen Kahs… on