Towards usable and relevant model checking techniques for the analysis of dependable interactive systems

Proceedings - ASE 2002: 17th IEEE International Conference on Automated Software Engineering

Volumn , Issue , 2002, Pages 223-226

  Loer, K ^a   Harrison, M ^a  

^a UNIVERSITY OF YORK   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATION; SAFETY ENGINEERING; SOFTWARE ENGINEERING; SYSTEMS ANALYSIS;

AUTOMATED ANALYSIS; COUNTER EXAMPLES; DEPENDABLE SYSTEMS; FORMAL TECHNIQUES; HUMAN INTERFACE; INTERACTIVE SYSTEM; MODEL-CHECKING TECHNIQUES; SAFETY CRITICAL SYSTEMS;

MODEL CHECKING;

EID: 84982075601     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ASE.2002.1115016     Document Type: Conference Paper

References (13)

1. Beevis, D., Bost, R., Döring, B., Nordø, E., Oberman, F., Papin, J.-F., Schuffel, H., and Streets, D. (1994). Analysis Techniques for Man-Machine Systems Design. Technical Report AC/243(Panel 8)TR/7, North Atlantic Treaty Organization, Defence Research Group.
2. Campos, J. C. (1999). Automated Deduction and Usability Reasoning. PhD thesis, Department of Computer Science, University of York, UK.
3. Cimatti, A., Clarke, E., Giunchiglia, E., Giunchiglia, F., Pistore, M., Roveri, M., Sebastiani, R., and Tacchella, A. (2002). NuSMV 2: An Open Source Tool for Symbolic Model Checking. In Computer-Aided Verification (CAV '02), Lecture Notes in Computer Science. Springer-Verlag.
4. Clarke, E. and Heinle, W. (2000). Modular Translation of Statecharts to SMV. Technical Report CMU-CS-00-XXX, School of Computer Science, Carnegie Mellon University, Pittsburgh, PA 15213.
5. Degani, A. (1996). On Modes, Error, and Patterns of Interaction. PhD thesis, Georgia Institute of Technology.
6. Dix, A., Finlay, J., Abowd, G., and Beale, R. (1998). Human Computer Interaction (2nd edition). Prentice Hall Europe.
7. Dwyer, M., Avrunin, G., and Corbett, J. (1999). Patterns in property specifications for finite-state verification. In 21st International Conference on Software Engineering, Los Angeles, California.
8. Harel, D. (1987). Statecharts: A visual formalism for complex systems. Science of Computer Programming, pages 231-274.
9. Harel, D., Loachover, H., Naamad, A., Pnueli, A., Politi, M., Sherman, R., Shtull-Trauring, A., and Trakhtenbrot, M. (1990). STATEMATE: A Working Environment for the Development od Complex Reactive Systems. IEEE Transactions on Software Engineering, 16(4):403-413.
10. Loer, K. and Harrison, M. (2001). Formal interactive systems analysis and usability inspection methods: Two incompatible worlds? In Palanque, P. and Paternó, F., editors, 7th International Workshop on Design, Specification and Verification of Interactive Systems (DSV-IS 2000), volume 1946 of Lecture Notes in Computer Science, pages 169-190. Springer-Verlag.
11. Monk, A., Wright, P., Haber, J., and Davenport, L. (1993). Improving your human-computer interface: a practical technique. Prentice-Hall.
12. Nielsen, J. (1992). Finding usability problems throught heuristic evaluation. In Proc. of ACM CHI'92 Conference on Human Factors in Computing Systems, pages 249-256, New York. ACM.
13. Paternò, F. D. (1996). A Method for Formal Specification and Verification of Interactive Systems. PhD thesis, Department of Computer Science, University of York, UK.