Concepedia

Safety-critical Software Validation

Safety-Critical Software Validation is the systematic process of verifying and confirming that software designed for systems whose failure could result in loss of life, serious injury, or significant property or environmental damage meets specified requirements and operates correctly under all anticipated conditions.

26

Publications

764

Citations

99

Authors

49

Institutions

Publications per year

2017–2026

3

Parents

Publications

26

Software risk evaluation (SRE) method description (version 2.0)

R. C. Williams · CTIT technical reports series · 1999 · 76 citations

, , +12

Documentation for safety critical software

Pierre Courtois, David Lorge Parnas · International Conference on Software Engineering · 1993 · 70 citations

, , +17

Industrial perspective on static analysis

Brian Wichmann, Audrey Canning, D. W. R. Marsh et al. · Software Engineering Journal · 1995 · 68 citations

, , +14

An integrated risk measurement and optimization model for trustworthy software process management

Jianping Li, Dengsheng Wu, Hao Song · Information Sciences · 2011 · 43 citations

, , +16

Documentation for safety critical software

P.-J. Courtois, D.L. Parnas · 2002 · 41 citations

, , +17

1–5 of 26

Authors

99

  1. HG
    Hyun Gook Kang

    Korea Atomic Energy Research Institute, South Korea

    2 publications · 39 citations

    2

    h-index

  2. EC
    Eric Conquet

    Integra (United States), United States

    1 publications · 30 citations

    1

    h-index

  3. GK
    Gerwin Klein

    UNSW Sydney, Australia

    1 publications · 39 citations

    1

    h-index

  4. FA
    Florian‐Michael Adolf

    Deutsches Zentrum für Luft- und Raumfahrt e. V. (DLR), Germany

    1 publications · 10 citations

    1

    h-index

  5. MT
    Michel Turin

    European Space Research and Technology Centre, Netherlands

    1 publications · 30 citations

    1

    h-index

1–5 of 99

Institutions

49

  1. Korea Atomic Energy Research Institute

    Daejeon, South Korea

    2 h-index

    4 publications

    95 citations

  2. Association Vinçotte Nuclear

    Brussels, Belgium

    2 h-index

    2 publications

    111 citations

  3. McMaster University

    Hamilton, Canada

    2 h-index

    2 publications

    111 citations

  4. Universidade Estadual da Paraíba

    Campina Grande, Brazil

    1 h-index

    4 publications

    40 citations

  5. École Normale Supérieure

    Bujumbura, Burundi

    1 h-index

    4 publications

    120 citations

  6. Cedar Rapids Public Library

    Cedar Rapids, United States

    1 h-index

    1 publications

    40 citations

  7. Universidad Politécnica de Madrid

    Madrid, Spain

    1 h-index

    1 publications

    31 citations

  8. Leatherhead Food Research

    Leatherhead, United Kingdom

    1 h-index

    2 publications

    136 citations

1–8 of 49

Venues

  1. International Conference on Software Engineering

    Conference · 2 publications · 84 citations

    2

    h-index

  2. HAL (Le Centre pour la Communication Scientifique Directe)

    Repository · 2 publications · 49 citations

    2

    h-index

  3. CTIT technical reports series

    1 publications · 76 citations

    1

    h-index

  4. 1

    h-index

  5. Software Engineering Journal

    1 publications · 68 citations

    1

    h-index

1–5