Hyben: Hybrid Verification of Heterogeneous Message-Passing Applications
Independent Research Fund Denmark
Danmarks Tekniske Universitet
Bag websites og digitale webtjenester, som f.eks. rejseplanen, findes et system af distribuerede programmer, som kommunikerer med hinanden. Disse programmer understøtter vigtige funktionaliteter, men de er vanskelige at vedligeholde og udvikle: en ubetydelig fejl i et program kan påvirke hele systemet. Dertil kommer, at hvis et komplekst system ikke performer som forventet, er det både dyrt, tidskrævende og vanskeligt at finde og rette årsagen til at systemet fejler. I dette projekt forsker vi i nye metoder til at udvikle korrekte og pålidelige distribuerede software systemer. De nye metoder vil kombinere to forskellige teknikker inden for software verificering: statisk verificering ved analyse af programkode og dynamisk verificering ved at monitorere programmer medens de kører. I projektet vil vi også udvikle prototypeværktøj til software ingeniører, der vil gøre det lettere at udvikle pålidelige distribuerede systemer.
Research Projects (Max 10 MDKK) / DFF-Forskningsprojekt1 / grant