A Correct-By-Construction AADL Runtime, Proof of a Safety-Critical Middleware Using SPARK/Ada

Abstract

Viewgraphs/Briefing charts

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Mar 01, 2021
Accession Number
AD1133909

Entities

People

  • Jérôme Hugues

Organizations

  • Carnegie Mellon University

Tags

DTIC Thesaurus Topics

  • Computer Programming
  • Computer Programs
  • Construction
  • Demographic Cohorts
  • Department Of Defense
  • Embedded Systems
  • Engineering
  • Guarantees
  • Language
  • Materials
  • Middleware
  • Models
  • Prototypes
  • Scheduling (Production)
  • Simulations
  • Simulators
  • Software Design
  • Software Development
  • Standards
  • Universities

Fields of Study

  • Computer science