169,642 Hits in 4.7 sec

Test-linked specification for safety-critical software

H. Hecht, M. Hecht
Proceedings of the Thirtieth Hawaii International Conference on System Sciences  
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]

Jean-Claude Laprie
2007 Lecture Notes in Computer Science  
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]

Guillermo Rodriguez-Navas, Patrick Graydon, Iain Bate
2013 Lecture Notes in Computer Science  
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

Robyn R. Lutz
2000 Proceedings of the conference on The future of Software engineering - ICSE '00  
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]

Man Cheol Kim
2014 Progress of Nuclear Safety for Symbiosis and Sustainability  
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

Markus Borg, Orlena C. Z. Gotel, Krzysztof Wnuk
2013 2013 7th International Workshop on Traceability in Emerging Forms of Software Engineering (TEFSE)  
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

Hongbing Li, Xiaohong Bao, Shujuan Ji
2014 Procedia Engineering  
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]

Gilbert Regan, Fergal McCaffery, Kevin McDaid, Derek Flood
2012 Communications in Computer and Information Science  
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]

Roberto Pietrantuono, Stefano Russo
2013 Innovative Technologies for Dependable OTS-Based Critical Systems  
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]

Jane Cleland-Huang, Mats Heimdahl, Jane Huffman Hayes, Robyn Lutz, Patrick Maeder
2012 Lecture Notes in Computer Science  
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

Janice Hill, Daniel Victor
2008 Australian Software Engineering Conference : Proceedings  
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

Sepúlveda Martín-José
2019 Journal of Occupational and Environmental Medicine  
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

Hao Cai, Chengdian Zhang, Weihang Wu, Tin-kin Ho, Zaiming Zhang
2014 Procedia - Social and Behavioral Sciences  
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]

Giuliano Antoniol and Jane Cleland-Huang and Jane Huffman Hayes and Michael Vierhauser
2017 arXiv   pre-print
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]

Jane Cleland-Huang, Michael Vierhauser, Sean Bayley
2018 arXiv   pre-print
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