NDLI: Talk : An Eclipse-based Debugger for Embedded Systems Software

Please wait, while we are loading the content...

Talk : An Eclipse-based Debugger for Embedded Systems Software

Content Provider	Semantic Scholar
Author	Scherer, Jan
Copyright Year	2010
Abstract	The identification of software failures in embedded systems software has been recognized as tremendously important activity due to the fatal consequences caused by erroneous software. The focus of this talk addresses debugging as technique for the localization and correction of failure causes. I will discuss different approaches for embedded systems debugging and in the following introduce the embedded systems debugger that has been developed in the context of this diploma thesis. The ESD debugger does not only provide support for standard execution control capabilities such as breakpoints and single-stepping, but more importantly also supports reverse execution. Allowing to run execution backwards to previous moments in time is a very powerful concept and helps to localize defects with more comfort and less time. While debugging allows to reason about known failures it provides no support to guarantee system correctness. Model Checking on the other hand is a formal verification technique that allows to prove system correctness, however, existing model checkers usually provide insufficient support for counterexample analysis. The ESD debugger creates synergies between both techniques and allows to analyse model checking counterexamples. The talk is concluded by a tool demonstration that presents the capabilities of the ESD debugger in more detail.
File Format	PDF HTM / HTML
Alternate Webpage(s)	http://fmt.cs.utwente.nl/files/sprojects/22.pdf
Language	English
Access Restriction	Open
Content Type	Text
Resource Type	Article

Central Library (ISO-9001:2015 Certified)
Indian Institute of Technology Kharagpur
Kharagpur, West Bengal, India | PIN - 721302

See location in the Map
03222 282435
Mail: support@ndl.gov.in

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in