research-article

Unite: an adapter for transforming analysis tools to web services via OSLC

Authors:

Ondřej Vašíček,

Tomáš Kratochvíla,

Bohuslav Křena,

Tomáš VojnarAuthors Info & Claims

ESEC/FSE 2022: Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering

Pages 1408 - 1418

https://doi.org/10.1145/3540250.3558939

Published: 09 November 2022 Publication History

Abstract

This paper describes Unite, a new tool intended as an adapter for transforming non-interactive command-line analysis tools to OSLC-compliant web services. Unite aims to make such tools easier to adopt and more convenient to use by allowing them to be accessible, both locally and remotely, in a unified way and to be easily integrated into various development environments. Open Services for Lifecycle Collaboration (OSLC) is an open standard for tool integration and was chosen for this task due to its robustness, extensibility, support of data from various domains, and its growing popularity. The work is motivated by allowing existing analysis tools to be more widely used with a strong emphasis on widening their industrial usage. We have implemented Unite and used it with multiple existing static as well as dynamic analysis and verification tools, and then successfully deployed it internationally in the industry to automate verification tasks for development teams in Honeywell. We discuss Honeywell's experience with using Unite and with OSLC in general. Moreover, we also provide the Unite Client (UniC) for Eclipse to allow users to easily run various analysis tools directly from the Eclipse IDE.

References

[1]

2022. Eclipse Arrowhead Framework. https://projects.eclipse.org/projects/iot.arrowhead

[2]

Jiri Barnat, Jan Beran, Lubos Brim, Tomas Kratochvíla, and Petr Ročkai. 2012. Tool Chain to Support Automated Formal Verification of Avionics Simulink Designs. In Formal Methods for Industrial Critical Systems. Springer Berlin Heidelberg, 78–92. isbn:978-3-642-32469-7 https://doi.org/10.1007/978-3-642-32469-7_6

[3]

Jiří Barnat, Luboš Brim, Ivana Černá, Pavel Moravec, Petr Ročkai, and Pavel Šimeček. 2006. DiVinE – A Tool for Distributed Verification. In Computer Aided Verification, Thomas Ball and Robert B. Jones (Eds.). Springer Berlin Heidelberg, 278–281. isbn:978-3-540-37411-4 https://doi.org/10.1007/11817963_26

Digital Library

[4]

Devesh Bhatt, Gabor Madl, David Oglesby, and Kirk Schloegel. 2010. Towards Scalable Verification of Commercial Avionics Software. In Proc. of Infotech@Aerospace’10. AIAA. https://doi.org/10.2514/6.2010-3452

[5]

Cristiano Calcagno and Dino Distefano. 2011. Infer: An Automatic Program Verifier for Memory Safety of C Programs. In Proc. of NFM’11 (LNCS, Vol. 6617). Springer. https://doi.org/10.1007/978-3-642-20398-5_33

[6]

Antonio Cicchetti, Federico Ciccozzi, Silvia Mazzini, Stefano Puri, Marco Panunzio, Alessandro Zovi, and Tullio Vardanega. 2012. CHESS: A Model-Driven Engineering Tool Environment for Aiding the Development of Complex Industrial Systems. In Proc. of ASE’12. ACM. https://doi.org/10.1145/2351676.2351748

Digital Library

[7]

Alessandro Cimatti, Edmund Clarke, Fausto Giunchiglia, and Marco Roveri. 2000. NUSMV: a new symbolic model checker. International Journal on Software Tools for Technology Transfer, 2, 4 (2000), March, 410–425. https://doi.org/10.1007/s100090050046

[8]

Jose Luis De la Vara, Eugenio Parra, Alejandra Ruiz, and Barbara Gallina. 2019. AMASS: A Large-Scale European Project to Improve the Assurance and Certification of Cyber-Physical Systems. In Proc. of PROFES’19 (LNCS, Vol. 11915). Springer. https://doi.org/10.1007/978-3-030-35333-9_49

[9]

Jad El-khoury. 2016. Lyo Code Generator: A Model-based Code Generator for the Development of OSLC-compliant Tool Interfaces. SoftwareX, 5 (2016), 190–194. https://doi.org/10.1016/j.softx.2016.08.004

[10]

Jad El-khoury. 2020. An Analysis of the OASIS OSLC Integration Standard, for a Cross-disciplinary Integrated Development Environment: Analysis of market penetration, performance and prospects. KTH, Mechatronics. isbn:978-91-7873-525-9

[11]

2022. EATA. https://gitlab.fbk.eu/ESProjects/EATA

