SCOPUS 정보 검색 플랫폼

Formal Methods in System Design

Volumn 19, Issue 2, 2001, Pages 143-164

Using hybrid automata to support human factors analysis in a critical system

(3) Doherty, G a Massink, M b Faconti, G b

a RUTHERFORD APPLETON LABORATORY (United Kingdom)

b ISTI CNR (Italy)

Author keywords

Critical systems; Human factors; Hybrid automata

Indexed keywords

AIRCRAFT INSTRUMENTS; ANIMATION; COMPUTER SIMULATION; HAPTIC INTERFACES; HUMAN COMPUTER INTERACTION; HUMAN ENGINEERING; INTERACTIVE COMPUTER SYSTEMS; LARGE SCALE SYSTEMS; SCADA SYSTEMS; SYSTEMS ANALYSIS;

CRITICAL SYSTEMS; FLIGHT DECK INSTRUMENT; HYBRID AUTOMATA; HYDRAULICS SUBSYSTEM;

AUTOMATA THEORY;

EID: 0035448067 PISSN: 09259856 EISSN: None Source Type: Journal
DOI: 10.1023/A:1011232016683 Document Type: Article

Times cited : (6)

References (21)

1
- 0003680512
- Specification and verification of media constraints using UPPAAL
- (1998) Design, Specification and Verification of Interactive Systems, Proceedings of the 5th Eurographics Workshop, Abingdon, U.K. , pp. 261-277
- Bowman, H.¹ Faconti, G.P.² Massink, M.³

2
- 0004572262
- Formally verifying interactive systems: A review
- in M. Harrison and J. Torres (Eds.)
- Design, Specification, and Verification of Interactive Systems, Proceedings of the Eurographics Workshop, Eurographic Books Series, Springer, Granada, Spain, 1997 , pp. 109-124
- Campos, J.C.¹ Harrison, M.D.²

3
- 40149092144
- The tool KRONOS
- Springer
- (1996) Hybrid Systems III, Verification and Control, Vol. 1066 of Lecture Notes in Computer Science , pp. 208-219
- Daws, C.¹ Olivero, A.² Tripakis, S.³ Yovine, S.⁴

4
- 84902446090
- Using executable interactor specifications to explore the impact of operator interaction error
- in P. Daniel (Ed.)
- SAFECOMP 97: Proceedings of the 16th International Conference Computer Safety, Reliability and Security, Springer, York, U.K., 1997 , pp. 138-147
- Dearden, A.¹ Harrison, M.²

5
- 0003588117
- D. Diaper (Ed.); Ellis Horwood, Chichester
- (1989) Task Analysis for Human-Computer Interaction, Ellis Horwood Books in Information Technology

6
- 0004032573
- Academic Press, London, U.K.
- (1991) Formal Methods for Interactive Systems
- Dix, A.¹

7
- 0003604962
- A pragmatic approach to the formal specification of interactive systems
- D.Phil. Thesis, Department of Computer Science, University of York
- (1998)
- Doherty, G.¹

8
- 0032267899
- Syndetic modelling
- (1998) Human Computer Interaction , vol.13 , Issue.4 , pp. 337-393
- Duke, D.¹ Barnard, P.² May, J.³ Duce, D.⁴

9
- 0003530650
- Device models
- in F. Bodart and J. Vanderdonckt (Eds.); Eurographics Books Series, Springer, Namur, Belgium
- (1996) Design, Specification and Verification of Interactive Systems'96, Proceedings of the Eurographics Workshop , pp. 73-91
- Faconti, G.¹ Duke, D.²

10
- 0003526490
- Inference and information resources: A design case study
- (1998) Design, Specification and Verification of Interactive Systems, Proceedings of the 5th Eurographics Workshop, Abingdon, U.K. , pp. 41-56
- Fields, R.E.¹ Merriam, N.A.²

11
- 0000324009
- Formalizing the repair process-extended report
- Special Issue on Principles of Model-Based Diagnosis, Baltzer Science Publishers
- (1994) Annals of Mathematics and Artificial Intelligence , vol.11 , Issue.1-4 , pp. 187-201
- Friedrich, G.¹ Gottlob, G.² Nejdl, W.³

12
- 21844524713
- A review of formalisms for describing interactive behaviour
- in R. Taylor and J. Coutaz (Eds.); Springer-Verlag
- (1995) Workshop on Software Engineering and Human Computer Interaction: Joint Research Issues, Proceedings of the ICSE'94 Workshop, Sorrento, Italy, Lecture Notes in Computer Science , vol.896 , pp. 49-75
- Harrison, M.D.¹ Duke, D.²

13
- 0029701554
- The theory of hybrid automata
- IEEE Computer Society Press, New Brunswick, New Jersey, USA
- (1996) Proceedings of 11th Annual IEEE Symposium on Logic in Computer Science , pp. 278-292
- Henzinger, T.A.¹

14
- 84896819101
- HyTech: A model checker for hybrid systems
- in O. Grumberg (Ed.); Springer-Verlag
- (1997) Computer Aided Verification, Proceedings of CAV'97, Haifa, Israel, Vol. 1254 of Lecture Notes in Computer Science , pp. 110-122
- Henzinger, T.A.¹ Ho, P.H.² Wong-Toi, H.³

15
- 0003847015
- Academic Press, London
- (1993) Human Reliability Assessment, Context and Control
- Hollnagel, E.¹

16
- 4243505129
- Using autograph to create input for hytech
- Jensen, P.¹ Sørensen, M.² Gravgaard, J.³ Christensen, P.⁴

17
- 84896693115
- UPPAAL in a nutshell
- (1997) International Journal on Software Tools for Technology Transfer , vol.1 , Issue.1 , pp. 134-152
- Larsen, K.¹ Pettersson, P.² Yi, W.³

18
- 0003597734
- P. Markopoulos and P. Johnson (Eds.); Eurographics Book Series, Springer
- (1998) Design, Specification and Verification of Interactive Systems, Proceedings of the 5th Eurographics Workshop, Abingdon, U.K.

19
- 0000879330
- Oops, it didn't arm-A case study of two automation surprises
- in R.S. Jensen and L.A. Rakovan (Eds.)
- Proceedings of the Eighth International Symposium on Aviation Psychology, Ohio State University, Columbus, Ohio, 1995 , pp. 227-232
- Palmer, E.¹

20
- 0036466927
- Using model checking to help discover mode confusions and other automation surprises
- in D. Javaux (Ed.); A revised journal version is due to appear in Reliability Engineering and System Safety, Elsevier
- Proceedings of the 3rd Workshop on Human Error, Safety and System Development (HESSD '99), University of Liege, Belgium, 1999
- Rushby, J.¹

21
- 0032678922
- The hybrid world of virtual environments
- in P. Brunet and R. Scopigno (Eds.)
- (1999) Computer Graphics Forum , vol.18 , Issue.3 , pp. 297-307
- Smith, S.¹ Duke, D.² Massink, M.³

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