Open Payments Eco-system

Informacje na temat projektu

OPE

Identyfikator umowy o grant: 666363

DOI

10.3030/666363

Projekt został zamknięty

Data podpisania przez KE 18 Maja 2015

Data rozpoczęcia 1 Maja 2015

Data zakończenia 30 Września 2017

Finansowanie w ramach

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

Koszt całkowity

€ 4 162 916,25

Wkład UE

€ 2 500 000,00

Koordynowany przez

IXARIS TECHNOLOGIES LIMITED
United Kingdom

CORDIS oferuje możliwość skorzystania z odnośników do publicznie dostępnych publikacji i rezultatów projektów realizowanych w ramach programów ramowych HORYZONT.

Odnośniki do rezultatów i publikacji związanych z poszczególnymi projektami 7PR, a także odnośniki do niektórych konkretnych kategorii wyników, takich jak zbiory danych i oprogramowanie, są dynamicznie pobierane z systemu OpenAIRE .

Rezultaty

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.

Publikacje

Conference proceedings (6)

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

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

Compliance Checking in the Open Payments Ecosystem

Autorzy: Shaun Azzopardi, Christian Colombo, Gordon J. Pace, Brian Vella
Opublikowane w: International Conference on Software Engineering and Formal Methods (SEFM), 2016, Strona(/y) 337-343
Wydawca: Springer International Publishing
DOI: 10.1007/978-3-319-41591-8_23

Residual Control-Flow Static Analysis with Symbolic Automata

Autorzy: Shaun Azzopardi, Christian Colombo, and Gordon J. Pace
Opublikowane w: Proceedings of the University of Malta Computer Science Annual Workshop, Numer Annual, 2016
Wydawca: University of Malta

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

Autorzy: Shaun Azzopardi, Christian Colombo, and Gordon Pace
Opublikowane w: Proceedings of the University of Malta Computer Science Annual Workshop, Numer Annual, 2016
Wydawca: University of Malta

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

Autorzy: Christian Colombo, Gordon Pace
Opublikowane w: International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLa), 2016
Wydawca: University of Malta

Compliance Checking in the Open Payments Ecosystem

Autorzy: Shaun Azzopardi, Christian Colombo, Gordon J Pace, and Brian Vella
Opublikowane w: Proceedings of the University of Malta Computer Science Annual Workshop, 2015
Wydawca: University of Malta

Non-peer reviewed articles (1)

Control-Flow Residual Analysis for Symbolic Automata

Autorzy: Shaun Azzopardi, Christian Colombo, and Gordon J. Pace
Opublikowane w: Electronic Proceedings in Theoretical Computer Science, Numer 254, 2017, ISSN 2075-2180
Wydawca: 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

Autorzy: Alex Mifsud
Opublikowane w: raconteur.net, 2016, Strona(/y) 5
Wydawca: raconteur.net

Prawa własności intelektualnej

Patent (1)

Networked Financial Processing System

Numer wniosku/publikacji: US 13/253,670
Data: 2011-05-10
Wnioskodawca/wnioskodawcy: IXARIS SYSTEMS LTD