Two Techniques For Software Safety Analysis

DOWNLOAD

Download Two Techniques For Software Safety Analysis PDF/ePub or read online books in Mobi eBooks. Click Download or Read Online button to get Two Techniques For Software Safety Analysis book now. This website allows unlimited access to, at the time of writing, more than 1.5 million titles, including hundreds of thousands of titles in various foreign languages. If the content not found or just blank you must refresh this page

Two Techniques For Software Safety Analysis

DOWNLOAD
Author : Dingding Lu
language : en
Publisher:
Release Date : 2003

Two Techniques For Software Safety Analysis written by Dingding Lu and has been published by this book supported file pdf, txt, epub, kindle and other format this book has been release on 2003 with categories.

Currently many safety-critical systems are being built. Safety-critical systems are those software systems where a single failure or hazard may cause catastrophic consequences. Therefore, safety is a property which must be satisfied for safety-critical systems. This research develops techniques to address two areas of software safety analysis in which structured methodologies have been lacking. The first contribution of the paper is to define a top-down, tree-based analysis technique, the Fault Contribution Tree Analysis (FCTA), that operates on the results of a product-family domain analysis. This paper then describes a method by which the FCTA of a product family can serve as a reusable asset in the building of new members of the family. Specifically, we describe both the construction of the fault contribution tree for a product family (domain engineering) and the reuse of the appropriately pruned fault contribution tree for the analysis of a new member of the product family (application engineering). The second contribution of the paper is to develop an analysis process which combines the different perspectives of system decomposition with hazard analysis methods to identify the safety-related scenarios. The derived safety-related scenarios are the detailed instantiations of system safety requirements that serve as input to future software architectural evaluation. The paper illustrates the two techniques with examples from applications to two product families in Chapter One and to a safety-critical system in Chapter Two.

Tenth International Symposium On Software Reliability Engineering

DOWNLOAD
Author : IEEE Computer Society
language : en
Publisher: Institute of Electrical & Electronics Engineers(IEEE)
Release Date : 1999

Tenth International Symposium On Software Reliability Engineering written by IEEE Computer Society and has been published by Institute of Electrical & Electronics Engineers(IEEE) this book supported file pdf, txt, epub, kindle and other format this book has been release on 1999 with Computers categories.

The theme of the November 1999 symposium deals with which technologies to take into the new millennium and which ones to leave behind. The 32 papers address software reliability techniques models, reliability and safety, object-oriented testing and modeling, quality, testing, and early quality prediction. Some of the topics are rare failure-state in a Markov chain model for software reliability, classification tree models of software quality over multiple releases, mutation testing applied to validate specifications based on statecharts, generating test cases from an OO model with an AI planning system, and requirements volatility and defect density. No subject index. Annotation copyrighted by Book News, Inc., Portland, OR.

Safety And Reliability Of Software Based Systems

DOWNLOAD
Author : City University (London, England). Centre for Software Reliability. Conference
language : en
Publisher: Springer
Release Date : 1996-09-27

Safety And Reliability Of Software Based Systems written by City University (London, England). Centre for Software Reliability. Conference and has been published by Springer this book supported file pdf, txt, epub, kindle and other format this book has been release on 1996-09-27 with Computers categories.

Safety and Reliability of Software Based Systems contains papers, presented at the twelfth annual workshop organised by the Centre for Software Reliability. Contributions come from different industries in many countries, and provide discussion and cross-fertilisation of ideas relevant to systems whose safety and/or reliability are of paramount concern. This book discusses safety cases and their varying roles in different industries; using measurement to improve reliability and safety of software-based systems; latest developments in managing, developing and assessing software intensive systems where reliability and/or safety are important considerations; and practical experiences of others in industry.

Second Ieee International Software Engineering Standards Symposium Isess 95

DOWNLOAD
Author :
language : en
Publisher:
Release Date : 1995

Second Ieee International Software Engineering Standards Symposium Isess 95 written by and has been published by this book supported file pdf, txt, epub, kindle and other format this book has been release on 1995 with Computer software categories.

1998 Ieee Workshop On Application Specific Software Engineering And Technology

DOWNLOAD
Author : IEEE Computer Society
language : en
Publisher: Institute of Electrical & Electronics Engineers(IEEE)
Release Date : 1998

1998 Ieee Workshop On Application Specific Software Engineering And Technology written by IEEE Computer Society and has been published by Institute of Electrical & Electronics Engineers(IEEE) this book supported file pdf, txt, epub, kindle and other format this book has been release on 1998 with Computers categories.

These conference papers on software engineering and technology include coverage of: telecommunications; software engineering; embedded systems; and languages and databases.

Software Reliability

DOWNLOAD
Author : Beverley Littlewood
language : en
Publisher: Wiley-Blackwell
Release Date : 1987

Software Reliability written by Beverley Littlewood and has been published by Wiley-Blackwell this book supported file pdf, txt, epub, kindle and other format this book has been release on 1987 with Computers categories.

International Workshop On Software Specification And Design Proceedings

DOWNLOAD
Author :
language : en
Publisher:
Release Date : 1993

International Workshop On Software Specification And Design Proceedings written by and has been published by this book supported file pdf, txt, epub, kindle and other format this book has been release on 1993 with Computer software categories.

Computer Safety Reliability And Security

DOWNLOAD
Author :
language : en
Publisher:
Release Date : 2004

Computer Safety Reliability And Security written by and has been published by this book supported file pdf, txt, epub, kindle and other format this book has been release on 2004 with Computer security categories.

A Bi Directional Analysis Technique For Software Safety And Software Security

DOWNLOAD
Author : Qian Feng
language : en
Publisher:
Release Date : 2005

A Bi Directional Analysis Technique For Software Safety And Software Security written by Qian Feng and has been published by this book supported file pdf, txt, epub, kindle and other format this book has been release on 2005 with categories.

With the recent rapid development of software technology, safety-critical and security-critical software is playing a more important role in people's lives. The importance of system safety and system security has promoted much research on systematic techniques to develop complete safety and security requirements. Among the techniques used in the analysis of the software safety, bi-directional analysis has shown promise in security requirement analysis. This method combines a forward search from potential failure modes to their effects with a backward search from feasible hazards to the contributing causes of each hazard. We use bi-directional analysis to investigate the requirements for two applications in the areas of safety analysis and security analysis. The two contributions of this work both involve the application of the bi-directional analysis and develop systematic methods to apply it to these two different types of non-functional requirements analysis. The first application is to construct a systematic safety requirements analysis technique for a smart door product line. The final results include a reusable safety analysis and the discovery of missing safety requirements. The second application investigates a systematic security requirements technique for a Delay Tolerant Network protocol called the Bundle Protocol. This work improves an existing security analysis technique by integrating it with the bi- directional analysis to demonstrate and challenge the correctness and completeness of the resulting security requirements specifications. We also report the discovery of missing security requirements and the remediation of the security requirements. Both applications explore the technique of applying bi-directional analysis to software safety analysis and software security analysis and find that the bi-directional analysis assists in finding incorrect and incomplete requirements.

Proceedings Of The Sixth International Workshop On Software Specification And Design October 25 26 1991 Como Italy

DOWNLOAD
Author :
language : en
Publisher:
Release Date : 1991

Proceedings Of The Sixth International Workshop On Software Specification And Design October 25 26 1991 Como Italy written by and has been published by this book supported file pdf, txt, epub, kindle and other format this book has been release on 1991 with Computer software categories.