Summary
- Profile Type
- Technology offer
- POD Reference
- TOGB20250129007
- Term of Validity
- 29 January 2025 - 29 January 2026
- Company's Country
- United Kingdom
- Type of partnership
- Commercial agreement with technical assistance
- Targeted Countries
- Italy
- Germany
- Spain
Contact the EEN partner nearest to you for more information.
Find my local partner
General information
- Short Summary
-
UK software company has developed tools for software engineers and developers using model-based design, in producing high quality safety critical embedded software at a reduced timeline and cost.
The user-friendly tools automate most of the development process, provide evidence for safety certification and assure the software’s behaviour.
Seeking partners for collaborative projects to demonstrate these tools and where partner lacks embedded software expertise and requires consultancy support. - Full Description
-
UK software company has developed new tools based on legacy software developed for the British government. The tools use formal methods, a mathematically robust approach to embedded software development. The tools aim to simplify and speed up the development of embedded software that is required to perform, without error, in highly complex scenarios. These expectations and the lack of specialised software engineers is making this type of software extremely expensive to create and beyond the budgets of many SMEs.
The tools will solve these issues and democratize best quality embedded software for all. These user-friendly tools can be used by all engineers of all levels of experience – the expertise is in the tools. In a recent test case, instigated by the French Nuclear Authority, the Company demonstrated that the tools can improve software development productivity by up to 900%.
There are 5 tools:
- The first one is for creating clear and unambiguous system requirements.
- The second one does the same but for software requirements.
- The third enables the automatic verification of designs based on the requirements created in the first two tools.
- The fourth tool provides automatic proof that the autogenerated source code implements the design.
- The final tool automatically verifies the executable object code.
Working together the 5 tools create end-to-end verification.
Applications for the tools are:
• Control software for autonomous vehicles in air, sea surface and underwater as well as in nuclear decommissioning.
• Flight control system development, compliant to DO-178C/ED-12C.
• Automotive software compliant to ISO626262.
• Medical devices requiring assured software compliant with IEC62304.
• Robotics and autonomous systems.
• Any situation where regulated safety critical embedded software is required.
The company is looking for SMEs who require this expertise and an accessible and affordable product that allows them to progress innovative projects in a shorter timeline, with much less cost, with confidence that they have state of the art assured software powering their system or product.
The commercial agreement will reflect the benefit of the collaboration to the Company in its terms.
The Company is particularly looking for collaborations and projects in Northern Italy, Spain and Germany. The ideal partner is an SME in the sectors set out above with current and pipeline projects that are at the earliest stages of creating embedded software. They may have in-house capability with a model-based approach to software design or no in-house capability and are looking to outsource that expertise. They will have projects that require safety certified and regulated software. - Advantages and Innovations
-
Safety Critical systems software or embedded software that controls machines, requires high levels of assurance.
It must perform and be safe and represents a significant investment in time and budget, in any project or product. This unaffordability is due to multiple factors:
- The normal “build then test” approach to software development has limitations that can result in exponential cost.
- Regulatory assurance expertise can be expensive or not readily available.
- Automation and connectedness (‘systems of systems’) means that systems are becoming more complex particularly when required to operate autonomously.
- The engineering manpower shortage is driving up the cost of software engineering man hours.
The Toolsuite provides a solution and its main benefits are:
• Streamlining Clear Requirements: Most software failures stem from inadequate requirements. The Toolsuite supports software engineers by:
o Clear Requirements Creation: Using drop-down menus and data dictionaries, developers craft clear and unambiguous requirements.
o Verifiable Requirements: all aspects are automatically given a formal specification for verification.
o Cascade Effect: Changes made late in development automatically propagate through the software, minimizing manual rework.
• Formal Methods for Assurance: The Toolsuite leverages formal methods for automatic verification of design, autocode and binary without requiring the developer to be a formal methods expert, and:
o The evidence-based assurance ensures compliance and safety.
o Complex systems benefit from this rigorous approach.
• Cost Reduction and Accessibility: The Toolsuite slashes costs and development timelines by up to 80% through:
o Efficiency: Streamlined processes reduce man-hours.
o User-Friendly: Less senior talent can use the tools effectively.
o Automated Verification: Errors are caught early, preventing costly late-stage fixes. - Stage of Development
- Already on the market
- Sustainable Development Goals
- Goal 9: Industry, Innovation and Infrastructure
- IPR status
- IPR granted
Partner Sought
- Expected Role of a Partner
- Partners will be supported in using the tools themselves or the Company will develop the high integrity software for insertion into their product. The Company is open to other options and is focused on creating collaborations which strengthen and benefit both parties and which could also lead onto mutually beneficial long-term relationships.
- Type and Size of Partner
- SME 11-49
- SME 50 - 249
- SME <=10
- Type of partnership
- Commercial agreement with technical assistance
Dissemination
- Technology keywords
- 01003013 - Information Technology/Informatics
- 01003006 - Computer Software
- Market keywords
- 02007011 - Manufacturing/industrial software
- 02007012 - Medical/health software
- 02007016 - Artificial intelligence related software
- 02007028 - Other software related
- 02007014 - Other industry specific software
- Targeted countries
- Italy
- Germany
- Spain