Contributing to safety and due diligence in safety-critical interactive systems development by generating and analyzing finite state models

EICS'09 - Proceedings of the ACM SIGCHI Symposium on Engineering Interactive Computing Systems

Volumn , Issue , 2009, Pages 221-230

  Thimbleby, Harold ^a  

^a SWANSEA UNIVERSITY   (United Kingdom)

Author keywords

Discovery tools; Interaction programming; Model checking

Indexed keywords

DEVELOPMENT PROCESS; DUE DILIGENCE; EXISTING SYSTEMS; FINITE-STATE MODELS; INTERACTION DESIGN; INTERACTION PROGRAMMING; INTERACTIVE SYSTEM; SAFETY-CRITICAL; USER INTERFACE DEVELOPMENT;

BRIDGES; COMPUTER SYSTEMS; RISK ASSESSMENT; SAFETY ENGINEERING; USER INTERFACES;

MODEL CHECKING;

EID: 77949415424     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1570433.1570474     Document Type: Conference Paper

References (19)

1. Appert, C. & Beaudouin-Lafon, M. (2008) SwingStates: Adding state machines to Java and the Swing toolkit, Software - Practice & Experience, 38(11):1149-1182.
2. Bouillon L., Vanderdonckt, J. & Chieu Chow, K. (2004) Flexible Re-engineering of Web Sites, in proceedings of the international conference on Intelligent User Interfaces, IUI'04, pp132-139.
3. Claessen, K. & Hughes, J. (2000) QuickCheck: A Lightweight Tool for Random Testing of Haskell Programs, ACM SIGPLAN Notices, 35(9):268-279.
4. Clarke, E. M. & Wing, J. M. (1996) Formal methods: State of the art and future directions, ACM Computing Surveys, 28:626-643.
5. Holzman, G. J. & Smith, M. H. (2001) Software Model Checking: Extracting Verification Models from Source Code, Proc. Software Testing, Verification and Reliability, 11:65-79.
6. Institute of Safe Medication Practices (2007) PCA Drug Libraries: Designing, Implementing, and Analyzing CQI Reports to Optimize Patient Safety, www.ismp.org/profdevelopment/PCADrugLibrariesforwebce.pdf
7. Institute of Safe Medication Practices (2007) Flourouracil incident root cause analysis, www.cancerboard.ab.ca/NR/rdonlyres/2FB61BC4-70CA-4E58- BDE1-1E54797BA47D/0/FluorouracilIncidentMay2007.pdf
8. Institute of Safe Medication Practices (2006) List of Error-Prone Abbreviations, Symbols and Dose Designations, www.ismp.org/tools/abbreviations
9. Jackson, D. (2006) Software Abstractions: Logic, Language, and Analysis, MIT Press.
10. John, B. E., Prevas, K., Salvucci, D. D. & Koedinger, K. (2004) Predictive Human Performance Modeling Made Easy, Proc. ACM CHI, 455-462.
11. Memon, A., Banerjee, I. & Nagarajan, A. (2003) GUI Ripping: Reverse Engineering of Graphical User Interfaces for Testing, Proc. Working Conf. on Reverse Engineering, WCRE03, 260-269.
12. Mesbah, A., Bozdag, E. & van Deursen, A. (2008) Crawling AJAX by Inferring User Interface State Changes, Proc. 8th. Int. Conf. Web Engineering, ICWE08, 122-134.
13. Silva, J. C., Campos, J. C., & Saraiva, J. (2007) Combining formal methods and functional strategies regarding the reverse engineering of interactive applications, Proc. Interactive Systems. Design, Specification, and Verification, Lecture Notes in Computer Science, 4323:137-150.
14. Reason, J. (2008) Human error: models and management, British Medical Journal, 320:768-770.
15. Thimbleby, H. (2007) Press On: Principles of Interaction Programming, MIT Press, Boston, Mass. USA.
16. Thimbleby, H. (2007) User-centered Methods are Insufficient for safety-critical Systems, Proceedings USAB'07 - Usability & HCI for Medicine and Health Care, Springer Lecture Notes in Computer Science, 4799:1-20.
17. Thimbleby, H. (2008) Ignorance of interaction programming is killing people, ACM Interactions, 52-57, September+October.
18. Thimbleby, H. (2009) Interaction Programming: Next Steps, Proceedings ACM CHI, pp3811-3816.
19. www.isys.ucl.ac.be/bchi/research/vaquita.htm