Safer C: Developing software for high-integrity and safety-critical systems. Les Hatton. Published by McGraw-Hill Book Company Europe, Maidenhead, U.K., 1995. ISBN 0 07 707640 0, 229 pages. Price: £22.95, soft cover

Deryk Pavey

doi:10.1002/stvr.4370050306

Safer C: Developing software for high-integrity and safety-critical systems. Les Hatton. Published by McGraw-Hill Book Company Europe, Maidenhead, U.K., 1995. ISBN 0 07 707640 0, 229 pages. Price: £22.95, soft cover

Software Testing Verification and Reliability ◽

10.1002/stvr.4370050306 ◽

1995 ◽

Vol 5 (3) ◽

pp. 203-204

Author(s):

Deryk Pavey

Keyword(s):

Critical Systems ◽

Safety Critical ◽

Hill Book Company ◽

Mcgraw Hill Book Company ◽

High Integrity ◽

Safety Critical Systems

Download Full-text

Safer C: Developing software for high-integrity and safety-critical systems

Control Engineering Practice ◽

10.1016/s0967-0661(96)90046-5 ◽

1996 ◽

Vol 4 (10) ◽

pp. 1484

Author(s):

Charles Radley

Keyword(s):

Critical Systems ◽

Safety Critical ◽

High Integrity ◽

Safety Critical Systems

Download Full-text

Auditing source code in high-integrity and safety-critical systems

Computer Audit Update ◽

10.1016/0960-2593(96)88548-x ◽

1996 ◽

Vol 1996 (7) ◽

pp. 10-18

Author(s):

Les Hatton

Keyword(s):

Source Code ◽

Critical Systems ◽

Safety Critical ◽

High Integrity ◽

Safety Critical Systems

Download Full-text

Customization of Rational Unified Process (RUP) Methodology for Safety-Critical Systems

International Review on Computers and Software (IRECOS) ◽

10.15866/irecos.v11i6.9184 ◽

2016 ◽

Vol 11 (6) ◽

pp. 566

Author(s):

Mina Zaminkar ◽

Mohammad Reza Reshadinezhad

Keyword(s):

Critical Systems ◽

Safety Critical ◽

Unified Process ◽

Safety Critical Systems

Download Full-text

Generation of testing script based on XML for safety-critical systems

Journal of Computer Applications ◽

10.3724/sp.j.1087.2011.00281 ◽

2011 ◽

Vol 31 (1) ◽

pp. 281-285

Author(s):

Huan HE ◽

Zhong-wei XU ◽

Gang YU ◽

Shi-yu YANG

Keyword(s):

Critical Systems ◽

Safety Critical ◽

Safety Critical Systems

Download Full-text

Characteristics of human behaviour in safety critical systems by the example of European railway control centres

3rd IET International Conference on System Safety 2008 ◽

10.1049/cp:20080708 ◽

2008 ◽

Author(s):

T. Zahler

Keyword(s):

Human Behaviour ◽

Critical Systems ◽

Safety Critical ◽

Safety Critical Systems

Download Full-text

Moving and improving in safety-critical systems: Impacts of head-mounted displays on operator mobility, performance, and situation awareness

International Journal of Human-Computer Studies ◽

10.1016/j.ijhcs.2021.102606 ◽

2021 ◽

Vol 150 ◽

pp. 102606

Author(s):

Aaron Rowen ◽

Martha Grabowski ◽

Jean-Philippe Rancy

Keyword(s):

Situation Awareness ◽

Critical Systems ◽

Safety Critical ◽

Mobility Performance ◽

Head Mounted Displays ◽

Safety Critical Systems

Download Full-text

Estimation of the Coverage Probability of S-Parameters for Safety-Critical Systems with Hotelling’s T2 Distribution

2021 96th ARFTG Microwave Measurement Conference (ARFTG) ◽

10.1109/arftg49670.2021.9425152 ◽

2021 ◽

Author(s):

Franz G. Aletsee

Keyword(s):

Coverage Probability ◽

Critical Systems ◽

Safety Critical ◽

Hotelling's T2 ◽

T2 Distribution ◽

S Parameters ◽

Hotelling’S T2 ◽

Safety Critical Systems

Download Full-text

Reliability and Safety Engineering for Safety Critical Systems: An Interview Study With Industry Practitioners

IEEE Transactions on Reliability ◽

10.1109/tr.2021.3051635 ◽

2021 ◽

pp. 1-11

Author(s):

Pooja Singh ◽

Lalit Kumar Singh

Keyword(s):

Interview Study ◽

Safety Engineering ◽

Critical Systems ◽

Safety Critical ◽

Safety Critical Systems

Download Full-text

Independence and Non-interference: Two Cardinal Concepts to Develop EE Architectures Hosting Safety-Critical Systems

10.4271/2009-01-0739 ◽

2009 ◽

Author(s):

Michel Leeman ◽

Paul Degoul ◽

Pascal Chaussis

Keyword(s):

Critical Systems ◽

Safety Critical ◽

Safety Critical Systems

Download Full-text

An ontological approach to hazard identification for safety-critical systems

2017 Second International Conference on Reliability Systems Engineering (ICRSE) ◽

10.1109/icrse.2017.8030746 ◽

2017 ◽

Cited By ~ 2

Author(s):

Jiale Zhou ◽

Kaj Hanninen ◽

Kristina Lundqvist ◽

Luciana Provenzano

Keyword(s):

Hazard Identification ◽

Critical Systems ◽

Safety Critical ◽

Ontological Approach ◽

Safety Critical Systems

Download Full-text