Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 227,333,799 papers from all fields of science
Search
Sign In
Create Free Account
Software system safety
In software engineering, software system safety optimizes system safety in the design, development, use, and maintenance of software systems and…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
4 relations
List of software development philosophies
Software assurance
Software development process
Broader (1)
Software engineering
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2013
2013
A Fault Propagation Model of Embedded Systems Based on Fault Association
Qing Gao
,
C. Hu
,
Kunsheng Wang
,
Huaiyu Yan
2013
Corpus ID: 56161305
According to the characteristics of the hardware associated with software in embedded systems, this paper defined a new Fuzzy…
Expand
Review
2010
Review
2010
Epistemic Questions and Answers for Software System Safety
C. Holloway
,
Chris W. Johnson
2010
Corpus ID: 60422231
System safety is primarily concerned with epistemic questions, that is, questions concerning knowledge and the degree of…
Expand
2009
2009
Towards A Comprehensive Consideration of Epistemic Questions in Software System Safety
C. Holloway
,
Chris W. Johnson
International Conference on Systems
2009
Corpus ID: 2916477
For any software system upon which lives depend, the most important question one can ask about it is, 'How do we know the system…
Expand
2007
2007
DEVELOPING SAFETY-CRITICAL SOFTWARE REQUIREMENTS FOR COMMERCIAL REUSABLE LAUNCH VEHICLES
D. Murray
,
T. Hardy
2007
Corpus ID: 14394791
A number of inventors and entrepreneurs are currently attempting to develop and commercially operate reusable launch vehicles to…
Expand
2004
2004
Formalizing Lightweight Verification of Software Component Composition
Stephen McCamant
,
Michael D. Ernst
2004
Corpus ID: 8588828
Software errors often occur at the interfaces between separately developed components. Incompatibilities are an especially acute…
Expand
2002
2002
Issues in Software System Safety: Polly Ann Smith Co. versus Ned I. Ludd
C. Holloway
2002
Corpus ID: 109428856
This paper is a work of fiction, but it is fiction with a very real purpose: to stimulate careful thought and friendly discussion…
Expand
2002
2002
Software System Safety and the NASA Aeronautics Blueprint
C. Holloway
,
K. Hayhurst
2002
Corpus ID: 106933963
NASA's Aeronautics Blueprint lays out a research agenda for the Agency s aeronautics program. The word software appears only four…
Expand
2000
2000
System safety in computer-controlled automotive systems
N. Leveson
2000
Corpus ID: 15121098
In this paper, the author presents a summary of the state of the art in software system safety. The paper begins with a…
Expand
1997
1997
Integration of Safety Requirements in the Initial Phases of the Project Lifecycle of Hardware/Software Systems
M. Wilikens
,
M. Masera
,
D. Vallero
International Conference on Computer Safety…
1997
Corpus ID: 107271612
This paper reports on work aimed at identifying a methodology and at defining a coherent safety life-cycle to the development of…
Expand
1988
1988
Software system safety and reliability
M. Hansen
,
R. Watts
Proceedings. Annual Reliability and…
1988
Corpus ID: 62545556
The emerging discipline of software system safety is considered. The issues discussed are: methodology, application criteria, and…
Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE