Open Payments Eco-system

Informations projet

OPE

N° de convention de subvention: 666363

DOI

10.3030/666363

Projet clôturé

Date de signature de la CE 18 Mai 2015

Date de début 1 Mai 2015

Date de fin 30 Septembre 2017

Financé au titre de

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

Coût total

€ 4 162 916,25

Contribution de l’UE

€ 2 500 000,00

Coordonné par

IXARIS TECHNOLOGIES LIMITED
United Kingdom

CORDIS fournit des liens vers les livrables publics et les publications des projets HORIZON.

Les liens vers les livrables et les publications des projets du 7e PC, ainsi que les liens vers certains types de résultats spécifiques tels que les jeux de données et les logiciels, sont récupérés dynamiquement sur OpenAIRE .

Livrables

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

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

Compliance Checking in the Open Payments Ecosystem

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

Residual Control-Flow Static Analysis with Symbolic Automata

Auteurs: Shaun Azzopardi, Christian Colombo, and Gordon J. Pace
Publié dans: Proceedings of the University of Malta Computer Science Annual Workshop, Numéro Annual, 2016
Éditeur: University of Malta

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

Auteurs: Shaun Azzopardi, Christian Colombo, and Gordon Pace
Publié dans: Proceedings of the University of Malta Computer Science Annual Workshop, Numéro Annual, 2016
Éditeur: University of Malta

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

Auteurs: Christian Colombo, Gordon Pace
Publié dans: International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLa), 2016
Éditeur: University of Malta

Compliance Checking in the Open Payments Ecosystem

Auteurs: Shaun Azzopardi, Christian Colombo, Gordon J Pace, and Brian Vella
Publié dans: Proceedings of the University of Malta Computer Science Annual Workshop, 2015
Éditeur: University of Malta

Non-peer reviewed articles (1)

Control-Flow Residual Analysis for Symbolic Automata

Auteurs: Shaun Azzopardi, Christian Colombo, and Gordon J. Pace
Publié dans: Electronic Proceedings in Theoretical Computer Science, Numéro 254, 2017, ISSN 2075-2180
Éditeur: 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

Auteurs: Alex Mifsud
Publié dans: raconteur.net, 2016, Page(s) 5
Éditeur: raconteur.net

Droits de propriété intellectuelle

Patent (1)

Networked Financial Processing System

Numéro de demande/publication: US 13/253,670
Date: 2011-05-10
Demandeur(s): IXARIS SYSTEMS LTD