SubsidieMeestersRefactoring legacy
Verum onderzoekt de haalbaarheid van een methodiek voor legacy migratie en automatisering van formele specificaties.
Projectdetails
Inleiding
Verum onderzoekt in dit haalbaarheidsproject de technische haalbaarheid van een op Dezyne gebaseerde legacy migratie methodiek en automatisering om formele specificaties af te leiden uit legacy implementaties.
Doel van het Project
Het doel is om deze formele specificaties vervolgens aan te passen naar een betrouwbaar model.
Tijdlijn
Dit haalbaarheidsonderzoek start op 20 april 2021 en duurt tot en met 31 maart 2022.
Financiële details & Tijdlijn
Financiële details
| Subsidiebedrag | € 18.765 |
| Totale projectbegroting | € 46.912 |
Tijdlijn
| Startdatum | 20-4-2021 |
| Einddatum | 31-3-2022 |
| Subsidiejaar | 2021 |
Partners & Locaties
Projectpartners
- Verum Software Tools B.V.penvoerder
Land(en)
Vergelijkbare projecten binnen MIT Haalbaarheid
| Project | Regeling | Bedrag | Jaar | Actie |
|---|---|---|---|---|
Haalbaarheidsstudie naar de specificatie en automatische verificatie van data contractsVerum onderzoekt de haalbaarheid van het uitbreiden van Dezyne voor automatische verificatie van datacontracten en abstracte datatypes. | Mkb-innovati... | € 20.000 | 2022 | Details |
D-CypherD-Cypher onderzoekt de haalbaarheid van een AI-platform voor efficiënte beveiliging en veiligheid op evenementen. | Mkb-innovati... | € 20.000 | 2021 | Details |
Haalbaarheid van het configurabel maken van schemadefinitiesChannel.me onderzoekt de haalbaarheid van een configureerbare schemadefinities voor hun low-code live-chat applicatie, gericht op gebruikers zonder programmeerkennis, om toekomstige investeringen te onderbouwen. | Mkb-innovati... | € 20.000 | 2020 | Details |
VRCOMATG Europe onderzoekt de haalbaarheid van VRCOM, een virtueel platform voor efficiënte communicatie en samenwerking in de ruimtevaart en high tech sectoren, met focus op 3D-modellen en gebruiksvriendelijke data-invoer. | Mkb-innovati... | € 19.680 | 2020 | Details |
Haalbaarheidsonderzoek ontwikkeling generieke OTSDit project onderzoekt de haalbaarheid van een generieke Terminologie Server voor het verbeteren van datakwaliteit in de zorgsector. | Mkb-innovati... | € 20.000 | 2024 | Details |
Haalbaarheidsstudie naar de specificatie en automatische verificatie van data contracts
Verum onderzoekt de haalbaarheid van het uitbreiden van Dezyne voor automatische verificatie van datacontracten en abstracte datatypes.
D-Cypher
D-Cypher onderzoekt de haalbaarheid van een AI-platform voor efficiënte beveiliging en veiligheid op evenementen.
Haalbaarheid van het configurabel maken van schemadefinities
Channel.me onderzoekt de haalbaarheid van een configureerbare schemadefinities voor hun low-code live-chat applicatie, gericht op gebruikers zonder programmeerkennis, om toekomstige investeringen te onderbouwen.
VRCOM
ATG Europe onderzoekt de haalbaarheid van VRCOM, een virtueel platform voor efficiënte communicatie en samenwerking in de ruimtevaart en high tech sectoren, met focus op 3D-modellen en gebruiksvriendelijke data-invoer.
Haalbaarheidsonderzoek ontwikkeling generieke OTS
Dit project onderzoekt de haalbaarheid van een generieke Terminologie Server voor het verbeteren van datakwaliteit in de zorgsector.
Vergelijkbare projecten uit andere regelingen
| Project | Regeling | Bedrag | Jaar | Actie |
|---|---|---|---|---|
Integrated Safety for Deeply Embedded Systems Software (ISAFE)Het ISAFE-project ontwikkelt een geïntegreerde aanpak voor de kwalificatie van softwaretools in veiligheid kritische systemen, gericht op het voldoen aan veiligheidsstandaarden en het verbeteren van softwareontwikkeling. | Mkb-innovati... | € 160.200 | 2016 | Details |
Data-Driven Verification and Learning Under UncertaintyThe DEUCE project aims to enhance reinforcement learning by developing novel verification methods that ensure safety and correctness in complex, uncertain environments through data-driven abstractions. | ERC Starting... | € 1.500.000 | 2023 | Details |
The development of an integrated Digital Twinning development platform (IDTD platform)Het project ontwikkelt een geïntegreerd Digital Twinning-platform om systemen virtueel te ontwerpen en te valideren, wat leidt tot snellere en goedkopere ontwikkeling van betrouwbare systemen. | Mkb-innovati... | € 200.000 | 2019 | Details |
Virtual Embodied Reminiscence Therapy in Extended RealityVERTEX aims to enhance older adults' well-being through VR experiences of their youth, evaluating psychological impacts to support a scalable intervention and business spin-off. | ERC Proof of... | € 150.000 | 2024 | Details |
Theoretical Foundations of Advanced SynthesisThis project aims to develop advanced synthesis methods for complex systems by enhancing quality measures, incorporating game-theoretic aspects, and addressing unpredictable environments. | ERC Advanced... | € 2.328.750 | 2022 | Details |
Integrated Safety for Deeply Embedded Systems Software (ISAFE)
Het ISAFE-project ontwikkelt een geïntegreerde aanpak voor de kwalificatie van softwaretools in veiligheid kritische systemen, gericht op het voldoen aan veiligheidsstandaarden en het verbeteren van softwareontwikkeling.
Data-Driven Verification and Learning Under Uncertainty
The DEUCE project aims to enhance reinforcement learning by developing novel verification methods that ensure safety and correctness in complex, uncertain environments through data-driven abstractions.
The development of an integrated Digital Twinning development platform (IDTD platform)
Het project ontwikkelt een geïntegreerd Digital Twinning-platform om systemen virtueel te ontwerpen en te valideren, wat leidt tot snellere en goedkopere ontwikkeling van betrouwbare systemen.
Virtual Embodied Reminiscence Therapy in Extended Reality
VERTEX aims to enhance older adults' well-being through VR experiences of their youth, evaluating psychological impacts to support a scalable intervention and business spin-off.
Theoretical Foundations of Advanced Synthesis
This project aims to develop advanced synthesis methods for complex systems by enhancing quality measures, incorporating game-theoretic aspects, and addressing unpredictable environments.