Algorithms and Tools for the Automatic Analysis of Embedded Systems.

Abstract

Over the past year, we developed and implemented new and improved formalisms and algorithms for the timing analysis and the analysis of environment interactions of embedded systems. Highlights include the first model-checking algorithm for timing constraints that is both on-the-fly and space-optimal; an extension of the formalism of timed and hybrid automata that enables modular design, specification, and analysis of embedded systems; an algorithm for the automatic synthesis of sampling controllers for continuous-time plants; and the automatic analysis of the steam-boiler benchmark case study with our model checker HyTech.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Jun 30, 1997
Accession Number
ADA326828

Entities

People

  • T. A. Henzinger

Organizations

  • University of California, Berkeley

Tags

DTIC Thesaurus Topics

  • Algorithms
  • Automata
  • Automatic
  • Case Studies
  • Classification
  • Complex Systems
  • Computer Science
  • Computers
  • Embedded Systems
  • Hybrid Systems
  • Linear Systems
  • Military Research
  • Nonlinear Systems
  • Specifications
  • Standards
  • Theoretical Computer Science
  • Verification

Fields of Study

  • Computer science
  • Engineering

Readers

  • Adaptive Control and Estimation with Uncertainty in Dynamic Systems.
  • Database Systems and Applications
  • Mathematical Modeling and Probability Theory.

Technology Areas

  • Space
  • Space - Spacecraft Maneuvers