NDLI: A process for software requirements safety analysis

Content Provider	IEEE Xplore Digital Library
Author	Mojdehbakhsh, R. Subramanian, S. Vishnuvajjala, R. Tsai, W.-T. Elliott, L.
Copyright Year	1994
Description	Author affiliation: Cardiac Pacemakers, Inc., USA (Mojdehbakhsh, R.)
Abstract	We introduce a detailed process for software requirements safety analysis. The approach for identification of safety faults in this process is based on fault tree analysis. This process consists of four main steps: software requirements fault tree generation; software requirements fault tree verification and validation; software safety requirements generation and safety fault mitigation; and software requirements safety verification and validation. We have defined a set of rules that can automatically generate the software requirements fault tree given the software requirements specified in Statemate, and the software fault tree top events identified in the system safety analysis. Statemate CASE tool is used in this process for specification of software requirements, and execution and analysis of the software requirements to verify and validate safety. Essential tree analysis is introduced as a method for dependency analysis of the software fault tree top event. The outcome of essential tree analysis is captured in an essential tree which we introduce as a graphical representation of the dependencies and their interrelations.
Starting Page	45
Ending Page	54
File Size	661166
Page Count	10
File Format	PDF
ISBN	081866665X
DOI	10.1109/ISSRE.1994.341347
Language	English
Publisher	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Publisher Date	1994-11-06
Access Restriction	Subscribed
Rights Holder	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Subject Keyword	Software safety Fault trees Fault diagnosis Pacemakers Software tools Tree graphs Computer aided software engineering Programming Performance analysis Costs
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 framework for designing safe software systems

Software fault tree analysis for a requirements system model

A process for developing safe software

State-Based Modeling to Support the Evolution and Maintenance of Safety-Critical Software Product Lines

A metamodel for the behavior trees modelling technique

Safety analysis tools for requirements specifications

Flow analysis for concurrent, reactive, real-time systems

Deriving real-time requirements for software from safety analysis

Obstacles in software process technology evolution: analysis of the code generation case

A process for software requirements safety analysis

Similar Documents

A framework for designing safe software systems

Software fault tree analysis for a requirements system model

A process for developing safe software

State-Based Modeling to Support the Evolution and Maintenance of Safety-Critical Software Product Lines

A metamodel for the behavior trees modelling technique

Safety analysis tools for requirements specifications

Flow analysis for concurrent, reactive, real-time systems

Deriving real-time requirements for software from safety analysis

Obstacles in software process technology evolution: analysis of the code generation case

A process for software requirements safety analysis