SCOPUS 정보 검색 플랫폼

Safety Science

Volumn 40, Issue 9, 2002, Pages 813-833

The dynamic flowgraph methodology as a safety analysis tool: Programmable electronic system design and verification

(4) Houtermans, Michel a Apostolakis, George b Brombacher, Aarnout c Karydas, Dimitrios d

a Automation Software and Electronics (United States)

b Massachusetts Institute of Technology (United States)

c EINDHOVEN UNIVERSITY OF TECHNOLOGY (Netherlands)

d Factory Mutual Research (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER AIDED SOFTWARE ENGINEERING; COMPUTER HARDWARE; COMPUTER SOFTWARE SELECTION AND EVALUATION;

DYNAMIC FLOWGRAPHS;

SECURITY SYSTEMS;

ARTICLE; COMPUTER; COMPUTER PROGRAM; COMPUTER SYSTEM; ELECTRONICS; METHODOLOGY; PRIORITY JOURNAL; RELIABILITY; RISK ASSESSMENT; SAFETY; SYSTEM ANALYSIS;

EID: 0036089763 PISSN: 09257535 EISSN: None Source Type: Journal
DOI: 10.1016/S0925-7535(01)00087-X Document Type: Article

Times cited : (13)

References (25)

1
- 0004265622
- Chichester: John Wiley & Sons
- (1992) Reliability by Design
- Brombacher, A.C.¹

2
- 0006101514
- Munich: Automation, Software and Electronics - IQSE, Public- Version 2.0
- (1998) Quality Assurance Procedures
- Faller, R.¹

3
- 0006094968
- Seattle, WA: 2nd Workshop on Human Error, Safety, and System Development
- (1998) Context And Software Safety Assessment
- Garrett, C.¹ Apostolakis, G.E.²

4
- 0029306360
- The dynamic flowgraph methodology for assessing the dependability of embedded software systems
- (1995) IEEE Transactions on Systems, Man and Cybernetics , vol.25 , pp. 824-840
- Garrett, C.J.¹ Guarro, S.B.² Apostolakis, G.E.³

5
- 0022252694
- Software reliability models: Assumptions, limitations and applicability
- (1985) IEEE Transactions on Software Engineering, SE-11
- Goel, A.L.¹

6
- 0006057299
- Formalizing fault trees
- Springer Verlag
- (1995) Achievement and Assurance of Safety , pp. 311-327
- Górsky, A.¹ Wardziński²

7
- 84882961670
- Deriving real-time requirements for software from safety analysis
- IEEE Computer Society Press
- (1996) Proceedings of the 8th EUROMICRO Workshop on Real-Time Systems
- Górsky, A.¹ Wardziński²

8
- 0024139554
- A logic flowgraph-based concept for decision support and management of nuclear plant operation
- (1998) Reliability Engineering and System Safety , vol.22 , pp. 313-330
- Guarro, S.B.¹

9
- 0021635235
- The logic flowgraph: A new approach to process failure modeling and diagnosis for disturbance analysis applications
- (1984) Nuclear Technology , vol.67 , pp. 348-359
- Guarro, S.B.¹ Okrent, D.²

10
- 84919221852
- Embedded system reliability and safety analysis in the UCLA ESSAE project
- Beverly Hills, CA
- (1991) Procedures International Conference Probabilistic Safety Assessment and Management (PSAM) , pp. 4-7
- Guarro, S.B.¹ Wu, J.S.² Apostolakis, G.E.³ Yau, M.⁴

11
- 0006101515
- Cologne, Germany, 16-17 March
- (1992) Accident Management Advisor System (AMAS): A Decision Aid for Interpreting Instrument Information and Managing Accident Conditions in Nuclear Power Plants. OECD/CSNI Specialists meeting on instrumentation to manage sever accidents
- Guarro, S.B.¹ Milici, T.² Wu, J.-S.³ Apostolakis, G.⁴

12
- 51349085766
- An executable temporal logic to express safety properties and its connection with the language Lustre
- Quebec
- (1993) Sixth International Symp. On Lucid and Intensional Programming, ISLIP'93
- Halbwachs, N.¹ Fernandez, J.-C.² Bouajjanni, A.³

13
- 0003839406
- Piscataway, New Jersey: IEEE PRESS
- (1992) Probabilistic Risk Assessment, Reliability Engineering, Design, and Analysis
- Henley, E.J.¹ Kumamoto, H.²

14
- 0003615659
- International Electrotechnical Committee
- (1999) Functional Safety of Electrical/Electronic/Programmable Electronic Safety-Related Systems, Part 1- 7

15
- 0003445361
- Reading MA: Addison Wesley
- (1995) Safeware, System Safety and Computers
- Leveson, N.G.¹

16
- 0020822028
- Analyzing Software Safety
- (1983) IEEE Transactions on Software Engineering , vol.9
- Leveson, N.G.¹ Harvey, P.R.²

17
- 0023314258
- Safety analysis using petri nets
- (1987) IEEE Transactions on Software Engineering , vol.13
- Leveson, N.G.¹ Stolzy, J.L.²

18
- 84935410791
- Preface: Special issue on software reliability and safety
- (1990) Reliability Engineering and System Safety , vol.32
- Littlewood, B.¹ Miller, D.²

19
- 0006020790
- New York: PSAM 4
- (1998) Software Safety Analysis of the Space Shuttle Main Engine Control Software
- Milici, A.¹ Yau, M.² Guarro, S.³

20
- 0024917626
- A Real-Time Interval Logic for Reasoning about Executions of Real-Time Programs
- (1989) ACM Press Software Engineering Notes , vol.14
- Razouk, R.R.¹ Gorlick, M.M.²

21
- 0003894709
- Wiley
- System Safety: HAZOP and Software HAZOP , pp. 1999
- Redmill, F.¹ Chudleigh, M.² Catmur, J.³

22
- 0006091774
- PhD thesis, UCLA
- (1990) Space Nuclear Reactor System Diagnosis: A Knowledge Based Approach
- Ting, Y.T.D.¹

23
- 0006098368
- Virginia: National Technical Information Service
- (1620) Failure Mode and Effect Analysis

24
- 0001418674
- Demonstration of the Dynamic Flowgraph Methodology using the Titan II space launch vehicle digital flight control system
- (1995) Reliability Engineering and System Safety , vol.49 , pp. 335-353
- Yau, M.¹ Guarro, S.B.² Apostolakis, G.E.³

25
- 0032184537
- The use of prime implicants in dependability analysis of software controlled systems
- (1998) Reliability Engineering and System Safety , vol.62 , pp. 23-32
- Yau, M.¹ Apostolakis, G.² Guarro, S.³

* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.