A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Filters
Test-linked specification for safety-critical software
Proceedings of the Thirtieth Hawaii International Conference on System Sciences
Preserved Fulltext
The great difficulties that are encountered when reliability requirements for critical software have to be validated motivate an approach that facilitates testing for exceptional conditions that the software ...
It is shown that in several published studies, failures in previously tested critical programs occurred when rare events were encountered in the execution. ...
Introduction Safety-critical software is frequently required to have a failure probability of less than 10 -6 per hour, and in some cases less than 10 -9 per hour. ...
doi:10.1109/hicss.1997.663183
dblp:conf/hicss/HechtH97
fatcat:tvursa6l5ngavhmewqomdrpuea
Safety Demonstration and Software Development
[chapter]
2007
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Reminding the infeasability of quantifying reliability of safety-critical software Situating the current RATP approach Examining alternate approaches for safety-critical software development Coming back ...
development Development process
for software reliability
System vision for
safety demonstration
System from components
Reliability growth models
Inappropriate for safety-critical
software ...
doi:10.1007/978-3-540-75101-4_29
fatcat:gyp5iau6tbctvacddhbinrzryy
From Fault Injection to Mutant Injection: The Next Step for Safety Analysis?
[chapter]
2013
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
We propose to use specification mutation, model checking, and model-based testing to verify safety kernels for component-based, safety-critical computer systems. ...
Mutation testing has been used to assess test suite coverage, and researchers have proposed adapting the idea for other uses. ...
Acknowledgment This work was partially supported by the Swedish Foundation for Strategic Research (SSF), under grant number RIT10-0070 (SYNOPSIS). ...
doi:10.1007/978-3-642-39611-3_27
fatcat:2rixww3etvfh5ogcsuttrh2q7y
Software engineering for safety
2000
Proceedings of the conference on The future of Software engineering - ICSE '00
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Improve the testing and evaluation of safety-critical systems through the use of requirementsbased testing, evaluation from multiple sources, model consistency, and virtual environments. ...
Provide readier access to formal methods for developers of safety-critical systems by further integration of informal and formal methods. ...
Better links are needed between safety requirements and test cases. ...
doi:10.1145/336512.336556
dblp:conf/icse/Lutz00
fatcat:to4aaglfyra7tcdc443izhdq3e
High Level Issues in Reliability Quantification of Safety-Critical Software
[chapter]
2014
Progress of Nuclear Safety for Symbiosis and Sustainability
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2016; you can also visit the original URL.
The file type is application/pdf.
assessment of the safety-critical software based on Bayesian belief network modeling and statistical testing are discussed. ...
The discussions in this paper are expected to provide a common basis for future discussions on the reliability assessment of safety-critical software. ...
In other words, a specific initiating event forms a specific context to the software in the safety-critical digital I&C systems. ...
doi:10.1007/978-4-431-54610-8_31
fatcat:bgwyfh6lmvbbvhjgs27ynpfqhu
Enabling traceability reuse for impact analyses: A feasibility study in a safety context
2013
2013 7th International Workshop on Traceability in Emerging Forms of Software Engineering (TEFSE)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Engineers working on safety critical software development must explicitly specify trace links as part of Impact Analyses (IA), both to code and non-code development artifacts. ...
We studied an Issue Management System (IMS), from within a company in the power and automation domain, containing 4,845 IA reports from 9 years of development relating to a single safety critical system ...
An engineer performing IA for a similar issue could use this information both for test case selection, and as a warning that also the new issue under investigation might be safety critical. ...
doi:10.1109/tefse.2013.6620158
dblp:conf/icse/BorgGW13
fatcat:nbs45fackvalrngd32ss7qqwqq
Research on Elicitation of Safety Testing Requirements for Airborne Software
2014
Procedia Engineering
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Software safety testing requirements elicitation method was put forward based on the safety-critical software including safety testing requirements classification, safety testing requirements decomposition ...
and the finishing of elicitation sources in order to get more perfect software safety testing requirements. ...
For specific safety testing requirements, safety-critical scenario testing requirements were also newly added. Scenario testing requirements of over temperature combined safety-critical functions. ...
doi:10.1016/j.proeng.2014.09.089
fatcat:kr7jdg6i4zdypcev5tlp2ihdji
Traceability-Why Do It?
[chapter]
2012
Communications in Computer and Information Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Given the importance of traceability in the regulated domain of safety critical software, the paper compares the motivations and benefits for organizations operating inside and outside of this domain. ...
However, evidence indicates that, with the exception of those operating in the safety critical domain, few software companies choose to implement traceability processes, in the most part due to cost and ...
funding of this project was awarded by Science Foundation Ireland under a co-funding initiative by the Irish Government and European Regional Development Fund), and supported in part by Lero -the Irish Software ...
doi:10.1007/978-3-642-30439-2_15
fatcat:ypolvoyepbcztcvwa2n635skeq
Introduction to Safety Critical Systems
[chapter]
2013
Innovative Technologies for Dependable OTS-Based Critical Systems
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Today's software-intensive Safety-critical Systems (SCSs) are required to cover a wide range of functionalities, to do it in a safe way, and to be developed under stringent time and cost constraints. ...
That is the challenge which the Critical Step project dealt with. In the following, an overview of the main concepts, challenges, and currently implemented solutions in SCSs development is presented. ...
It is a matter of fact that certification of software is crucial for many companies developing mission-and safety-critical systems. ...
doi:10.1007/978-88-470-2772-5_2
fatcat:s6ble6lfprcdbiyyzhctyjztvy
Trace Queries for Safety Requirements in High Assurance Systems
[chapter]
2012
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
In practice, however, the traceability links provided by software producers are often incomplete, inaccurate, and ine↵ective for demonstrating software safety. ...
Context and motivation] Safety critical software systems pervade almost every facet of our lives. ...
to software requirements, and that all code is linked to established specifications and test procedures [5] . ...
doi:10.1007/978-3-642-28714-5_16
fatcat:gz75bj7ayzh25d73y5fgkaon5i
The Product Engineering Class in the Software Safety Risk Taxonomy for Building Safety-Critical Systems
2008
Australian Software Engineering Conference : Proceedings
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
When software safety requirements are imposed on legacy safety-critical systems, retrospective safety cases need to be formulated as part of recertifying the systems for further use and risks must be documented ...
In this paper, we present extended work on the taxonomy for safety that incorporates the additional issues inherent in the development and maintenance of safety-critical systems with software. ...
This research is part of a project funded by the NASA Headquarters Office of Safety and Mission Assurance and the NASA IV&V Facility to investigate 'Assurance and Recertification of Safety-Critical Software ...
doi:10.1109/aswec.2008.4483253
fatcat:khpodim5gbevtedmp7n6xbbct4
Integrating IT Safety into OEM Safety Management Systems
2019
Journal of Occupational and Environmental Medicine
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
To discuss the need for the inclusion of decision-support software safety in workplace safety management systems. ...
Linking SSRs to test procedures allows the safety engineer to verify that all safety-related software will be tested. ...
Safety-specific test requirements are provided to the test organization for development of specific test procedures to validate the SSRs. ...
doi:10.1097/jom.0000000000001572
pmid:31166283
fatcat:hlufjysarfbkdodhidfg7fv3ry
Modelling High Integrity Transport Systems by Formal Methods
2014
Procedia - Social and Behavioral Sciences
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
It briefly addresses the problems of the design and implementation of safety-critical, real-time control systems in transport systems. ...
With the introduction of the concepts of the formal methods, the software development process is explained and the advantages of simple translation and eliminations of hidden defects are highlighted. ...
of formal methods in developing safety-critical software systems (Cai and Wu, 2013) . ...
doi:10.1016/j.sbspro.2014.07.249
fatcat:672srpltffhn5deujnmdsv7plu
Grand Challenges of Traceability: The Next Ten Years
[article]
2017
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
In 2007, the software and systems traceability community met at the first Natural Bridge symposium on the Grand Challenges of Traceability to establish and address research goals for achieving effective ...
We hope that others will see the potential that traceability has for empowering software and systems engineers to develop higher-quality products at increasing levels of complexity and scale, and that ...
We believe that the closest area of related work is component-based software engineering (CBSE) for safety-critical systems, introducing safety concepts such as safety cages and redundancy. ...
arXiv:1710.03129v1
fatcat:ch275tcxtjcshesoq2ubbyyomy
Dronology: An Incubator for Cyber-Physical System Research
[article]
2018
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
the environment to address their own research areas of goal modeling, runtime adaptation, safety-assurance, and software evolution. ...
The research incubator provides a new community resource, making available diverse, high-quality project artifacts produced across multiple releases of a safety-critical CPS. ...
(SE) challenges for safety-critical systems [3, 20] . ...
arXiv:1804.02423v1
fatcat:cw34ysc22fdnnb45thqfedpknu
« Previous
Showing results 1 — 15 out of 169,642 results