Publications

Publications within the OPENCOSS project:

Title  Authors Date Place Conference/Editor  Download/Link
Challenges for an Open and Evolutionary Approach to Safety Assurance and Certification of Safety-Critical Systems

Huáscar Espinoza, Alejandra Ruiz (TEC), Mehrdad Sabetzadeh (SIM), Paolo Panaroni (INT)

 
Nov 29 - Dec 2, 2011
 
Hiroshima
WOSOCER 2011 (International Workshop on Software Certification, satellite event of ISSRE 2011, the IEEE International Symposium of Software Reliability Engineering) PDF
A harmonized multimodel framework for safety environments Xabier Larrucea (TEC), Paolo Panaroni (INT)   Vienna  EuroSPI2 Conference 2012 SpringerLink

Towards a Case-Based Reasoning Approach for Safety Assurance Reuse

Alejandra Ruiz, Ibrahim Habli, Huáscar Espinoza Sep 25, 2012 Magdeburg Workshop on Next Generation of System Assurance Approaches for Safety-Critical Systems (SASSUR), 31st International Conference on Computer Safety, Reliability and Security (SAFECOMP 2012) SpringerLink

Towards a Model-Based Evolutionary Chain of Evidence for Compliance with Safety Standards

Jose Luis de la Vara, Sunil Nair, Eric Verhulst, Janusz Studzizba, Piotr Pepek, Jerome Lambourg, Mehrdad Sabetzadeh Sep 25, 2012  Magdeburg Workshop on Next Generation of System Assurance Approaches for Safety-Critical Systems (SASSUR), 31st International Conference on Computer Safety, Reliability and Security (SAFECOMP 2012) SpringerLink
An Unified Meta-Model for Trustworthy Systems Engineering Eric Verhulst, Bernhard H. C. Sputh Sep 25, 2012  Magdeburg Workshop on Next Generation of System Assurance Approaches for Safety-Critical Systems (SASSUR), 31st International Conference on Computer Safety, Reliability and Security (SAFECOMP 2012) SpringerLink

A Preliminary Study towards a Quantitative Approach for Compositional Safety Assurance

A. Ruiz, H. Espinoza, F. Tagliabo, Sandra Torchiaro, Alberto Melzi 15-17 October 2013  Cardiff 21st Safety-Critical Systems Symposium IET TV link; ACM Library link

Supporting the Verification of Compliance to Safety Standards via Model-Driven Engineering: Approach, Tool-Support and Empirical Validation

