Details

Autor(en) / Beteiligte

• Markert, E.
• Pross, U.
• Heinkel, U.

Titel

SpecScribe Analog - A specification tool extension for heterogeneous systems

Ist Teil von

• 2008 Forum on Specification, Verification and Design Languages, 2008, p.243-244

Ort / Verlag

IEEE

Erscheinungsjahr

2008

Quelle

IEEE Xplore

Beschreibungen/Notizen

• 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.