Files:DescriptionFile size FormatBrowse
Fulltext0.10 MBPDF (requires Acrobat Reader)Previous
  
Authors:Anton Sodja: Fakulteta za elektrotehniko, Univerza v Ljubljani, Slovenia
Borut Zupancic: Fakulteta za elektrotehniko, Univerza v Ljubljani, Slovenia
Publication title:Model verification and debugging of EOO models aided by model reduction techniques (Work in Progress Paper)
Conference:3rd International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools; Oslo; Norway; October 3
Publication type: Abstract and Fulltext
Issue:047
Article No.:013
Abstract:Equation-based object-oriented modeling approach significantly reduced effort needed for model implementation by releasing modeler of performing many error-prone tasks. An increasingly more complex models can be built; preferably from components of different model libraries. However; complexity of the models complicate the process of verification – assuring that the model was implemented correctly and behaves as expected – and possible subsequent debugging. A cause of error in a model with over 1000 different equations can be often hard to find by the deskchecking method. This requires the development of new modeling environment tools for model understanding and automated discovery of the fault causes.

The difficulty of designing such tools in EOO modeling environments is linked to the difficulty of mapping simulation form to the model sources. Furthermore; debugging of complex models consisting of over thousand equations by traversing each equation may be very ineffective; especially when the fault has multiple and not very evident causes.

A model reduction methods is proposed and discussed as a method of verification. With model reduction methods it is possible to identify the most important parts of the model which have contributed to the specific model behavior. Because model reduction can be performed on original model representation; the difficulty of mapping simulation form back to model source is avoided.

Language:English
Keywords:verification; debugging of EOO models; verification by model reduction
Year:2010
No. of pages:4
Pages:117-120
ISBN:978-91-7519-824-8
Series:Linköping Electronic Conference Proceedings
ISSN (print):1650-3686
ISSN (online):1650-3740
File:http://www.ep.liu.se/ecp/047/013/ecp4710013.pdf
Available:2010-09-21
Publisher:Linköping University Electronic Press; Linköpings universitet

REFERENCE TO THIS PAGE
Anton Sodja, Borut Zupancic (2010). Model verification and debugging of EOO models aided by model reduction techniques (Work in Progress Paper), 3rd International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools; Oslo; Norway; October 3 http://www.ep.liu.se/ecp_article/index.en.aspx?issue=047;article=013 (accessed 12/19/2014)