[12]

2022. FBK ES Tools. https://es.fbk.eu/index.php/category/tools/

[13]

Jan Fiedor. 2022. VeriFIT Update Site. https://verifit1.fit.vutbr.cz/eclipse/

[14]

J. Fiedor, M. Mužikovská, A. Smrčka, O. Vašíček, and T. Vojnar. 2018. Advances in the ANaConDA Framework for Dynamic Analysis and Testing of Concurrent C/C++ Programs. In Proc. of ISSTA’18. ACM. https://doi.org/10.1145/3213846.3229505

Digital Library

[15]

Jan Fiedor and Tomáš Vojnar. 2013. ANaConDA: A Framework for Analysing Multi-threaded C/C++ Programs on the Binary Level. In Proc. of RV’12 (LNCS, Vol. 7687). Springer. https://doi.org/10.1007/978-3-642-35632-2_5

[16]

Tomáš Fiedor, Jiří Pavela, and et. al. 2022. Perun. https://github.com/tfiedor/perun

[17]

2015. Lyo JenkinsPlugin. https://wiki.eclipse.org/Lyo/JenkinsPlugin

[18]

2022. Eclipse Lyo. https://www.eclipse.org/lyo/

[19]

2022. Lyo Store. https://github.com/eclipse/lyo/tree/master/store

[20]

Tiziana Margaria, Ralf Nagel, and Bernhard Steffen. 2005. jETI: A Tool for Remote Tool Integration. In Proc. of TACAS’05 (LNCS, Vol. 3440). Springer. https://doi.org/10.1007/978-3-540-31980-1_38

Digital Library

[21]

Nicholas Nethercote and Julian Seward. 2007. Valgrind: A Framework for Heavyweight Dynamic Binary Instrumentation. In Proc. of PLDI ’07. ACM. https://doi.org/10.1145/1273442.1250746

Digital Library

[22]

OASIS. 2022. Open Services for Lifecycle Collaboration. https://open-services.net/

[23]

2018. OSLC Core Version 3.0. Part 1: Overview. http://docs.oasis-open.org/oslc-core/oslc-core/v3.0/csprd03/part1-overview/oslc-core-v3.0-csprd03-part1-overview.html Edited by Jim Amsden. OASIS Committee Specification Draft 03 / Public Review Draft 03.

[24]

2022. OSLC Automation Version 2.1 Part 1: Specification. https://rawgit.com/oasis-tcs/oslc-domains/master/auto/automation-spec.html Edited by Fabio Ribeiro. OASIS Working Draft 01.

[25]

2022. OSLC Specifications. https://open-services.net/specifications/

[26]

Postman. 2022. Postman App: API platform (as well as a REST client). https://www.getpostman.com/

[27]

Arthur Ryman. 2014. Open Services for Lifecycle Collaboration Core Specification Version 2.0 Query Syntax. https://archive.open-services.net/bin/view/Main/OSLCCoreSpecQuery

[28]

Jiří Slabý, Jan Strejček, and Marek Trtík. 2013. Symbiotic: Synergy of Instrumentation, Slicing, and Symbolic Execution. In Proc. of TACAS’13 (LNCS, Vol. 7795). Springer. https://doi.org/10.1007/978-3-642-36742-7_50

Digital Library

[29]

SmartBear. 2022. Swagger UI. https://swagger.io/tools/swagger-ui/

[30]

Aleš Smrčka. 2022. Testos – Spectra: Runtime Verification of Past-time LTL. https://www.fit.vutbr.cz/research/groups/verifit/tools/testos-spectra/

[31]

RDFLib Team. 2022. RDFLib. https://rdflib.readthedocs.io/en/stable/intro_to_sparql.html

[32]

Tamás Tóth, Ákos Hajdu, András Vörös, Zoltán Micskei, and István Majzik. 2017. Theta: a Framework for Abstraction Refinement-Based Model Checking. In Proceedings of the 17th Conference on Formal Methods in Computer-Aided Design, Daryl Stewart and Georg Weissenbacher (Eds.). 176–179. isbn:978-0-9835678-7-5 https://doi.org/10.23919/FMCAD.2017.8102257

[33]

Ondřej Vašíček. 2022. Unite – GitLab. https://pajda.fit.vutbr.cz/verifit/unite

[34]

Ondřej Vašíček. 2022. Unite – Wiki. https://pajda.fit.vutbr.cz/verifit/unite/-/wikis/home

[35]

