[go: up one dir, main page]

GB201611967D0 - An interoperable extensible system for the generation of verified software - Google Patents

An interoperable extensible system for the generation of verified software

Info

Publication number
GB201611967D0
GB201611967D0 GBGB1611967.9A GB201611967A GB201611967D0 GB 201611967 D0 GB201611967 D0 GB 201611967D0 GB 201611967 A GB201611967 A GB 201611967A GB 201611967 D0 GB201611967 D0 GB 201611967D0
Authority
GB
United Kingdom
Prior art keywords
interoperable
generation
extensible system
verified software
verified
Prior art date
Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
Ceased
Application number
GBGB1611967.9A
Current Assignee (The listed assignees may be inaccurate. Google has not performed a legal analysis and makes no representation or warranty as to the accuracy of the list.)
Cocotec Ltd
Original Assignee
Cocotec Ltd
Priority date (The priority date is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the date listed.)
Filing date
Publication date
Application filed by Cocotec Ltd filed Critical Cocotec Ltd
Priority to GBGB1611967.9A priority Critical patent/GB201611967D0/en
Publication of GB201611967D0 publication Critical patent/GB201611967D0/en
Priority to EP17749209.7A priority patent/EP3482292A1/en
Priority to PCT/GB2017/051996 priority patent/WO2018007822A1/en
Ceased legal-status Critical Current

Links

Classifications

    • G—PHYSICS
    • G06—COMPUTING OR CALCULATING; COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F8/00—Arrangements for software engineering
    • G06F8/30—Creation or generation of source code
    • G06F8/35—Creation or generation of source code model driven
    • G—PHYSICS
    • G06—COMPUTING OR CALCULATING; COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F11/00—Error detection; Error correction; Monitoring
    • G06F11/36—Prevention of errors by analysis, debugging or testing of software
    • G06F11/3604—Analysis of software for verifying properties of programs
    • G—PHYSICS
    • G06—COMPUTING OR CALCULATING; COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F8/00—Arrangements for software engineering
    • G06F8/30—Creation or generation of source code
    • G06F8/35—Creation or generation of source code model driven
    • G06F8/355—Round-trip engineering

Landscapes

  • Engineering & Computer Science (AREA)
  • General Engineering & Computer Science (AREA)
  • Theoretical Computer Science (AREA)
  • Software Systems (AREA)
  • Physics & Mathematics (AREA)
  • General Physics & Mathematics (AREA)
  • Computer Hardware Design (AREA)
  • Quality & Reliability (AREA)
  • Stored Programmes (AREA)
GBGB1611967.9A 2016-07-08 2016-07-08 An interoperable extensible system for the generation of verified software Ceased GB201611967D0 (en)

Priority Applications (3)

Application Number Priority Date Filing Date Title
GBGB1611967.9A GB201611967D0 (en) 2016-07-08 2016-07-08 An interoperable extensible system for the generation of verified software
EP17749209.7A EP3482292A1 (en) 2016-07-08 2017-07-06 An interoperable extensible system for the generation of verified software code
PCT/GB2017/051996 WO2018007822A1 (en) 2016-07-08 2017-07-06 An interoperable extensible system for the generation of verified software code

Applications Claiming Priority (1)

Application Number Priority Date Filing Date Title
GBGB1611967.9A GB201611967D0 (en) 2016-07-08 2016-07-08 An interoperable extensible system for the generation of verified software

Publications (1)

Publication Number Publication Date
GB201611967D0 true GB201611967D0 (en) 2016-08-24

Family

ID=56890810

Family Applications (1)

Application Number Title Priority Date Filing Date
GBGB1611967.9A Ceased GB201611967D0 (en) 2016-07-08 2016-07-08 An interoperable extensible system for the generation of verified software

Country Status (3)

Country Link
EP (1) EP3482292A1 (en)
GB (1) GB201611967D0 (en)
WO (1) WO2018007822A1 (en)

