[HASLab]  [UM][EEng]
IVYworkbench
About
The IVY workbench is a model based tool for the analysis of interactive systems designs. The tool acts as a frontend to the NuSMV model checker, creating an abstraction layer where models of interactive systems can be developed and analysed.
Watch the presentation...
Downloads
Tool
If you would like to try IVY, please contact ivyworkbench"at"gmail.com.
Models
See HCIspec@di
Publications
Demonstrating that medical devices satisfy user related safety requirements download
M.D. Harrison, P. Masci, J.C. Campos and P. Curzon (forthcoming) In Foundations of Health Information Engineering and Systems, Lecture Notes in Computer Science. Springer. (in press)
Formal Verification of a Space System's User Interface with the IVY workbench   visit publisher download
J.C. Campos, M. Sousa, M. Alves and M.D. Harrison (2016) IEEE Transactions on Human-Machine Systems, 46(2):303-316.
Templates as heuristics for proving properties of medical devices   visit publisher
M. Harrison, J.C. Campos, P. Masci and P. Curzon (2015) In 5th EAI International Conference on Wireless Mobile Communication and Healthcare - "Transforming healthcare through innovations in mobile and wireless technologies". ACM.
Layers, resources and property templates in the specification and analysis of two interactive systems download
J.C. Campos, P. Masci, P. Curzon and M.D. Harrison (2015) In Proceedings of the Workshop on Formal Methods in Human Computer Interaction (FoMHCI) 2015, pages 38-43. Universitätsbibliothek, RWTH Aachen University.
Reusing models and properties in the analysis of similar interactive devices   visit publisher download from RepositoriUM
M.D. Harrison, J.C. Campos and P. Masci (2015) Innovations in Systems and Software Engineering, 11(2):95-111, June.
Analysing interactive devices based on information resource constraints   visit publisher download from RepositoriUM
J.C. Campos, G. Doherty and M.D. Harrison (2014) International Journal of Human-Computer Studies, 72(3):284-297, March.
Formal Verification of Safety-Critical User Interfaces: a space system case study download
M. Sousa, J.C. Campos, M. Alves and M.D. Harrison (2014) In Formal Verification and Modeling in Human Machine Systems: Papers from the AAAI Spring Symposium, pages 62-67. AAAI Press.
Automated theorem proving for the systematic analysis of interactive systems   visit publisher
M.D. Harrison, P. Masci, J.C. Campos and P. Curzon (2013) Electronic Communications of the EASST, 69: Formal Methods for Interactive Systems 2011. (ISSN: 1863-2122)
Modelling and systematic analysis of interactive systems   visit publisher download from RepositoriUM
M.D. Harrison, J.C. Campos, P. Masci and N. Thomas (2012) In Matthew L. Bolton, Asaf Degani and Philippe Palanque, editors, Proceedings of the Workshop on Formal Methods in Human-Machine Interaction (Formal H), pages 25-28.
Modelling and analysing the interactive behaviour of an infusion pump   visit publisher
J.C. Campos and M.D. Harrison (2011) Electronic Communications of the EASST, 45: Formal Methods for Interactive Systems 2011. (ISSN: 1863-2122)
Interaction engineering using the IVY tool   visit publisher download
J. C. Campos and M. D. Harrison (2009) In ACM Symposium on Engineering Interactive Computing Systems (EICS 2009), pages 35-44. ACM.
Considering context and users in interactive systems analysis
J.C. Campos and M.D. Harrison (2008) In Engineering Interactive Systems, volume 4940 of Lecture Notes in Computer Science, pages 193-209. Springer-Verlag. (ISBN: 978-3-540-92697-9)
Analysing Human Aspects of Safety-Critical Software   visit publisher
M. Harrison and J. C. Campos (2008) ERCIM News, 75:18, October. (Invited paper; ISSN: 0926-4981)
Formal analysis of interactive systems: opportunities and weaknesses   visit publisher
M. D. Harrison, J. C. Campos and K. Loer (2008) In P. Cairns and A. Cox, editors, Research Methods in Human Computer Interaction, pages 88-111. Cambridge University Press.
Systematic analysis of control panel interfaces using formal tools   visit publisher
J. C. Campos and M. D. Harrison (2008) In XVth International Workshop on the Design, Verification and Specification of Interactive Systems (DSV-IS 2008), number 5136 of Lecture Notes in Computer Science, pages 72-85. Springer-Verlag.
Resources for Situated Actions   visit publisher
G. J. Doherty, J. C. Campos and M. D. Harrison (2008) In XVth International Workshop on the Design, Verification and Specification of Interactive Systems (DSV-IS 2008), number 5136 of Lecture Notes in Computer Science, pages 194-207. Springer-Verlag.
Connecting rigorous system analysis to experience centred design   visit publisher
M. D. Harrison, J. C. Campos, G. Doherty and K. Loer (2008) In E. Law, E. Hvannberg and G. Cockton, editors, Maturing Usability: Quality in Software, Interaction and Value, Human-Computer Interaction Series, pages 56-74. Springer. (ISSN: 1571-5035; ISBN: 978-1-84628-940-8)
Supporting resource-based analysis of task information needs   visit publisher download from RepositoriUM
J. C. Campos and G. J. Doherty (2006) In S.W. Gilroy and M.D. Harrison, editors, Interactive Systems: Design, Specification and Verification, volume 3941 of Lecture Notes in Computer Science, pages 188-200. Springer-Verlag. (ISSN: 0302-9743, ISBN: 3-540-34145-5)
jfc © 2010