Component-Interaction Automata as a Verification-Oriented Component-Based System Specification

• Název česky: Component-Interaction automaty pro verifikačně orientovanou specifikaci komponentových systémů
• Autoři: BRIM Luboš; ČERNÁ Ivana; VAŘEKOVÁ Pavlína; ZIMMEROVÁ Barbora
• Rok publikování: 2005
• Druh: Článek ve sborníku
• Konference: Proceedings of SAVCBS 2005
• Fakulta / Pracoviště MU: Fakulta informatiky
• www: http://www.cs.iastate.edu/~leavens/SAVCBS/2005/SAVCBS05.pdf
• Obor: Informatika
• Klíčová slova: ADLs; Component-Interaction automata; component interaction; verification
• Popis: Práce popisuje nový přístup k specifikaci a verifikaci komponentových systémů, který kombinuje výhody jazyků pro popis architektury (ADL) a možnosti automatického ověřování temporálních vlastností modelů.

Související projekty

• Integrovaný přístup k výchově studentů DSP v oblasti paralelních a distribuovaných systémů
• Realistická aplikace formálních metod v komponentových systémech
• Vysoce paralelní a distribuované výpočetní systémy