STARS (STatic Analysis of Reactive Systems)

Felice Balarin


STARS (STatic Analysis of Reactive Systems) is a methodology for worst-case analysis of systems with discrete observable signals}. The methodology can be used to verify different properties of systems, such as power consumption, timing performance, or resource utilization. It consists of three main phases:

  • choosing an abstract representation of signals
  • building abstractions of system component
  • analyzing abstractions and interpreting results.
In this talk I will review theoretical foundations of STARS, describe how it can be integrated with a simulation, and propose automatic generation of abstractions for a class of systems.

©2002-2018 U.C. Regents