The CoIn Tool: Modelling and Verification of Interactions in Component-Based Systems

• Název česky: CoIn Tool: Modelování a verifikace interakcí v komponentových systémech
• Autoři: BENEŠ Nikola; BRIM Luboš; Č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 International Workshop on Formal Aspects of Component Software (FACS'08)
• Fakulta / Pracoviště MU: Fakulta informatiky
• Obor: Informatika
• Klíčová slova: component-based systems; Component-Interaction automata; formal verification; LTL; model checking
• Popis: Článek prezentuje modelovací a verifikační nástroj navržený pro formální ověřování správnosti interakcí mezi komponentami v hierarchických komponentových systémech. Na rozdíl od existujících verifikačních nástrojů je prezentovaný CoIn Tool schopný analyzovat složité hierarchické modely on-the-fly a verifikovat lineární temporální vlastnosti vyjadřující se jak o stavech tak i akcích studovaných modelů.

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