SCOPUS 정보 검색 플랫폼

Proceedings of the International Conference on Dependable Systems and Networks

Volumn , Issue , 2010, Pages 45-51

A translation of state machines to temporal fault trees

(3) Mahmud, Nidhal a Papadopoulos, Yiannis a Walker, Martin a

a UNIVERSITY OF HULL (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

DEPENDABILITY ANALYSIS; DEPENDABILITY MODELS; DYNAMIC EFFECTS; FAILURE AVOIDANCE; FAILURE BEHAVIOUR; FAILURE PREVENTION; FAULT-TREES; GENERALIZED STOCHASTIC PETRI NETS; QUALITATIVE ANALYSIS; SAFETY CRITICAL SYSTEMS; STATE MACHINE; TEMPORAL SEQUENCING;

CONDITION MONITORING; CONTOUR FOLLOWERS; DYNAMIC ANALYSIS; PETRI NETS; QUALITY ASSURANCE; STOCHASTIC MODELS; TECHNICAL PRESENTATIONS; TEMPORAL LOGIC;

QUALITY CONTROL;

EID: 77956577041 PISSN: None EISSN: None Source Type: Conference Proceeding
DOI: 10.1109/DSNW.2010.5542620 Document Type: Conference Paper

Times cited : (17)

References (7)

1
- 33750991561
- Ph.D. thesis, University of York, UK
- Y. Papadopoulos, "Safety-Directed System Monitoring Using Safety Cases." Ph.D. thesis, University of York, UK. 2000.
- (2000) Safety-directed System Monitoring using Safety Cases
- Papadopoulos, Y.¹

2
- 0036368210
- Mode automata and their compilation into fault trees
- A. Rauzy, "Mode automata and their compilation into fault trees." Reliability Engineering and System Safety, 78(1): 1-12, 2002.
- (2002) Reliability Engineering and System Safety , vol.78 , Issue.1 , pp. 1-12
- Rauzy, A.¹

3
- 51049083247
- Carnegie Mellon Software Engineering Institute, N°CMU/SEI-2007-TN-043
- P. H. Feiler and A. E. Rugina, Dependability Modeling with the Architecture Analysis and Design Language (AADL), Carnegie Mellon Software Engineering Institute, N°CMU/SEI-2007-TN-043, 2007.
- (2007) Dependability Modeling with the Architecture Analysis and Design Language (AADL)
- Feiler, P.H.¹ Rugina, A.E.²

4
- 77953273546
- Ph.D. Thesis, Institut National Polytechnique de Toulouse - INPT, France
- A. Rugina, "Dependability Modeling and Evaluation - From AADL to Stochastic Petri Nets." Ph.D. Thesis, Institut National Polytechnique de Toulouse - INPT, France. 2007.
- (2007) Dependability Modeling and Evaluation - From AADL to Stochastic Petri Nets
- Regina, A.¹

5
- 51049090459
- Automatic generation of static fault trees from AADL models
- Edinburgh, Scotland - UK, June
- A. Joshi, S Vestal, and P. Binns, "Automatic Generation of Static Fault Trees from AADL Models." In DSN Workshop on Architecting Dependable Systems, Edinburgh, Scotland - UK, June 2007.
- (2007) DSN Workshop on Architecting Dependable Systems
- Joshi, A.¹ Vestal, S.² Binns, P.³

6
- 77954616642
- PhD Thesis, University of Hull, UK
- M. Walker, "Pandora - A Logic for the Qualitative Analysis of Temporal Fault Trees." PhD Thesis, University of Hull, UK. 2009.
- (2009) Pandora - A Logic for the Qualitative Analysis of Temporal Fault Trees
- Walker, M.¹

7
- 38349071061
- Compositional temporal fault tree analysis
- Saglietti, Oster, Norbert (eds), Lecture Notes in Computer Science 4680:, Springer. ISBN 978-3-540-7
- M. Walker, L. Bottaci, Y. Papadopoulos, "Compositional Temporal Fault Tree Analysis." In Computer Safety, Reliability, and Security - SAFECOMP'07, Saglietti, Oster, Norbert (eds), Lecture Notes in Computer Science 4680:105-119, Springer. ISBN 978-3-540-7. 2007.
- (2007) Computer Safety, Reliability, and Security - SAFECOMP'07 , pp. 105-119
- Walker, M.¹ Bottaci, L.² Papadopoulos, Y.³

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