Component-Interaction Automata Approach (CoIn)

• Název česky: Přístup využívající Component-Interaction automaty
• Autoři: ZIMMEROVÁ Barbora; VAŘEKOVÁ Pavlína; BENEŠ Nikola; ČERNÁ Ivana; BRIM Luboš; SOCHOR Jiří
• Rok publikování: 2008
• Druh: Kapitola v knize
• Fakulta / Pracoviště MU: Fakulta informatiky
• Popis: Cilem našeho přístupu k modelování a verifikaci komponentových systémů, je vytvoření prostředí pro formální analýzu behaviorálních aspektů velkých komponentových systémů. Pro účely modelování využíváme Component-Interaction automaty, a pro účely verifikace používáme verifikační nástroj DiVinE. V této kapitole představujeme, jak je možné využít náš přístup k modelování a verifikaci jednotného modelovacího příkladu definovaného v úvodu této knihy.

Související projekty

• Integrovaný přístup k výchově studentů DSP v oblasti paralelních a distribuovaných systémů
• Techniky automatické verifikace a validace softwarových a hardwarových systémů
• Realistická aplikace formálních metod v komponentových systémech
• Institut Teoretické Informatiky
• Vysoce paralelní a distribuované výpočetní systémy
• Automatizovaná verifikace softwaru