Accession Number:

ADA326828

Title:

Algorithms and Tools for the Automatic Analysis of Embedded Systems.

Descriptive Note:

Annual progress rept. 1 Jun 96-31 May 97,

Corporate Author:

CALIFORNIA UNIV BERKELEY

Personal Author(s):

• Henzinger, T. A.

Report Date:

1997-06-30

Pagination or Media Count:

7.0

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.

Descriptors:

• *ALGORITHMS
• *SYSTEMS ANALYSIS
• *COMPUTER PROGRAM VERIFICATION
• DIGITAL SYSTEMS
• AUTOMATION
• COMPUTER AIDED DESIGN
• TIME DEPENDENCE
• REAL TIME
• COMPUTER LOGIC
• HYBRID SYSTEMS
• AUTOMATA

Subject Categories:

• Computer Programming and Software

Distribution Statement:

APPROVED FOR PUBLIC RELEASE