Formal System Verification for Trustworthy Embedded Systems

Abstract

This report summarizes the work done in AOARD project 094160, Formal System Verification for Trustworthy Embedded Systems. It begins by revisiting the original motivation and work plan, continues with a brief high-level summary of the project outcomes, and ends with four publications that describe the background and outcomes in depth.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Apr 19, 2011
Accession Number
ADA541318

Entities

People

  • Gerwin Klein
  • June Andronick

Organizations

  • University of New South Wales

Tags

Communities of Interest

  • Cyber

DTIC Thesaurus Topics

  • Air Force Research Laboratories
  • Case Studies
  • Communication Channels
  • Computer Access Control
  • Computer Programming
  • Computer Programs
  • Computer Science
  • Computers
  • Debugging
  • Device Drivers
  • Embedded Systems
  • Kernels (Operating System)
  • Language
  • Operating Systems
  • Programming Languages
  • Prototypes
  • Verification

Readers

  • Agent-Based Social Robotics and Mobile-Assisted Learning in Virtual Environments.
  • Computational Modeling and Simulation
  • Technical Research and Report Writing.