Search International and National Patent Collections

1. (WO2018007822) AN INTEROPERABLE EXTENSIBLE SYSTEM FOR THE GENERATION OF VERIFIED SOFTWARE CODE

Pub. No.:    WO/2018/007822    International Application No.:    PCT/GB2017/051996
Publication Date: Fri Jan 12 00:59:59 CET 2018 International Filing Date: Fri Jul 07 01:59:59 CEST 2017
IPC: G06F 9/44
G06F 11/36
Applicants: COCOTEC LIMITED
Inventors: BROADFOOT, Guy Hampson
GIBSON-ROBINSON, Thomas Derek
HOPCROFT, Philippa Jane
ROSCOE, Andrew William
Title: AN INTEROPERABLE EXTENSIBLE SYSTEM FOR THE GENERATION OF VERIFIED SOFTWARE CODE
Abstract:
A system for generating verified software code from an original model of a system under development (SUD) is described, where the original model expresses the SUD in terms of components, structural behaviour between components (and overall behaviour of the SUD). The system comprises: a plurality of modelling language adaptors arranged in parallel to receive the original model of the SUD and to convert the original model into a transformed model expressed in a common language, each modelling language adaptor being configured to convert an original model written in a specific modelling language into the transformed model expressed in the common language such that the system can generate verified code from the original model written in any of a plurality of different modelling languages; a model verifier for mathematically verifying if the transformed model satisfies at least one of its specified requirements and if the transformed model does not,generating verification analysis data expressing how the at least one specified requirement is not met; and a code generator for generating executable code from the transformed model once the model verifier has mathematically verified the transformed model as satisfying the at least one of its specified requirements.