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.

 

@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.28