Open Payments Eco-system

Project Information

OPE

Grant agreement ID: 666363

DOI

10.3030/666363

Project closed

EC signature date 18 May 2015

Start date 1 May 2015

End date 30 September 2017

Funded under

• INDUSTRIAL LEADERSHIP - Leadership in enabling and industrial technologies - Information and Communication Technologies (ICT)

Total cost

€ 4 162 916,25

EU contribution

€ 2 500 000,00

Coordinated by

IXARIS TECHNOLOGIES LIMITED
United Kingdom

CORDIS provides links to public deliverables and publications of HORIZON projects.

Links to deliverables and publications from FP7 projects, as well as links to some specific result types such as dataset and software, are dynamically retrieved from OpenAIRE .

Deliverables

Demonstrators, pilots, prototypes (8)

OPE Integrated Development Environment (Beta)

Demonstrator: Beta version of the Integrated Development Environment.

OPE Data Warehouse (Beta)

Demonstrator: Beta Version of the OPE Data Warehouse.

OPE Execution Environment System (Beta)

Demonstrator: Beta version of the OPE Execution Environment

OPE Compliance Management Subsystem (Beta)

Demonstrator: Beta version of the Compliance Management Subsystem.

Prototype System (Beta) Delivery

Prototype of OPE system - Beta version.

OPE Application-store (Beta)

Demonstrator: Beta version of the Application Store for OPE.

OPE Service Provider Subsystem (Beta)

Demonstrator: Beta version of the Service Provider Subsystem.

OPE Integrated Development Environment (Alpha)

Demonstrator: Alpha version of the integrated development environment.

Documents, reports (6)

Verification & Validation Test Specification

Document containing the test specification required for validation and verification of the design.

Initial Commercial Plan

Initial Commercial Plan for OPE.

Project Evaluation Report

Report: Evaluation of OPE Project.

Final Commercial Plan

Final version of Commercial Plan for OPE.

Year 1 Project Report

Report on project for 12 months period. Public.

State-of-the-Art of Formal Verification Checking of Payment Systems

Report published to outline the payment systems formal verification - state of the art.

Websites, patent fillings, videos etc. (3)

Academic Papers, Industry Whitepapers and Conference Papers/Presentations

Academic Papers, Industry Whitepapers and Conference Papers/Presentations done throughout the life-cycle of the project.

Open Payments Eco-system Conference

Conference to promote the OPE initiative.

Project Website/Blog

Website/Blog dedicated to the project.

Publications

Conference proceedings (6)

A Model-Based Approach to Combining Static and Dynamic Verification Techniques

Author(s): Shaun Azzopardi, Christian Colombo, Gordon Pace
Published in: Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques. ISoLA 2016. Lecture Notes in Computer Science, vol 9952, 2016, Page(s) 416-430
Publisher: Springer International Publishing
DOI: 10.1007/978-3-319-47166-2_29

Compliance Checking in the Open Payments Ecosystem

Author(s): Shaun Azzopardi, Christian Colombo, Gordon J. Pace, Brian Vella
Published in: International Conference on Software Engineering and Formal Methods (SEFM), 2016, Page(s) 337-343
Publisher: Springer International Publishing
DOI: 10.1007/978-3-319-41591-8_23

Residual Control-Flow Static Analysis with Symbolic Automata

Author(s): Shaun Azzopardi, Christian Colombo, and Gordon J. Pace
Published in: Proceedings of the University of Malta Computer Science Annual Workshop, Issue Annual, 2016
Publisher: University of Malta

Regulation Specification for Static and Dynamic Verification in the Open Payments Ecosystem

Author(s): Shaun Azzopardi, Christian Colombo, and Gordon Pace
Published in: Proceedings of the University of Malta Computer Science Annual Workshop, Issue Annual, 2016
Publisher: University of Malta

A Model-Based Approach to Combining Static and Dynamic Verification Techniques

Author(s): Christian Colombo, Gordon Pace
Published in: International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLa), 2016
Publisher: University of Malta

Compliance Checking in the Open Payments Ecosystem

Author(s): Shaun Azzopardi, Christian Colombo, Gordon J Pace, and Brian Vella
Published in: Proceedings of the University of Malta Computer Science Annual Workshop, 2015
Publisher: University of Malta

Non-peer reviewed articles (1)

Control-Flow Residual Analysis for Symbolic Automata

Author(s): Shaun Azzopardi, Christian Colombo, and Gordon J. Pace
Published in: Electronic Proceedings in Theoretical Computer Science, Issue 254, 2017, ISSN 2075-2180
Publisher: 13th International Conference on integrated Formal Methods (iFM 2017)
DOI: 10.4204/EPTCS.254

Other (1)

Why the payments ecosystem is due for a shake-up

Author(s): Alex Mifsud
Published in: raconteur.net, 2016, Page(s) 5
Publisher: raconteur.net

Intellectual Property Rights

Patent (1)

Networked Financial Processing System

Application/Publication number: US 13/253,670
Date: 2011-05-10
Applicant(s): IXARIS SYSTEMS LTD