A Case Study in Parallel Verification of Component-Based Systems

• Název česky: Případová studie paralelní verifikace komponentových systémů
• Autoři: BENEŠ Nikola; ČERNÁ Ivana; SOCHOR Jiří; MORAVCOVÁ VAŘEKOVÁ Pavlína; BÜHNOVÁ Barbora
• Rok publikování: 2008
• Druh: Článek v odborném periodiku
• Časopis / Zdroj: Electronic Notes in Theoretical Computer Science
• Fakulta / Pracoviště MU: Fakulta informatiky
• Obor: Informatika
• Klíčová slova: Component-based systems; formal verification; parallel model checking

Přiložené soubory

• PDMC08.pdf
• pdmc08_coin.pdf

• Popis: Článek prezentuje výsledky aplikace paralelní verifikace na ověření korektnosti interakce mezi komponentami ve skutečném komponentovém systému definovaném v rámci CoCoME Modelling Contest. V prezentované případové studii se věnujeme jak ověření správnosti modelu, tak i kontrole správnosti systému prostřednictvím verifikace různých temporálních vlastností.

Související projekty

• Techniky automatické verifikace a validace softwarových a hardwarových systémů
• Realistická aplikace formálních metod v komponentových systémech
• Vysoce paralelní a distribuované výpočetní systémy