Evaluation of a Systematic Approach in Variant Management for Safety-Critical Systems Development

2015 IEEE 13th International Conference on Embedded and Ubiquitous Computing ◽

10.1109/euc.2015.12 ◽

2015 ◽

Author(s):

Michael Kaessmeyer ◽

David Santiago Velasco Moncada ◽

Markus Schurius

Keyword(s):

Systematic Approach ◽

Systems Development ◽

Critical Systems ◽

Safety Critical ◽

Safety Critical Systems

Download Full-text

Supporting software quality in an integrated safety-critical systems development environment

Software Quality Journal ◽

10.1007/bf00419775 ◽

1996 ◽

Vol 5 (2) ◽

pp. 117-125 ◽

Author(s):

B. Lees ◽

D. G. Jenkins

Keyword(s):

Software Quality ◽

Systems Development ◽

Critical Systems ◽

Development Environment ◽

Safety Critical ◽

Safety Critical Systems

Download Full-text

Towards a Safety-Oriented Process Line for Enabling Reuse in Safety Critical Systems Development and Certification

2012 35th Annual IEEE Software Engineering Workshop ◽

10.1109/sew.2012.22 ◽

2012 ◽

Author(s):

Barbara Gallina ◽

Irfan Sljivo ◽

Omar Jaradat

Keyword(s):

Systems Development ◽

Critical Systems ◽

Safety Critical ◽

Safety Critical Systems ◽

Download Full-text

Health modelling for agility in safety-critical systems development

1st IET International Conference on System Safety ◽

10.1049/cp:20060225 ◽

2006 ◽

Author(s):

Z.R. Stephenson ◽

J.A. McDermid ◽

A.G. Ward

Keyword(s):

Systems Development ◽

Critical Systems ◽

Safety Critical ◽

Safety Critical Systems

Download Full-text

Quality Assurance in Agile Safety-Critical Systems Development

2016 10th International Conference on the Quality of Information and Communications Technology (QUATIC) ◽

10.1109/quatic.2016.016 ◽

2016 ◽

Author(s):

Tom McBride ◽

Marion Lepmets

Keyword(s):

Quality Assurance ◽

Systems Development ◽

Critical Systems ◽

Safety Critical ◽

Safety Critical Systems

Download Full-text

Suitability of Agile Methods for Safety-Critical Systems Development: A Survey of Literature

International Journal of Computer Applications Technology and Research ◽

10.7753/ijcatr0507.1009 ◽

2016 ◽

Vol 5 (7) ◽

pp. 465-471

Author(s):

Mary Walowe Mwadulo

Keyword(s):

Systems Development ◽

Agile Methods ◽

Critical Systems ◽

Safety Critical ◽

Safety Critical Systems

Download Full-text

A Systematic Approach to Construct Compositional Behaviour Models for Network-structured Safety-critical Systems

Electronic Notes in Theoretical Computer Science ◽

10.1016/j.entcs.2010.05.009 ◽

2010 ◽

Vol 263 ◽

pp. 145-160 ◽

Author(s):

Johannes Kloos ◽

Robert Eschbach

Keyword(s):

Systematic Approach ◽

Critical Systems ◽

Safety Critical ◽

Safety Critical Systems ◽

Behaviour Models

Download Full-text

An Investigation of Knowledge Gaps of Graduate Students Regarding Safety-Critical Systems Development: A Controlled Experiment

IEEE Transactions on Education ◽

10.1109/te.2021.3093347 ◽

2021 ◽

pp. 1-9

Author(s):

Ana Isabella Muniz Leite ◽

Lucas Lagoa ◽

Samuel Lopes ◽

Rosana Braga ◽

Pablo Oliveira Antonino ◽

...

Keyword(s):

Graduate Students ◽

Systems Development ◽

Controlled Experiment ◽

Critical Systems ◽

Knowledge Gaps ◽

Safety Critical ◽

Safety Critical Systems

Download Full-text

Towards Formalized Model-Based Requirements for a Seamless Design Approach in Safety-Critical Systems Development

2015 IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops ◽

10.1109/isorcw.2015.51 ◽

2015 ◽

Author(s):

Stefan Walter ◽

Achim Rettberg ◽

Marcio Kreutz

Keyword(s):

Systems Development ◽

Design Approach ◽

Critical Systems ◽

Safety Critical ◽

Model Based ◽

Safety Critical Systems ◽

Seamless Design

Download Full-text

A Systematic Approach to Requirements Driven Test Generation for Safety Critical Systems

Model-Based Safety and Assessment - Lecture Notes in Computer Science ◽

10.1007/978-3-319-12214-4_4 ◽

2014 ◽

pp. 43-56 ◽

Author(s):

Toby Wilkinson ◽

Michael Butler ◽

John Colley

Keyword(s):

Test Generation ◽

Systematic Approach ◽

Critical Systems ◽

Safety Critical ◽

Safety Critical Systems

Download Full-text

Qualification and Selection of Off-the-Shelf Components for Safety Critical Systems: A Systematic Approach

2011 Fifth Latin-American Symposium on Dependable Computing Workshops ◽

10.1109/ladcw.2011.13 ◽

2011 ◽

Author(s):

Christian Esposito ◽

Domenico Cotroneo ◽

Ricardo Barbosa ◽

Nuno Silva

Keyword(s):

Systematic Approach ◽

Critical Systems ◽

Safety Critical ◽

Safety Critical Systems ◽

Download Full-text