| 06.12.2007 | Oberseminar | | | A Verification Plan for Systematic Verification of Mechatronic Systems | | Abstrakt: Current development in HW/SW co-design aims at automated functional
verification methods for behavioural models. Massive, highly automated
simulation is being enabled by means of standardized verification
languages, like e, PSL, SystemVerilog, and corresponding tool support.
Textual specification of properties by means of a verification language,
however, is often difficult due to its complex syntax. Today, the
mechatronic systems domain (e.g. automotive systems) faces a similar
challenge regarding verification. First steps have been undertaken in
automation of functional verification of mechatronic models. However, no
standardized language or methodology has been established, yet. Recently,
the classification tree method for embedded systems CTM/ES was introduced
by Daimler for definition of functional tests. We present an extended
classification tree method based on HW/SW co-design functional
verification methods, which can be applied to a verification cycle for
mechatronic systems by supporting constraint-based stimulus specification,
accept criteria specification, and functional coverage specification. The
approach is illustrated by example of a suspension-tilt controller, which
was developed for a train carriage prototype. | |
