Change search
ReferencesLink to record
Permanent link

Direct link
Early Fault Detection in DSLs using SMT Solving and Automated Debugging
Eindhoven University of Technology, Eindhoven, The Netherlands.
Embedded Systems Innovation by TNO, Eindhoven, The Netherlands.
Halmstad University, School of Information Science, Computer and Electrical Engineering (IDE), Halmstad Embedded and Intelligent Systems Research (EIS), Centre for Research on Embedded Systems (CERES).ORCID iD: 0000-0002-4869-6794
2013 (English)In: Software Engineering and Formal Methods: 11th International Conference, SEFM 2013, Madrid, Spain, September 2013 Proceedings / [ed] Robert Hierons, Mercedes G. Merayo & Mario Bravetti, Berlin: Springer Berlin/Heidelberg, 2013, 182-196 p.Conference paper (Refereed)
Abstract [en]

In the context of Domain Specic Languages (DSLs), westudy ways to detect faults early in the software development cycle. Wepropose techniques that validate a wide range of properties, classiedinto basic and advanced. Basic validation includes syntax checking, reference checking and type checking. Advanced validation concerns domainspecic properties related to the semantics of the DSL. For verication,we mechanically translate the DSL instance and the advanced propertiesinto Satisability Modulo Theory (SMT) problems, and solve these problems using an SMT solver. For user feedback, we extend the vericationwith automated debugging, which pinpoints the causes of the violatedproperties and traces them back to the syntactic constructs of the DSL.We illustrate this integration of techniques using an industrial case oncollision prevention for medical imaging equipment.

Place, publisher, year, edition, pages
Berlin: Springer Berlin/Heidelberg, 2013. 182-196 p.
, Lecture Notes in Computer Science, ISSN 0302-9743 ; 8137
Keyword [en]
Early Fault Detection, Formal Verification, Domain Specific Language (DSL), Satisfiability Module Theories (SMT), Automated Debugging, Delta Debugging
National Category
Computer and Information Science
URN: urn:nbn:se:hh:diva-23496DOI: 10.1007/978-3-642-40561-7_13ISI: 000335436800013ScopusID: 2-s2.0-84885932542ISBN: 978-3-642-40560-0OAI: diva2:645868
11th International Conference on Software Engineering and Formal Methods, SEFM 2013, Madrid, Spain, 25 September 2013 through 27 September 2013
eLLIIT - The Linköping‐Lund Initiative on IT and Mobile Communications
Available from: 2013-09-05 Created: 2013-09-05 Last updated: 2014-11-19Bibliographically approved

Open Access in DiVA

fulltext(454 kB)138 downloads
File information
File name FULLTEXT01.pdfFile size 454 kBChecksum SHA-512
Type fulltextMimetype application/pdf

Other links

Publisher's full textScopus

Search in DiVA

By author/editor
Mousavi, Mohammad Reza
By organisation
Centre for Research on Embedded Systems (CERES)
Computer and Information Science

Search outside of DiVA

GoogleGoogle Scholar
Total: 138 downloads
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

Altmetric score

Total: 68 hits
ReferencesLink to record
Permanent link

Direct link