NDLI: A taxonomy and catalog of runtime software-fault monitoring tools

Content Provider	IEEE Xplore Digital Library
Author	Delgado, N. Gates, A.Q. Roach, S.
Copyright Year	1976
Abstract	A goal of runtime software-fault monitoring is to observe software behavior to determine whether it complies with its intended behavior. Monitoring allows one to analyze and recover from detected faults, providing additional defense against catastrophic failure. Although runtime monitoring has been in use for over 30 years, there is renewed interest in its application to fault detection and recovery, largely because of the increasing complexity and ubiquitous nature of software systems. We present taxonomy that developers and researchers can use to analyze and differentiate recent developments in runtime software fault-monitoring approaches. The taxonomy categorizes the various runtime monitoring research by classifying the elements that are considered essential for building a monitoring system, i.e., the specification language used to define properties; the monitoring mechanism that oversees the program's execution; and the event handler that captures and communicates monitoring results. After describing the taxonomy, the paper presents the classification of the software-fault monitoring systems described in the literature.
Sponsorship	IEEE Computer Society Technical Council on Software Engineering Association for Computing Machinery (ACM) IEEE Computer Society
Starting Page	859
Ending Page	872
Page Count	14
File Size	1030016
File Format	PDF
ISSN	00985589
Volume Number	30
Issue Number	12
Language	English
Publisher	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Publisher Date	2004-12-01
Publisher Place	U.S.A.
Access Restriction	One Nation One Subscription (ONOS)
Rights Holder	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Subject Keyword	Taxonomy Runtime Condition monitoring Computerized monitoring Fault detection Application software Software systems Specification languages Software testing Computer Society software/program verification. Index Terms- Assertion checkers runtime monitors specification specification language survey
Content Type	Text
Resource Type	Article
Subject	Software

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

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, TSE-0209-1203 1 A Taxonomy and Catalog of Runtime Software- Fault Monitoring Tools

Comprehensive Monitoring of BPEL Processes

Self-Supervising BPEL Processes

Runtime Verification for LTL and TLTL

Automatic detection and masking of nonatomic exception handling

Contract-checking wrappers for C++ classes

Interfaces; d.2.4 [software engineering] software/program verification — assertion checkers, formal methods, programming by contract; d.3.2 [programming languages] language classifications — objectoriented (2010).

OVL, PSL, SVA: Assertion based verification using checkers and standard assertion languages

A study of the effectiveness of using formal specifications to create assertions.

A taxonomy and catalog of runtime software-fault monitoring tools

Similar Documents

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, TSE-0209-1203 1 A Taxonomy and Catalog of Runtime Software- Fault Monitoring Tools

Comprehensive Monitoring of BPEL Processes

Self-Supervising BPEL Processes

Runtime Verification for LTL and TLTL

Automatic detection and masking of nonatomic exception handling

Contract-checking wrappers for C++ classes

Interfaces; d.2.4 [software engineering] software/program verification — assertion checkers, formal methods, programming by contract; d.3.2 [programming languages] language classifications — objectoriented (2010).

OVL, PSL, SVA: Assertion based verification using checkers and standard assertion languages

A study of the effectiveness of using formal specifications to create assertions.

A taxonomy and catalog of runtime software-fault monitoring tools