K-ALMA: Generative AI for reliable software tests
Project fact sheet
K-ALMA
Vertical: Smart Industry
Project description
Software development and its testing and validation is a very significant item within the cost of the products and services that we consume. And that cost is multiplied by 2, 4 or 8, depending on its criticality, to ensure its reliability. That is due to the strict tests, traditionally conducted manually, by independent experts using parallel software and testing all the possible scenarios.
K-ALMA is the first system that uses Artificial Intelligence to automate software verification generation, which makes its auditing and certification possible. Thus, the cost is reduced by 90%, which democratises its security.
Tagline: Software tests at a fraction of their current cost.
Financing needs: €1.25 million in different phases to validate the technology on the market at industrial scale, market development and the deployment of the complete product roadmap.
Market
Industrial companies where the reliability of the software embedded in their products is critical and which invest a large amount of resources in software testing.
Innovative companies with a business based on software development who are interested in improving the reliability of its products and services within increasing their costs.
Technology tags
Business model
Project needs
Promoted by
Are you interested in high-tech projects capable of generating greater market impact?
Fill in this form and we will contact you if you want to take part in this initiative – either by contributing technology assets or if you are a talent promoter capable of turning them into business projects.
Related news
Prospect Biotech: real-time analysis of cell cultures using light
Basque Tek Ventures is backing this project that offers an optic solution to develop and monitor advanced therapies.
Makby: 3D bioprinting software for regenerative medicine
Basque Tek Ventures is backing this initiative that will revolutionise the field of artificial biological tissues.
Konbus+: Controlled temperature and high velocity thermal spray systems
The initiative, coming under Basque Tek Ventures, provides high value-added coatings in extreme conditions in a cost-effective manner.
INTELLIWELD: assessment of weld quality
Basque Tek Ventures supports this initiative offering an integrated system to analyse and control process and product in welding systems.
FATRIXGEL: universal biomaterial for 3D cell cultures
The project, coming under Basque Tek Ventures, will revolutionise the generation of tissues to be used to research pharmaceutical and biotechnological therapies.
CRIOKEEP: device for the cryogenic storage, transport and dosing of therapeutic products
Basque Tek Ventures is backing this solution to improve the effectiveness of advanced medicine therapies by lowering risks and costs.
BATTBELT: mechanical management of batteries to improve their performance
The project, which is part of the Basque Tek Ventures initiative, helps to extend the life and energy density of lithium-ion batteries.
ORBIK: cybersecurity solutions for equipment with embedded electronics
Certification of technology products by means of assessing, detecting and monitoring their security vulnerabilities is the basis of this project hosted by the Basque Tek Ventures initiative.
OPTIDEL Biosystems: low liquefiable polyphenol solubilisation
The project, backed by the Basque Tek Ventures initiative, offers cosmetic-healthcare solutions to formulate more efficient topical products at a low cost.
NEWRO: stroke neurorehabilitation using robotic exoskeleton
The project, part of the Basque Tek Ventures initiative, will lead to therapies based on the hybrid brain-machine interface to recover after any degree of stroke.