EP3482292 - AN INTEROPERABLE EXTENSIBLE SYSTEM FOR THE GENERATION OF VERIFIED SOFTWARE CODE [Right-click to bookmark this link] | Status | The application is deemed to be withdrawn Status updated on 25.03.2022 Database last updated on 19.10.2024 | |
Former | Examination is in progress Status updated on 10.05.2021 | ||
Former | Request for examination was made Status updated on 12.04.2019 | ||
Former | The international publication has been made Status updated on 12.01.2018 | ||
Former | unknown Status updated on 16.08.2017 | Most recent event Tooltip | 25.03.2022 | Application deemed to be withdrawn | published on 27.04.2022 [2022/17] | Applicant(s) | For all designated states Cocotec Limited 2 Chawley Park Cumnor Hill Oxford OX2 9GG / GB | For all designated states Oxford University Innovation Limited University Offices Wellington Square Oxford OX1 2JD / GB | [2020/52] |
Former [2019/52] | For all designated states Cocotec Limited 14 Irwin Road Guildford GU2 7PP / GB | ||
For all designated states Oxford University Innovation Limited University Offices Wellington Square Oxford OX1 2JD / GB | |||
Former [2019/20] | For all designated states Cocotec Limited 2 Chawley Park Cumnor Hill Oxford OX2 9GC / GB | ||
For all designated states Oxford University Innovation Limited University Offices Wellington Square Oxford OX1 2JD / GB | Inventor(s) | 01 /
BROADFOOT, Guy Hampson Reenheide 18 2370 Arendonk / BE | 02 /
GIBSON-ROBINSON, Thomas Derek c/o Cocotec Limited 2 Chawley Park Cumnor Hill Oxford OX2 9GG / GB | 03 /
HOPCROFT, Philippa Jane c/o Cocotec Limited 2 Chawley Park Cumnor Hill Oxford OX2 9GG / GB | 04 /
ROSCOE, Andrew William 415 Meadow Lane Oxford OX4 4ED / GB | [2020/52] |
Former [2019/20] | 01 /
BROADFOOT, Guy Hampson Reenheide 18 2370 Arendonk / BE | ||
02 /
GIBSON-ROBINSON, Thomas Derek c/o Cocotec Limited 2 Coach House Mews Spring Hill Road Kidlington OX5 1SH / GB | |||
03 /
HOPCROFT, Philippa Jane c/o Cocotec Limited 2 Coach House Mews Spring Hill Road Kidlington OX5 1SH / GB | |||
04 /
ROSCOE, Andrew William 415 Meadow Lane Oxford OX4 4ED / GB | Representative(s) | Ahmad, Sheikh Shakeel, et al Keltie LLP No.1 London Bridge London SE1 9BA / GB | [2019/20] | Application number, filing date | 17749209.7 | 06.07.2017 | [2019/20] | WO2017GB51996 | Priority number, date | GB20160011967 | 08.07.2016 Original published format: GB 201611967 | [2019/20] | Filing language | EN | Procedural language | EN | Publication | Type: | A1 Application with search report | No.: | WO2018007822 | Date: | 11.01.2018 | Language: | EN | [2018/02] | Type: | A1 Application with search report | No.: | EP3482292 | Date: | 15.05.2019 | Language: | EN | The application published by WIPO in one of the EPO official languages on 11.01.2018 takes the place of the publication of the European patent application. | [2019/20] | Search report(s) | International search report - published on: | EP | 11.01.2018 | Classification | IPC: | G06F9/44, G06F11/36 | [2019/20] | CPC: |
G06F8/35 (EP);
G06F11/3604 (EP);
G06F8/355 (EP)
| Designated contracting states | AL, AT, BE, BG, CH, CY, CZ, DE, DK, EE, ES, FI, FR, GB, GR, HR, HU, IE, IS, IT, LI, LT, LU, LV, MC, MK, MT, NL, NO, PL, PT, RO, RS, SE, SI, SK, SM, TR [2019/20] | Title | German: | INTEROPERABLES ERWEITERBARES SYSTEM ZUR ERSTELLUNG EINES VERIFIZIERTEN SOFTWARECODES | [2019/20] | English: | AN INTEROPERABLE EXTENSIBLE SYSTEM FOR THE GENERATION OF VERIFIED SOFTWARE CODE | [2019/20] | French: | SYSTÈME EXTENSIBLE INTEROPÉRABLE POUR GÉNÉRER UN CODE DE LOGICIEL VÉRIFIÉ | [2019/20] | Entry into regional phase | 05.11.2018 | National basic fee paid | 05.11.2018 | Designation fee(s) paid | 05.11.2018 | Examination fee paid | Examination procedure | 05.11.2018 | Examination requested [2019/20] | 05.11.2018 | Date on which the examining division has become responsible | 11.09.2019 | Amendment by applicant (claims and/or description) | 10.05.2021 | Despatch of a communication from the examining division (Time limit: M06) | 23.11.2021 | Application deemed to be withdrawn, date of legal effect [2022/17] | 15.12.2021 | Despatch of communication that the application is deemed to be withdrawn, reason: reply to the communication from the examining division not received in time [2022/17] | Fees paid | Renewal fee | 30.07.2019 | Renewal fee patent year 03 | 27.07.2020 | Renewal fee patent year 04 | 27.07.2021 | Renewal fee patent year 05 |
Opt-out from the exclusive Tooltip competence of the Unified Patent Court | See the Register of the Unified Patent Court for opt-out data | ||
Responsibility for the accuracy, completeness or quality of the data displayed under the link provided lies entirely with the Unified Patent Court. | Cited in | International search | [XI] - Holenderski L, Poigné A, "Synchronie Workbench", Holenderski L, Poigné A, Berghammer R, Lakhnech Y, Tool Support for System Specification, Development and Verification, Springer, (19990428), ISBN 978-3-7091-6355-9, XP009195491 [X] 1,2,30-33 * sections titled "Smooth integration" and "Formal verification" * * figure 1 * [I] 3-29 | [XI] - KARSAI G ET AL, "Model Based Analysis and Test Generation for Flight Software", SPACE MISSION CHALLENGES FOR INFORMATION TECHNOLOGY, 2009. SMC-IT 2009. THIRD IEEE INTERNATIONAL CONFERENCE ON, IEEE, PISCATAWAY, NJ, USA, (20090719), ISBN 978-0-7695-3637-8, pages 83 - 90, XP031522286 [X] 1,30-33 * section 1, "Introduction", in particular page 83, third paragraph of the right column * * sections 2.1, "Model Transformation", and 2.2, "Model Analysis with Java PathFinder", at pages 85-86, and Figure 1 at page 85 * [I] 2-29 | [I] - Udo Brockmeyer ET AL, "Formal Verification Techniques in a Model-Based Development Process based on TargetLink generated C-Code", Proceedings of ERTS 2006, Toulouse, 25-27 January 2006, (20060127), URL: http://www.dspace.de/ftp/papers/dspace_erts_0601_e_p456.pdf, (20170914), XP055406738 [I] 1-33 * section 1, "Model-based Development Process", at pages 1-2 * * section 2, "Automatic Model Validation", at page 2 * * section 3, "Automatic Code Generation", at pages 3-4 * * figures 1, 2 * | [I] - Kleidermacher D et al, Embedded Systems Security, Elsevier, (201203), pages 169 - 201, ISBN 978-0-12-386886-2, XP009195479 [I] 1-33 * sections 3.8.1.2, 3.8.2 and 3.8.2.1 at pages 172-177 * DOI: http://dx.doi.org/10.1016/B978-0-12-386886-2.00003-5 | by applicant | WO2005106649 |