A Methodological Framework for Software Safety in Safety Critical Computer Systems

Journal of Computer Science ◽

10.3844/jcssp.2012.1564.1575 ◽

2012 ◽

Vol 8 (9) ◽

pp. 1564-1575 ◽

Author(s):

M.

Keyword(s):

Computer Systems ◽

Methodological Framework ◽

Software Safety ◽

Safety Critical

Download Full-text

Software safety risk in legacy safety-critical computer systems

Proceedings 2007 IEEE SoutheastCon ◽

10.1109/secon.2007.342891 ◽

2007 ◽

Author(s):

Janice Hill ◽

Rhoda Baggs

Keyword(s):

Computer Systems ◽

Software Safety ◽

Safety Risk ◽

Safety Critical

Download Full-text

Software Safety Analysis to Identify Critical Software Faults in Software-Controlled Safety-Critical Systems

ICT and Critical Infrastructure: Proceedings of the 48th Annual Convention of Computer Society of India- Vol II - Advances in Intelligent Systems and Computing ◽

10.1007/978-3-319-03095-1_48 ◽

2014 ◽

pp. 455-465

Author(s):

Ben Swarup Medikonda ◽

P. Seetha Ramaiah

Keyword(s):

Safety Analysis ◽

Critical Systems ◽

Software Safety ◽

Software Faults ◽

Safety Critical ◽

Safety Critical Systems

Download Full-text

Software safety in embedded computer systems

Communications of the ACM ◽

10.1145/102792.102799 ◽

1991 ◽

Vol 34 (2) ◽

pp. 34-46 ◽

Author(s):

Nancy G. Leveson

Keyword(s):

Computer Systems ◽

Software Safety ◽

Embedded Computer

Download Full-text

Safety critical computer systems: An information management perspective on their development

2008 4th IEEE International Conference on Management of Innovation and Technology ◽

10.1109/icmit.2008.4654553 ◽

2008 ◽

Author(s):

Paul Attasara-Mason

Keyword(s):

Information Management ◽

Computer Systems ◽

Safety Critical ◽

Management Perspective

Download Full-text

Conceptual Modeling for Safety Critical Computer Systems

2008 Ninth ACIS International Conference on Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing ◽

10.1109/snpd.2008.96 ◽

2008 ◽

Author(s):

P. Seetha Ramaiah ◽

M. Ben Swarup ◽

K. Raja Kumar

Keyword(s):

Computer Systems ◽

Conceptual Modeling ◽

Safety Critical

Download Full-text

An Approach to Modeling Software Safety in Safety-Critical Systems

Journal of Computer Science ◽

10.3844/jcssp.2009.311.322 ◽

2009 ◽

Vol 5 (4) ◽

pp. 311-322 ◽

Author(s):

Medikonda

Keyword(s):

Critical Systems ◽

Software Safety ◽

Safety Critical ◽

Modeling Software ◽

Safety Critical Systems

Download Full-text

Scalable Diversity-Oriented Decisions and Technologies for Dependable SoPC-Based Safety-Critical Computer Systems and Infrastructures

2008 Third International Conference on Dependability of Computer Systems DepCoS-RELCOMEX ◽

10.1109/depcos-relcomex.2008.21 ◽

2008 ◽

Author(s):

Vyacheslav Kharchenko ◽

Siora Alexandr ◽

Vladimir Sklyar ◽

Viktor Tokarev

Keyword(s):

Computer Systems ◽

Safety Critical

Download Full-text

Cover feature - Designing safety-critical computer systems

Computer ◽

10.1109/mc.2003.1244533 ◽

2003 ◽

Vol 36 (11) ◽

pp. 40-46 ◽

Author(s):

W.R. Dunn

Keyword(s):

Computer Systems ◽

Safety Critical

Download Full-text

An Optimal Weighted-Average Voting Algorithm for Software Safety Estimation on Safety-Critical Systems

ACM SIGSOFT Software Engineering Notes ◽

10.1145/2788630.2788640 ◽

2015 ◽

Vol 40 (4) ◽

pp. 1-7

Author(s):

B. Umamaheswrarao ◽

P. Seetharamaiah ◽

S. Phanikumar

Keyword(s):

Weighted Average ◽

Critical Systems ◽

Software Safety ◽

Safety Critical ◽

Safety Critical Systems ◽

Safety Estimation

Download Full-text

Scalable diversity-oriented decisions and technologies for dependable SoPC-based safety-critical computer systems and infrastructures

International Journal of Critical Computer-Based Systems ◽

10.1504/ijccbs.2010.031890 ◽

2010 ◽

Vol 1 (1/2/3) ◽

pp. 24

Author(s):

Vyacheslav Kharchenko ◽

Volodymyr Sklyar

Keyword(s):

Computer Systems ◽

Safety Critical

Download Full-text