Spectra: A Specification Language for Reactive Systems
This work addresses the problem of specifying reactive systems for engineers, but it appears incremental as it builds on existing reactive synthesis concepts.
The authors introduced Spectra, a new specification language for reactive systems tailored for reactive synthesis, and developed the Spectra Tools, a set of analyses including a synthesizer for correct-by-construction implementations and tools to aid engineers in writing higher-quality specifications.
Spectra is a new specification language for reactive systems, specifically tailored for the context of reactive synthesis. The meaning of Spectra is defined by a translation to a kernel language. Spectra comes with the Spectra Tools, a set of analyses, including a synthesizer to obtain a correct-by-construction implementation, several means for executing the resulting controller, and additional analyses aimed at helping engineers write higher-quality specifications. We present the language and give an overview of the tool set.