Credible Autocoding and Verification of Embedded Software (CrAVES)

Download

Abstract:

Today, the assembly of safety-critical software involves many distinct agents, including control engineers and software engineers. Due in part to the existing regulatory framework, little, if any, semantic information is passed from control engineers (who specify the real-time software) to software engineers (who implement the specifications). As a result, high-level, system-wide information is lost at the time of software assembly, and only during system validation do software specification and semantics re-appear.

  • Aerospace
  • CPS Domains
  • Embedded Software
  • Control
  • Defense
  • Modeling
  • Validation and Verification
  • CPS Technologies
  • Foundations
  • Platforms
  • National CPS PI Meeting 2013
  • 2013
  • Poster
  • Academia
  • CPS PI Poster Session
Submitted by Eric Feron on