Families Citing this family (16)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN109783380A (en) * 2019-01-04 2019-05-21 北京航空航天大学 A kind of concurrent system combined authentication device
US11256709B2 (en) 2019-08-15 2022-02-22 Clinicomp International, Inc. Method and system for adapting programs for interoperability and adapters therefor
KR102279268B1 (en) * 2020-01-09 2021-07-19 엘지전자 주식회사 Apparatus and method for verifying electronic apparatus
CN111338948B (en) * 2020-02-24 2022-04-05 华东师范大学 Formal Verification System
CN111427565B (en) * 2020-02-24 2022-04-05 华东师范大学 Formal Verification Methods
CN112269734B (en) * 2020-10-15 2022-04-26 南京航空航天大学 An Automatic Verification Method of Synchronous Language Program Based on Satisfiability Solution
EP3989073A1 (en) * 2020-10-20 2022-04-27 Rosemount Aerospace Inc. Automated test vector generation
CN112506516B (en) * 2020-11-30 2024-04-30 广州市智能软件产业研究院 Code generation method, computer and storage medium of security protocol
CN112506489B (en) * 2020-11-30 2024-06-18 广州市智能软件产业研究院 Cross-platform method, computer and storage medium for safety protocol modeling end and verification end
CN114647401B (en) * 2020-12-18 2025-11-07 北京航空航天大学 Model verification method applicable to SysML, simulink and AADL distributed system
CN112559359B (en) * 2020-12-22 2024-03-22 华东师范大学 S-based 2 ML security critical system analysis and verification method
US11797426B2 (en) 2021-10-22 2023-10-24 Microsoft Technology Licensing Automating test-driven development with transformers
CN114626062B (en) * 2022-02-22 2023-03-24 中国人民解放军国防科技大学 Website application user interaction point discovery method and system based on dynamic and static combination
CN115758789B (en) * 2022-12-01 2023-11-17 金航数码科技有限责任公司 Software architecture design and architecture transfer method of complex real-time embedded system
FR3144684A1 (en) * 2022-12-31 2024-07-05 Alten Computer system for formal validation of a physical system in systems engineering, method and corresponding computer program
CN118708481B (en) * 2024-06-17 2025-12-05 北京航空航天大学 A Model-Code Cross-Validation Analysis Method Based on UPPAAL

Family Cites Families (1)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
GB0410047D0 (en) 2004-05-05 2004-06-09 Silverdata Ltd An analytical software design system

Also Published As

Publication number Publication date
WO2018007822A1 (en) 2018-01-11
EP3482292A1 (en) 2019-05-15

Similar Documents

Publication Publication Date Title
GB201611967D0 (en) An interoperable extensible system for the generation of verified software
ZA201807090B (en) Operating system for blockchain iot devices
SG10201508173VA (en) Software Aircraft Part Installation System
EP3521730A4 (en) Heat generating system
PL3177329T3 (en) System for the immediate release of active agents
GB201503170D0 (en) Computer system integration
EP3304522B8 (en) System for creating an environment
GB201404937D0 (en) An airbag system
ZA201902024B (en) Authentication for next generation systems
SG11201703991PA (en) System for the generation of call advance data
SI3239022T1 (en) Platform system
EP2986473A4 (en) System for controlling the deployment of an external safety device
GB2534256B (en) Alert generation system
SG11201703359SA (en) Menu generation system
GB2568433B (en) Dynamic projection system
GB2556380B (en) Computer system
GB201721428D0 (en) Audio generation system
ZA201903502B (en) Riser support system
GB201802729D0 (en) Turbine system
GB2555508B (en) Quicwire wiring system
SI3315679T1 (en) Connection system
GB2543118B (en) Mounting system
GB201519838D0 (en) System for aiding the location of aircraft underwater
TWM533279U (en) Order generation system
GB2554344B (en) Infant development system

Legal Events

Date Code Title Description
AT Applications terminated before publication under section 16(1)