E. Markert, M. Shende, T. Horn, P. Wolf and U. Heinkel
Tool-Supported Specification of a Wind Turbine
E. Markert, M. Shende, T. Horn, P. Wolf and U. Heinkel: Chair Circuit and Systems Design, Chemnitz University of Technology, Chemnitz, Germany, email: erik.markert@etit.tu-chemnitz.de.
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 ...
Get Communication, Signal Processing & Information Technology now with the O’Reilly learning platform.
O’Reilly members experience books, live events, courses curated by job role, and more from O’Reilly and nearly 200 top publishers.
