AUTOMATED DEBUGGING AND FAULT LOCALIZATION OF MATLAB/SIMULINK MODELS

Liu, Bing

Reference : AUTOMATED DEBUGGING AND FAULT LOCALIZATION OF MATLAB/SIMULINK MODELS


	Document type :	Dissertations and theses : Doctoral thesis
	Discipline(s) :	Engineering, computing & technology : Computer science Engineering, computing & technology : Electrical & electronics engineering
	Focus Areas :	Computational Sciences
	To cite this reference:	http://hdl.handle.net/10993/31979

Title :	AUTOMATED DEBUGGING AND FAULT LOCALIZATION OF MATLAB/SIMULINK MODELS
Language :	English
Author, co-author :	Liu, Bing [University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT) > >]
Publication date :	Jul-2017
Institution :	University of Luxembourg, Luxembourg
Name of the degree :	Docteur en Informatique
Supervisor :	Briand, Lionel
	Nejati, Shiva
President of the jury :	Klein, Jacques
Member of the jury :	Pastore, Fabrizio
	Trapp, Mario
	Di Penta, Massimiliano
Abstract :	[en] Matlab/Simulink is an advanced environment for modeling and simulating multidomain dynamic systems. It has been widely used to model advanced Cyber-Physical Systems, e.g. in the automotive or avionics industry. To ensure the reliability of Simulink models (i.e., ensuring that they are free of faults), these models are subject to extensive testing to verify the logic and behavior of software modules developed in the models. Due to the complex structure of Simulink models, finding root causes of failures (i.e., faults) is an expensive and time-consuming task. Therefore, there is a high demand for automatic fault localization techniques that can help en- gineers to locate faults in Simulink models with less human intervention. This demand leads to the proposal and development of various approaches and techniques that are able to automatically locate faults in Simulink models. Fault localization has been an active research area that focuses on developing automated tech- niques to support software debugging. Although there have been many techniques proposed to localize faults in programs, there has not been much research on fault localization for Simulink models. In this dissertation, we investigate and develop a lightweight fault localization approach to automatically and accurately locate faults in Simulink models. To enhance the usability of our approach, we also develop a stand-alone desktop application that provides engineers with a usable interface to facilitate localization of faults in their models.
Research centres :	Interdisciplinary Centre for Security, Reliability and Trust (SnT) > Software Verification and Validation Lab (SVV Lab)
Funders :	Fonds National de la Recherche - FnR
Permalink :	http://hdl.handle.net/10993/31979
FnR project :	FnR ; FNR8003491 > Bing Liu > AUTODEBUGSLM > Automated Debugging And Fault Localization Of Matlab/Simulink Models > 01/03/2014 > 14/07/2017 > 2014

File(s) associated to this reference

Fulltext file(s):

	File	Commentary	Version	Size	Access
Open access	Bing_PhD_Thesis.pdf		Author postprint	4.54 MB	View/Open

All documents in ORBi^lu are protected by a user license.

University of Luxembourg Library | Feedback | Legal notices