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
Trace Queries for Safety Requirements in High Assurance Systems
[chapter]
2012
Lecture Notes in Computer Science
Preserved Fulltext
[Principal ideas/results] To address these weaknesses we propose a family of reusable traceability queries that serve as a blueprint for traceability in safety critical systems. ...
Context and motivation] Safety critical software systems pervade almost every facet of our lives. ...
Peraldi-Frati and Albinet proposed a model for traceability in safety-critical systems [20] . ...
doi:10.1007/978-3-642-28714-5_16
fatcat:gz75bj7ayzh25d73y5fgkaon5i
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.
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 ...
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. ...
Acknowledgements This research is supported by the Science Foundation Ireland (SFI) Stokes Lectureship Programme, grant number 07/SK/I1299, the SFI Principal Investigator Programme, grant number 08/IN.1 ...
doi:10.1007/978-3-642-30439-2_15
fatcat:ypolvoyepbcztcvwa2n635skeq
Agile requirements traceability using domain-specific modelling languages
2012
Proceedings of the 2012 Extreme Modeling Workshop on - XM '12
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.
The preliminary approach is illustrated briefly in the context of the safety-critical systems engineering domain, where agile traceability from functional and safety requirements is necessary to underpin ...
Requirements traceability is an important mechanism for managing verification, validation and change impact analysis challenges in system engineering. ...
We are applying the proposed approach in the context of the safety-critical system engineering domain, in which managing requirements is a critical issue and traceability is both necessary and helpful ...
doi:10.1145/2467307.2467316
fatcat:dukh4jxcabgcrnmzty4w6iriau
Challenges of Scaled Agile for Safety-Critical Systems
[chapter]
2019
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 2020; you can also visit the original URL.
The file type is application/pdf.
Note that this fulltext copy is not of the "primary" version of this work. The version it corresponds to is:
2019 pre-print arXiv:1911.12590v1 fatcat:kuq4sz3lora3poubp2nc5jps7e
We, therefore, aim to understand which challenges exist when developing safety-critical systems within large-scale agile industrial settings, in particular in the automotive domain. ...
Keywords: Scaled Agile, Safety-Critical Systems, Software Processes, R-Scrum, SafeScrum ...
We thank all participants in our focus group for their insights and their engagement. This work was supported by Software Center (www.software-center.se). ...
doi:10.1007/978-3-030-35333-9_26
fatcat:jcto2i7edjgkxhptiforekgovu
Survey Protocol: Traceability during Development of Systems with Safety and Security Implications - Importance, Tools, and Challenges
2014
Requirements Engineering: Foundation for Software Quality
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 2022; you can also visit the original URL.
The file type is application/pdf.
Little is known or has been reported on traceability usage, practises and challenges in the development of systems with safety and security implications. ...
Stakeholders involved in system development projects have different use of traces, and therefore the required traceability and its implementation depends upon the stakeholders involved in the projects. ...
Acknowledgements This work is a part of PhD projects carried out in collaboration between the Institute for Energy Technology/Halden Reactor Project and Norwegian University of Science and Technology. ...
dblp:conf/refsq/KattaS14
fatcat:mum2rhpiyzgj5fvay6fpqzzy4u
Safety Evidence Traceability: Problem Analysis and Model
[chapter]
2014
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.
[Question/problem] Past research has only addressed some needs of traceability in safety-critical systems and thus has not provided a complete picture of safety evidence traceability. ...
We also propose a safety evidence traceability model, which has been validated with data from real-world critical systems. ...
Changes in a safety-critical system and thus in its safety evidence are practically inevitable [28] . ...
doi:10.1007/978-3-319-05843-6_23
fatcat:wrwhrjv4wjf4beu3jpkws5kwt4
Means-ends and whole-part traceability analysis of safety requirements
2010
Journal of Systems and Software
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 2012; you can also visit the original URL.
The file type is application/pdf.
In this paper, we propose an optimized traceability analysis method which is based on the means-ends and whole-part concept of the approach for cognitive systems engineering to trace these safety requirements ...
The causal relationships in the proposed method make it possible to trace the safety requirements through the safety analysis results and system artifacts. ...
Most of the safety-critical systems in nuclear power plants and airplanes for example, have this type of control architecture. ...
doi:10.1016/j.jss.2009.08.022
fatcat:2hs2qwtuznat3e7yafkiwogrja
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 ...
they will join the active community of Software and Systems traceability researchers as we move forward into the next decade of research. ...
Acknowledgements This work is done in collaboration with Rick Salay, Marsha Chechik (University of Toronto) and Mark Lawford, Tom Maibaum (McMaster University). ...
arXiv:1710.03129v1
fatcat:ch275tcxtjcshesoq2ubbyyomy
The Barriers to Traceability and their Potential Solutions: Towards a Reference Framework
2012
2012 38th Euromicro Conference on Software Engineering and Advanced Applications
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.
However, evidence indicates that, with the exception of those operating in the safety critical domain, few software companies choose to implement traceability processes, often due to associated cost and ...
Additionally, given the importance of traceability in the regulated domain of safety critical software, the paper compares the barriers for organizations operating inside and outside of this domain. ...
ACKNOWLEDGEMENTS This work was supported, in part, by Science Foundation Ireland grant 10/CE/I1855 to Lero -the Irish Software Engineering Research Centre ...
doi:10.1109/seaa.2012.80
dblp:conf/euromicro/ReganMMF12
fatcat:522dvrsskbbrnijtlj66wwjceu
Traceability and model checking to support safety requirement verification
2014
Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering - FSE 2014
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.
Ensuring safety-critical software safety requires strict verification of the conformance between safety requirements and programs. ...
Second, the traceability information models between formalized safety requirements and programs are built. ...
I present a formal language called Event Automata (EA) for formalizing safety requirements related to event sequences, since most safety-critical systems are discrete-event systems. ...
doi:10.1145/2635868.2666606
dblp:conf/sigsoft/Kan14
fatcat:zhbqidyqgzerfdz6hqvqnllw4m
Medical device standards' requirements for traceability during the software development lifecycle and implementation of a traceability assessment model
2013
Computer Standards & Interfaces
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.
Developing safety critical software is a complex process. ...
This paper outlines the extent and diversity of traceability requirements within medical device standards and guidelines, and identifies the requirements for traceability through each phase of the software ...
Regulation normally requires safety critical systems are certified before entering service. ...
doi:10.1016/j.csi.2013.07.012
fatcat:hpujdnizvng7bclwqm6c4vqoou
Towards Continuous Safety Assessment in Context of DevOps
[article]
2021
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 2021; you can also visit the original URL.
The file type is application/pdf.
safety-critical systems requires the automation of the safety assessment process in the delivery pipeline. ...
Since safety-critical systems must meet regulatory requirements and require specific safety assessment processes in addition to the normal development steps, enabling continuous delivery of software in ...
Safety-critical systems must meet regulatory requirements and shall comply to safety standards (such as IEC 61508). ...
arXiv:2106.07200v1
fatcat:z6ubykkiz5hyrk2htbncp3bs2e
Food Safety Traceability Systems in the Maritime Catering Logistics
2014
Food and Nutrition 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.
This paper aims to explore food safety traceability in the onboard food and beverage operations on cruise ships through a case study approach. ...
Results indicated that cruise ships in this study use paper-based and manually-entered (electronically stored) data traceability systems. ...
However, the food safety legislation in Egypt does not require a mandatory traceability system and the traceability measures are only addressed to exported food produce through an ongoing project of The ...
doi:10.4236/fns.2014.515158
fatcat:jtlckjnawrd63owrltco7ejlxe
Study on Full Supply Chain Quality and Safetytraceability Systems For Cereal And Oilproducts
[chapter]
2009
IFIP Advances in Information and Communication Technology
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.
Food traceability has become an effective way in food safety management. ...
Global food industry and Governments in many countries are putting increasing emphasis on establishment of food traceability systems. ...
INTRODUCTION Food traceability system, also called food tracking and tracing system, has become an effective way in food safety management. ...
doi:10.1007/978-1-4419-0213-9_79
fatcat:a7e43d526jfvvfjyrh5724woue
Software Traceability in the Automotive Domain: Challenges and Solutions
2019
Software 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 2022; you can also visit the original URL.
The file type is application/pdf.
In the automotive domain, the development of all safety-critical systems has to comply with safety standards such as ISO 26262. ...
These standards require established traceability, the ability to relate artifacts created during development of a system, to ensure resulting systems are well-tested and therefore safe. ...
In the automotive industry, traceability -the ability to relate artifacts created during the development of a system -is a necessity since safety standards require proof that safety requirements were specified ...
doi:10.18420/se2019-14
dblp:conf/se/MaroSS19
fatcat:3dqc4xfanjd6ne5szjsilcy35e
« Previous
Showing results 1 — 15 out of 30,677 results