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
SAFEMOB: artificial intelligence for safer and more efficient public transport
Basque Tek Ventures backs this project that integrates AI in passenger vehicles to anticipate incidents and improve the travel experience
RECONNECT: spinal cord reconnection for people with spinal cord injuries
Basque Tek Ventures promotes this disruptive project that seeks to restore lost functions through state-of-the-art biocompatible implants
ILARGIA: AI-based platform for de novo protein design and optimisation
The project, powered by Basque Tek Ventures, promotes advanced biotechnological solutions for laboratories, academia and companies through an end-to-end approach
BEGI: on-chip 3D vision processor with back-end AI systems to enable neuromorphic DVS sensors
Basque Tek Ventures promotes this initiative to offer a new generation of three-dimensional perception in real time, more efficient and sustainable
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.