Safety-critical Software Engineering

Safety-Critical Software Engineering is a subdiscipline of software engineering that focuses on the development, verification, and validation of software systems whose failure or malfunction could result in loss of life, serious injury, or significant environmental harm, particularly within domains such as embedded avionics where system reliability and functional safety are paramount.

570

Publications

26.2K

Citations

1.3K

Authors

507

Institutions

Publications per year

2017–2026

90

Authors

1.3K

  1. NG
    Nancy G. Leveson

    Massachusetts Institute of Technology, United States

    20 publications · 2.5K citations

    17

    h-index

  2. RR
    Robyn R. Lutz

    Iowa State University, United States

    14 publications · 807 citations

    12

    h-index

  3. JM
    John McDermid

    University of York, United Kingdom

    12 publications · 674 citations

    12

    h-index

  4. TK
    Tim Kelly

    University of York, United Kingdom

    10 publications · 259 citations

    10

    h-index

  5. MP
    Mats P. E. Heimdahl

    University of Minnesota, United States

    7 publications · 334 citations

    7

    h-index

1–5 of 1.3K

Venues

  1. IEEE Software

    15 publications · 669 citations

    15

    h-index

  2. Computer

    17 publications · 5.1K citations

    14

    h-index

  3. Reliability Engineering & System Safety

    14 publications · 303 citations

    11

    h-index

  4. IEEE Transactions on Reliability

    9 publications · 401 citations

    9

    h-index

  5. 9

    h-index

1–5