TY - GEN
T1 - Towards a generic verification methodology for system models
AU - Wille, Robert
AU - Gogolla, Martin
AU - Soeken, Mathias
AU - Kuhlmann, Mirco
AU - Drechsler, Rolf
PY - 2013
Y1 - 2013
N2 - The use of modeling languages such as UML or SysML enables to formally specify and verify the behavior of digital systems already in the absence of a specific implementation. However, for each modeling method and verification task usually a separate verification solution has to be applied today. In this paper, a methodology is envisioned that aims at stopping this "inflation" of different verification approaches and instead employs a generic methodology. For this purpose, a given specification as well as the verification shall be transformed into a basic model which itself is specified by means of a generic modeling language. Then, a range of automatic reasoning engines shall uniformly be applied to perform the actual verification. A feasibility study demonstrates the applicability of the envisioned approach.
AB - The use of modeling languages such as UML or SysML enables to formally specify and verify the behavior of digital systems already in the absence of a specific implementation. However, for each modeling method and verification task usually a separate verification solution has to be applied today. In this paper, a methodology is envisioned that aims at stopping this "inflation" of different verification approaches and instead employs a generic methodology. For this purpose, a given specification as well as the verification shall be transformed into a basic model which itself is specified by means of a generic modeling language. Then, a range of automatic reasoning engines shall uniformly be applied to perform the actual verification. A feasibility study demonstrates the applicability of the envisioned approach.
UR - http://www.scopus.com/inward/record.url?scp=84885602725&partnerID=8YFLogxK
U2 - 10.7873/date.2013.248
DO - 10.7873/date.2013.248
M3 - Conference contribution
AN - SCOPUS:84885602725
SN - 9783981537000
T3 - Proceedings -Design, Automation and Test in Europe, DATE
SP - 1193
EP - 1196
BT - Proceedings - Design, Automation and Test in Europe, DATE 2013
PB - Institute of Electrical and Electronics Engineers Inc.
T2 - 16th Design, Automation and Test in Europe Conference and Exhibition, DATE 2013
Y2 - 18 March 2013 through 22 March 2013
ER -