R. Couto and J.C. Campos
High assurance on Cyber-Physical Interactive Systems
In HCI Engineering 2019: Pre-proceedings of The 2nd Workshop on Charting the Way towards Methods and Tools for Advanced Interactive Systems, pages 71-75. IFIP WG 2.7/13.4 on User Interface Engineering. 2019.

@inproceedings{CoutoC:2019,
 author = {R. Couto and J.C. Campos},
 title = {High assurance on Cyber-Physical Interactive Systems},
 booktitle = {HCI Engineering 2019: Pre-proceedings of The 2nd Workshop on Charting the Way towards Methods and Tools for Advanced Interactive Systems},
 pages = {71-75},
 year = {2019},
   publisher = {IFIP WG 2.7/13.4 on User Interface Engineering}
}
R. Couto and J.C. Campos
IVY 2 - A model-based analysis tool
In The 11th ACM SIGCHI Symposium on Engineering Interactive Computing Systems - EICS 2019, pages 5:1--5:6. ACM. 2019.

Abstract

The IVY workbench is a model-based tool that supports the formal verification of interactive computing systems. It adopts a plugin-based architecture to support a flexible development model. Over the years the chosen architectural solution revealed a number of limitations, resulting both from technological deprecation of some of the adopted solutions and a better understanding of the verification process to support. This paper presents the redesign and implementation of the original plugin infrastructure, originating a new version of the tool: IVY 2. It describes the limitations of the original solutions and the new architecture, which resorts to the Java module system in order to solve them.

visit publisher  

@inproceedings{CoutoC:2019,
 author = {R. Couto and J.C. Campos},
 title = {IVY 2 - A model-based analysis tool},
 booktitle = {The 11th ACM SIGCHI Symposium on Engineering Interactive Computing Systems - EICS 2019},
 abstract = {The IVY workbench is a model-based tool that supports the formal verification of interactive computing systems. It adopts a plugin-based architecture to support a flexible development model. Over the years the chosen architectural solution revealed a number of limitations, resulting both from technological deprecation of some of the adopted solutions and a better understanding of the verification process to support. This paper presents the redesign and implementation of the original plugin infrastructure, originating a new version of the tool: IVY 2. It describes the limitations of the original solutions and the new architecture, which resorts to the Java module system in order to solve them.},
 year = {2019},
 pages = {5:1--5:6},
 publisher = {ACM},
   doi = {10.1145/3319499.3328228}
}

Generated by mkBiblio 2.6.23