NDLI: The Quantitative Safety Assessment and Evaluation for Safety-Critical Computer Systems

Content Provider	ACM Digital Library
Author	Panchumarthy, Seetharamaiah kotti, Jayasri
Abstract	The rapid increase in computer-related technologies puts greater demands on the software-controlled systems. These demands place the software in total control over safety-critical systems. A fault in such a Safety-Critical Computer Systems (SCCS) can result in catastrophic concerns such as loss of life, harm, or equipment damage. In order to detect and prevent such faults, some safety standards, safety analysis and fault-tolerant techniques have been developed. Still, it requires adequate methodologies and frameworks to complete verification of these SCCS. In this work, the software safety is considered into 3 parts: Safety Modeling, Safety Measurement and Safety Management, with assurance lying down to develop high quality software for SCCS. The proposed methodology is SM-Cube (Safety Modeling, Safety Measurement and Safety Management) which is the Safety-Critical Computer Systems concerned. SM-Cube provides a clarified differentiation for assessing and evaluating the safety embedded into the software. SM-Cube consists of required processes and operations for developing SCCS free of faults. This proposed SM-cube has been applied to safety-critical software based Railroad Crossing Control System (RCCS) which is a laboratory prototype. The outcomes of the prototype confirmed that all critical operations have been safe and risk free. The development of the software based on the proposed SM-cube for RCCS have shown a simplified and improved safety-critical operations of the overall system performance
Starting Page	1
Ending Page	8
Page Count	8
File Format	PDF
ISSN	01635948
DOI	10.1145/2853073.2853091
Journal	ACM SIGSOFT Software Engineering Notes (SOEN)
Volume Number	41
Issue Number	1
Language	English
Publisher	Association for Computing Machinery (ACM)
Publisher Date	1979-04-01
Publisher Place	New York
Access Restriction	One Nation One Subscription (ONOS)
Subject Keyword	Sm-cube (safety modeling safety measurement and safety management) Rail road crossing control system (rccs) Software safety Safety-critical computer systems (sccs)
Content Type	Text
Resource Type	Article

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

A methodology for building safer software based critical computing systems

The quantitative safety assessment and evaluation for safety critical computer systems

A Topology-Based Model for Railway Train Control Systems

Help with software Assessment

Critical Scenarios and Their Identification in Parallel Railroad Level Crossing Traffic Control Systems

Safety-critical systems built with COTS

Assessment of a sampling method for measuring safety-critical software reliability

Modeling of Safety-Critical Systems Using Petri Nets

A Newly Developed Safety-Critical Computer System for China Metro

The Quantitative Safety Assessment and Evaluation for Safety-Critical Computer Systems

Similar Documents

A methodology for building safer software based critical computing systems

The quantitative safety assessment and evaluation for safety critical computer systems

A Topology-Based Model for Railway Train Control Systems

Help with software Assessment

Critical Scenarios and Their Identification in Parallel Railroad Level Crossing Traffic Control Systems

Safety-critical systems built with COTS

Assessment of a sampling method for measuring safety-critical software reliability

Modeling of Safety-Critical Systems Using Petri Nets

A Newly Developed Safety-Critical Computer System for China Metro

The Quantitative Safety Assessment and Evaluation for Safety-Critical Computer Systems