SpecScribe Analog - A specification tool extension for heterogeneous systems

This paper describes a tool extension named SpecScribe Analog for the specification-driven design of heterogeneous (analog and digital) systems. For SpecScribe a specification consists of atomic items called requirements which can be hierarchically organized. These requirements can be translated to a more implementation like description using components or FSMs. The extension broadens the tool for the usage of hybrid automata. It allows the export of this requirement and implementation description to common languages like SystemC(-AMS) or VHDL as well as to model checking languages like (hybrid-)SAL.