Design of software for safety critical systems

Shyamasundar, R. K. (1994) Design of software for safety critical systems Sadhana : Academy Proceedings in Engineering Sciences, 19 (6). pp. 941-969. ISSN 0256-2499

[img]
Preview
PDF - Publisher Version
3MB

Official URL: http://www.ias.ac.in/j_archive/sadhana/19/6/941-96...

Related URL: http://dx.doi.org/10.1007/BF02743937

Abstract

In this paper, we provide an overview of the use of formal methods in the development of safety critical systems and the notion ofsafety in the context. Our attempt would be to draw lessons from the various research efforts that have gone in towards the development of robust/reliable software for safety-critical systems. In the context of India leaping into hi-tech areas, we argue for the need of a thrust in the development of quality software and also discuss the steps to be initiated towards such a goal.

Item Type:Article
Source:Copyright of this article belongs to Indian Academy of Sciences.
Keywords:Formal Methods; Safety-critical Systems; Software Design; Synchronous Programming Paradigm
ID Code:56599
Deposited On:24 Aug 2011 10:58
Last Modified:18 May 2016 08:21

Repository Staff Only: item control page