A framework for designing safe software systems

Subramanian, S.; Vishnuvajjala, R.V.; Mojdehbakhsh, R.; Tsai, Wei‐Tek; Elliott, L.

doi:10.1109/cmpsac.1995.524808

Search citation statements

Order By: Relevance

Paper Sections

Select...

Related Work1

Citation Types

Supporting

Mentioning

Contrasting

Publication Types

Select...

Other3

Article2

Relationship

Self Cite0

Independent5

Authors

Journals

Cited by 6 publications

(1 citation statement)

References 7 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Useful procedures for applying fault tree techniques in software development are discussed in [29]. That work, however, does not discuss semantics at all.…”

Section: Related Workmentioning

confidence: 99%

From safety analysis to software requirements

Hansen

Ravn

Stavridou

1998

IIEEE Trans. Software Eng.

101

View full text Add to dashboard Cite

Software for safety critical systems must deal with the hazards identified by safety analysis. This paper investigates, how the results of one safety analysis technique, fault trees, are interpreted as software safety requirements to be used in the program design process. We propose that fault tree analysis and program development use the same system model. This model is formalized in a real-time, interval logic, based on a conventional dynamic systems model with state evolving over time. Fault trees are interpreted as temporal formulas, and it is shown how such formulas can be used for deriving safety requirements for software components.

show abstract

“…Useful procedures for applying fault tree techniques in software development are discussed in [29]. That work, however, does not discuss semantics at all.…”

Section: Related Workmentioning

confidence: 99%