Fundamenten van kwantitatieve modelcontrole

In systemen waar falen geen optie is, hoe kunt u er zeker van zijn dat uw ontwerp correct is?Ga verder dan traditionele testen en leer hoe u de betrouwbaarheid en prestaties van uw systemen wiskundig kunt bewijzen. Deze cursus biedt een praktische introductie tot kwantitatieve modelcontrole.U leert complexe systemen modelleren als toestandsovergangssystemen en Markov-ketens, formele specificaties schrijven met behulp van temporele logica en probabilistische en real-time eigenschappen analyseren om potentiële ontwerpfouten te identificeren voordat ze kritieke fouten worden. Wat je leert: - Begrijp de kernprincipes van modelcontrole en formele verificatie. - Leer systeemgedrag weer te geven met behulp van state transition-systemen en Markov-ketens. - Schrijf nauwkeurige systeemeigenschappen en vereisten met behulp van probabilistische tijdelijke logica (PCTL). - Pas modelcontrolealgoritmen toe om systeemeigenschappen zoals bereikbaarheid en verwachte beloningen te analyseren. - Oefen het modelleren van veelvoorkomende problemen, zoals communicatieprotocollen en systemen voor resourcetoewijzing. - Interpreteer de resultaten van kwantitatieve analyse om weloverwogen beslissingen te nemen over systeemveiligheid en prestaties. De cursus begint met de fundamentele concepten van systeemmodellering en formele logica, en gaat vervolgens over op technieken voor het specificeren en verifiëren van kwantitatieve eigenschappen van probabilistische systemen. Deze cursus is bedoeld voor software-ingenieurs, systeemontwerpers en studenten informatica.Er is geen eerdere ervaring met formele methoden vereist om te beginnen. Begin vandaag nog met het leren bouwen van verifieerbaar correcte systemen.