Title :
Tool-supported specification of a wind turbine
Author :
Markert, Erik ; Shende, Milind ; Horn, Thomas ; Wolf, Peter ; Heinkel, Ulrich
Author_Institution :
Dept. of Circuit & Syst. Design, Chemnitz Univ. of Technol., Chemnitz, Germany
Abstract :
Requirements management systems are a key technology to raise the efficiency of a design process. This paper presents the current opportunities of the tool SpecScribe in different physical domains to assist the development of a wind turbine health monitoring system. SpecScribe not only offers document organization but also direct design support by code generation and formal verification issues. This includes digital and analog problems which are transformed to FSM and hybrid automata. From these automata a SystemC-AMS model can be generated automatically. Furthermore a VHDL-AMS model is included in the specification as ”golden model”.
Keywords :
condition monitoring; formal verification; hardware description languages; power engineering computing; wind turbines; FSM; SpecScribe tool; SystemC-AMS model; VHDL-AMS model; analog problems; code generation; design process efficiency; digital problems; direct design support; formal verification; golden model; hybrid automata; management systems; tool-supported specification; wind turbine health monitoring system; Blades; Force; Mathematical model; Object oriented modeling; Rotors; Strain; Wind turbines; Modeling; Refining; Specification; SystemC-AMS; VHDL-AMS; Wind energy generation;
Conference_Titel :
Systems, Signals and Devices (SSD), 2012 9th International Multi-Conference on
Conference_Location :
Chemnitz
Print_ISBN :
978-1-4673-1590-6
Electronic_ISBN :
978-1-4673-1589-0
DOI :
10.1109/SSD.2012.6197978
