Filters








30,677 Hits in 4.8 sec

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  
[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]

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

Masoumeh Taromirad, Richard F. Paige
2012 Proceedings of the 2012 Extreme Modeling Workshop on - XM '12  
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]

Jan-Philipp Steghöfer, Eric Knauss, Jennifer Horkoff, Rebekka Wohlrab
2019 Lecture Notes in Computer Science  
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

Vikash Katta, Tor Stålhane
2014 Requirements Engineering: Foundation for Software Quality  
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]

Sunil Nair, Jose Luis de la Vara, Alberto Melzi, Giorgio Tagliaferri, Laurent de-la-Beaujardiere, Fabien Belmonte
2014 Lecture Notes in Computer Science  
[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

Jang-Soo Lee, Vikash Katta, Eun-Kyoung Jee, Christian Raspotnig
2010 Journal of Systems and Software  
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]

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  ...  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

Gilbert Regan, Fergal McCaffery, Kevin McDaid, Derek Flood
2012 2012 38th Euromicro Conference on Software Engineering and Advanced Applications  
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

Shuanglong Kan
2014 Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering - FSE 2014  
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

Gilbert Regan, Fergal Mc Caffery, Kevin Mc Daid, Derek Flood
2013 Computer Standards & Interfaces  
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]

Marc Zeller
2021 arXiv   pre-print
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

Basem Azmy Saad Boutros, Mahmoud Mahmoud Hewedi, Kevin R. Roberts, Farida M. Megahid
2014 Food and Nutrition Sciences  
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]

Shihong Liu, Huoguo Zheng, Hong Meng, Haiyan Hu, Jiangshou Wu, Chunhua Li
2009 IFIP Advances in Information and Communication Technology  
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

Jan-Philipp Steghöfer, Salome Maro, Miroslaw Staron
2019 Software Engineering  
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