[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
Download here
Models
See HCIspec@di
Related Publications
J.C. Campos and N. Sousa
The MAL Interactors Animator: Supporting model validation through animation. In EICS 2018. ACM. (accepted)
M.D. Harrison, M. Drinnan, J.C. Campos, P. Masci, L. Freitas, C. di Maria and M. Whitaker (2017)
Safety analysis of software components of a dialysis machine using model checking. In Formal Aspects of Component Software, volume 10487 of Lecture Notes in Computer Science, pages 137-154. Springer.
visit publisher   download PDF  
M.D. Harrison, P. Masci, J.C. Campos and P. Curzon (2017)
Demonstrating that medical devices satisfy user related safety requirements. In Software Engineering in Healthcare (FHIES/SEHC 2014), volume 9062 of Lecture Notes in Computer Science, pages 113-128. Springer.
visit publisher   download PDF  
P. Machado, R. Couto and J.C. Campos (2017)
Um editor tabular para modelação de interfaces. In Atas do EPCGI 2017 - 24º Encontro Português de Computação Gráfica e Interação, pages 243-244.
J.C. Campos, M. Sousa, M. Alves and M.D. Harrison (2016)
Formal Verification of a Space System's User Interface with the IVY workbench. IEEE Transactions on Human-Machine Systems, 46(2):303-316.
visit publisher   download  
M. Harrison, J.C. Campos, P. Masci and P. Curzon (2015)
Templates as heuristics for proving properties of medical devices. In 5th EAI International Conference on Wireless Mobile Communication and Healthcare - "Transforming healthcare through innovations in mobile and wireless technologies". ACM.
visit publisher  
J.C. Campos, P. Masci, P. Curzon and M.D. Harrison (2015)
Layers, resources and property templates in the specification and analysis of two interactive systems. In Proceedings of the Workshop on Formal Methods in Human Computer Interaction (FoMHCI) 2015, pages 38-43. Universitätsbibliothek, RWTH Aachen University.
download  
M.D. Harrison, J.C. Campos and P. Masci (2015)
Reusing models and properties in the analysis of similar interactive devices. Innovations in Systems and Software Engineering, 11(2):95-111, June.
visit publisher   download from RepositoriUM  
J.C. Campos, G. Doherty and M.D. Harrison (2014)
Analysing interactive devices based on information resource constraints. International Journal of Human-Computer Studies, 72(3):284-297, March.
visit publisher   download from RepositoriUM  
M. Sousa, J.C. Campos, M. Alves and M.D. Harrison (2014)
Formal Verification of Safety-Critical User Interfaces: a space system case study. In Formal Verification and Modeling in Human Machine Systems: Papers from the AAAI Spring Symposium, pages 62-67. AAAI Press.
download from RepositoriUM  
M.D. Harrison, P. Masci, J.C. Campos and P. Curzon (2013)
Automated theorem proving for the systematic analysis of interactive systems. Electronic Communications of the EASST, 69: Formal Methods for Interactive Systems 2011. (ISSN: 1863-2122)
visit publisher  
M.D. Harrison, J.C. Campos, P. Masci and N. Thomas (2012)
Modelling and systematic analysis of interactive systems. 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.
visit publisher   download from RepositoriUM  
J.C. Campos and M.D. Harrison (2011)
Modelling and analysing the interactive behaviour of an infusion pump. Electronic Communications of the EASST, 45: Formal Methods for Interactive Systems 2011. (ISSN: 1863-2122)
visit publisher  
J. C. Campos and M. D. Harrison (2009)
Interaction engineering using the IVY tool. In ACM Symposium on Engineering Interactive Computing Systems (EICS 2009), pages 35-44. ACM.
visit publisher   download  
J.C. Campos and M.D. Harrison (2008)
Considering context and users in interactive systems analysis. In Engineering Interactive Systems, volume 4940 of Lecture Notes in Computer Science, pages 193-209. Springer-Verlag. (ISBN: 978-3-540-92697-9)
M. Harrison and J. C. Campos (2008)
Analysing Human Aspects of Safety-Critical Software. ERCIM News, 75:18, October. (Invited paper; ISSN: 0926-4981)
visit publisher  
M. D. Harrison, J. C. Campos and K. Loer (2008)
Formal analysis of interactive systems: opportunities and weaknesses. In P. Cairns and A. Cox, editors, Research Methods in Human Computer Interaction, chapter 5, pages 88-111. Cambridge University Press.
visit publisher  
J. C. Campos and M. D. Harrison (2008)
Systematic analysis of control panel interfaces using formal tools. 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.
visit publisher  
G. J. Doherty, J. C. Campos and M. D. Harrison (2008)
Resources for Situated Actions. 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.
visit publisher  
M. D. Harrison, J. C. Campos, G. Doherty and K. Loer (2008)
Connecting rigorous system analysis to experience centred design. In E. Law, E. Hvannberg and G. Cockton, editors, Maturing Usability: Quality in Software, Interaction and Value, Human-Computer Interaction Series, chapter 3, pages 56-74. Springer. (ISSN: 1571-5035; ISBN: 978-1-84628-940-8)
visit publisher  
J. C. Campos and G. J. Doherty (2006)
Supporting resource-based analysis of task information needs. 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)
visit publisher   download from RepositoriUM  
jfc © 2010