Rajwinder Kaur Panesar-Walawege, Mehrdad Sabetzadeh, Lionel Briand May, 2013   Journal of Information and Software Technology, Volume 55, Issue 05 DOI
Nuanced term-matching to assist in compositional safety assurance Katrina Attwood, Philippa Conmy May 19, 2013 San Francisco 1st International Workshop on Assurance Cases for Software-intensive Systems (ASSURE 2013) PDF (preprint)
Extracting Models from ISO 26262 for Reusable Safety Assurance Yaping Luo1, Mark van den Brand, Luc Engelen, John Favaro, Martijn Klabbers, and Giovanni Sartori 12-13 June 2013 Pisa 13th International Conference on Software Reuse SpringerLink
Making Software Safety Assessable and Transparent Risto Nevalainen, Alejandra Ruiz, and Timo Varkoi 25-27 June 2013 Dundalk 20th EuroSPI2 Conference 2013 SpringerLink
A Review of Traceability Research at the Requirements Engineering Conference Sunil Nair, Jose Luis de la Vara, Sagar Sen 15-19 July 2013 Rio de Janeiro 21st IEEE International Requirements Engineering Conference IEEE Explore
On the Use of Goal Models and Business Process Models for Elicitation of System Requirements Jose Luis de la Vara, Juan Sánchez, Oscar Pastor 17-18 June 2013 Valencia (Spain) 14th Working Conference on Business Process Modeling, Development, and Support (BPMDS'13) SpringerLink
Classification, Structuring, and Assessment of Evidence for Safety: a Systematic Literature Review Sunil Nair, Jose Luis de la Vara, Mehrdad Sabetzadeh, Lionel Briand 18-22 March 2013 Luxemburg 6th IEEE International Conference on Software Testing, Verification and Validation (ICST 2013) DOI; IEEEE Explore
SafetyMet: A Metamodel for Safety Standards J.L. de la Vara and R.K. Panesar-Walawege 29 Sep - 4 Oct, 2013 Miami ACM/IEEE 16th International Conference on Model Driven Engineering Languages and Systems (MODELS 2013) SpringerLink
Specifying a Framework for Evaluating Requirements Engineering Technology: Challenges and Lessons Learned J.L. de la Vara, D. Falessi, and E. Verhulst July 15, 2013 Rio de Janeiro 3rd IEEE International Workshop on Empirical Requirements Engineering (Empire 2013) IEEE Explore
Dealing with Software Model Quality in Practice: Experience in a Research Project J.L. de la Vara and H. Espinoza July 29-30 2013 Nanjing 1st International Workshop on Quality and Measurement of Software Model-Driven Developments (QUAMES 2013) IEEE Explore
Conceptualisation of Industrial Safety Assurance Activities: Towards Computer-Aided Certification Katrina Attwood, Fabien Belmonte, Laurent de la Beaujardière and Andrea Palermo March 2013

Paris

International Workshop on Model-Based Safety Assurance 2013  -
The role of the safety-case lexicon in cross-domain translation: the OPENCOSS project Katrina Attwood Dec 5, 2013

London

Independent Safety Assurance Group/Safety-Critical Systems Club Workshop 'Transferable Safety - fact or fiction?' PDF
Cross-domain systems and safety engineering: is it feasible? Eric Verhulst Jan 17, 2013 Brussels Flanders Drive seminar: Functional Safety in the Vehicle Industry Altreonic link
A Preliminary Study towards a Quantitative Approach for Compositional Safety Assurance A. Ruiz, H. Espinoza, F. Tagliabo, Sandra Torchiaro, Alberto Melzi Feb 5-7, 2013 Bristol 21st Safety-critical Systems Symposium IET TV link
ARRL: A Criterion for Composable Safety and Systems Engineering Eric Verhulst, Bernhard Sputh (Altreonic), Jose Luis de la Vara (Simula), Vincenzo de Florio (University of Antwerp) Sep 24-27, 2013 Toulouse 2013 Workshop on Next Generation of System Assurance Approaches for Safety-Critical Systems (SASSUR), part of the 32nd International Conference on Computer Safety, Reliability and Security (Safecomp) PDF
From Safety Integrity Level to Assured Reliability and Resilience Level for Composable Safety Critical Systems Eric Verhulst, Bernhard Sputh, Jose Luis de la Vara, Vincenzo de Florio November 2013 Paris ICSSEA PDF
ARRL: A criterion for compositional safety and systems engineering: A normative approach to specifying components
Eric Verhulst, Bernhard Sputh November 2013 Pasadena  ISSRE 2013 IEEE Explore
Towards a multi-view point safety contract Alejandra Ruiz, Tim Kelly, Huascar Espinoza 24-27 September 2013 Toulouse Proceedings of Workshop SASSUR (Next Generation of System Assurance Approaches for Safety-Critical Systems) of the 32nd International Conference on Computer Safety, Reliability and Security PDF
Adequacy of contract grammars for component certification (Fast Abstract) Alejandra Ruiz, Huascar Espinoza, Tim Kelly 24-27 September 2013 Toulouse 32nd International Conference on Computer Safety, Reliability and Security PDF
Safety Evidence Traceability:
Problem Analysis and Model
Sunil Nair , Jose Luis de la Vara, Alberto Melzi, Giorgio Tagliaferri,
Laurent de-la-Beaujardiere and Fabien Belmonte
April 7-10, 2014 Essen 20th International Working Conference on Requirements Engineering: Foundation for Software Quality (REFSQ 2014) PDF
Extracting Models from ISO 26262 for Reusable Safety Assurance Yaping Luo, Mark van den Brand, Luc Engelen, Martijn Klabbers, Giovanni Sartori 2013 Springer Safe and Secure Software Reuse, Lecture Notes in Computer Science Volume 7925, pp. 192-207 SpringerLink
From Conceptual Models to Safety Assurance Yaping Luo, Mark van den Brand, Luc Engelen, Martijn Klabbers 2013 Springer Conceptual Modeling, Eric Yu, Gillian Dobbie, Matthias Jarke, Sandeep Purao (eds.), pp. 195-208 SpringerLink
A Modeling Approach to Support Safety Assurance in the Automotive Domain Yaping Luo, Mark van den Brand, Luc Engelen, Martijn Klabbers Aug 6, 2014 Springer Progress in Systems Engineering, pp. 339-345 SpringerLink
Metamodel Comparison and Model Comparison for Safety Assurance Yaping Luo, Luc Engelen, Mark van den Brand 2014 Springer Computer Safety, Reliability, and Security, pp. 419-430 SpringerLink
he use of Controlled Vocabulary and Structured Expressions in the Assurance of CPS Katrina Attwood, Philippa Conmy, Tim Kelly Jun 23, 2013 Paris Challenges and New Approaches for Dependable and Cyber-Physical Systems Engineering (De-CPS 2014), part of Ada Europe 2014 -
An Extended Systematic Literature Review on Provision of Evidence for Safety Certification Sunil Nair, Jose Luis de la Vara, Mehrdad Sabetzadeh, Lionel C. Briand  July, 2014 Elsevier (North-Holland) Information and Software Technology, Volume 56, Issue 7 ScienceDirect
Current and necessary insights into SACM: An analysis based on past publications Jose Luis de la Vara Aug 26, 2014 Karlskrona IEEE 7th International Workshop on Requirements Engineering and Law (RELAW 2014) DOI
Quantifying Uncertainty in Safety Cases Using Evidential Reasoning Sunil Nair, Neil Walkinshaw, Tim Kelly Sep 10-12, 2014 Firenze Proceedings of SAFECOMP Workshops 2014, pp. 413-418 DOI
Supporting the verification of compliance to safety standards via model-driven engineering: Approach, tool-support and empirical validation Rajwinder Kaur Panesar-Walawege, Mehrdad Sabetzadeh, Lionel Briand 2015 Elsevier (North-Holland) Information and Software Technology, accepted December, 2014 DOI
Systematic Application of ISO 26262 on a SEooC Alejandra Ruiz, Alberto Melzi, Tim Kelly Mar 9-13, 2015 Grenoble Design, Automation and Test in Europe 2015 (DATE15) PDF
Evidence Management for Compliance of Critical Systems with Safety Standards: A Survey on the State of Practice Nair, S., de la Vara, J.L., Sabetzadeh, M., Falessi, D Information and Software Technology 60: 1-15 (2015) Elsevier (North-Holland) Information and Software Technology 60: 1-15 (2015) DOI
Controlled Expression for Assurance Case Development Katrina Attwood and Tim Kelly Engineering Systems for Safety: Proceedings of the 23rd Safety-Critical Systems Symposium Bristol Engineering Systems for Safety: Proceedings of the 23rd Safety-Critical Systems Symposium PDF