Ondřej Vašíček. 2022. Unite Demonstration Video. https://nextcloud.fit.vutbr.cz/s/5tq8M7d3RPnNEDW

[36]

Ondřej Vašíček, Jan Fiedor, Bohuslav Křena, Aleš Smrčka, and Tomáš Vojnar. 2022. Unite Demonstration VM (2022). https://doi.org/10.5281/zenodo.6074820

[37]

Don Ward. 2012. AVSI: Moving SAVI to the Launch Pad. NDIA 2012.

[38]

Robert M. Wygant. 1989. CLIPS — A powerful development and delivery expert system tool. Computers & Industrial Engineering, 17, 1 (1989), 546–549. issn:0360-8352 https://doi.org/10.1016/0360-8352(89)90121-6

Digital Library

Cited By

Lemberger TWachowitz HFilkov VRay BZhou M(2024)CoVeriTeam GUI: A No-Code Approach to Cooperative Software VerificationProceedings of the 39th IEEE/ACM International Conference on Automated Software Engineering10.1145/3691620.3695366(2419-2422)Online publication date: 27-Oct-2024
https://dl.acm.org/doi/10.1145/3691620.3695366
Beyer DKanav SWachowitz HGrundy J(2023)CoVeriTeam Service: Verification as a ServiceProceedings of the 45th International Conference on Software Engineering: Companion Proceedings10.1109/ICSE-Companion58688.2023.00017(21-25)Online publication date: 14-May-2023
https://dl.acm.org/doi/10.1109/ICSE-Companion58688.2023.00017

Index Terms

Unite: an adapter for transforming analysis tools to web services via OSLC

Recommendations

Efficient Construction of Presentation Integration for Web-Based and Desktop Development Tools
COMPSACW '13: Proceedings of the 2013 IEEE 37th Annual Computer Software and Applications Conference Workshops

The engineering of software-intensive systems is supported by a variety of development tools. While development tools are traditionally desktop tools, they are more and more complemented and replaced by web-based development tools. The resulting blend of ...
Model-Based service discovery and orchestration for OSLC services in tool chains
ICWE'12: Proceedings of the 12th international conference on Web Engineering

Globally distributed development of complex systems relies on the use of sophisticated development tools but today the tools provide only limited possibilities for integration into seamless tool chains. If development tools could be integrated, ...
OSLC Tool Integration and Systems Engineering -- The Relationship between the Two Worlds
SEAA '14: Proceedings of the 2014 40th EUROMICRO Conference on Software Engineering and Advanced Applications

OSLC is a new standard for the integration of tools used in different phases of software development. It enables to establish relations among different data artifacts throughout the life cycle of an application. OSLC aims to provide seamless integration ...

Comments

Information & Contributors

Information

Published In

cover image ACM Conferences

ESEC/FSE 2022: Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering

November 2022

1822 pages

ISBN:9781450394130

DOI:10.1145/3540250

General Chair:
Abhik Roychoudhury
National University of Singapore, Singapore
,
Program Chairs:
Cristian Cadar
Imperial College London, UK
,
Miryung Kim
University of California at Los Angeles, USA

Copyright © 2022 ACM.

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than the author(s) must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected].

Sponsors

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 09 November 2022

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Research-article

Funding Sources

Conference

ESEC/FSE '22

Sponsor:

ESEC/FSE '22: 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering

November 14 - 18, 2022

Singapore, Singapore

Acceptance Rates

Overall Acceptance Rate 112 of 543 submissions, 21%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

2
Total Citations
View Citations
89
Total Downloads

Downloads (Last 12 months)23
Downloads (Last 6 weeks)2

Reflects downloads up to 30 Jan 2025

Other Metrics

View Author Metrics

Citations

Cited By

Lemberger TWachowitz HFilkov VRay BZhou M(2024)CoVeriTeam GUI: A No-Code Approach to Cooperative Software VerificationProceedings of the 39th IEEE/ACM International Conference on Automated Software Engineering10.1145/3691620.3695366(2419-2422)Online publication date: 27-Oct-2024
https://dl.acm.org/doi/10.1145/3691620.3695366
Beyer DKanav SWachowitz HGrundy J(2023)CoVeriTeam Service: Verification as a ServiceProceedings of the 45th International Conference on Software Engineering: Companion Proceedings10.1109/ICSE-Companion58688.2023.00017(21-25)Online publication date: 14-May-2023
https://dl.acm.org/doi/10.1109/ICSE-Companion58688.2023.00017

View Options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Figures

Tables

Media

View Table of Conten