STARS (STatic Analysis of Reactive Systems)

Felice Balarin

Abstract

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.