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ří; VAŘEKOVÁ Pavlína; ZIMMEROVÁ Barbora
• Rok publikování: 2008
• Druh: Článek ve sborníku
• Konference: Pre-proceedings of the Workshop on Parallel and Distributed Methods in verifiCation (PDMC'08)
• Fakulta / Pracoviště MU: Fakulta informatiky
• Obor: Informatika
• Klíčová slova: Component-based systems; formal verification; parallel model checking
• 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