Component Substitutability via Equivalencies of Component-Interaction Automata

• Název česky: Vyměnitelnost komponent na základě ekvivalencí Component-interaction automatů
• Autoři: ČERNÁ Ivana; VAŘEKOVÁ Pavlína; ZIMMEROVÁ Barbora
• Rok publikování: 2006
• Druh: Článek ve sborníku
• Konference: Pre-proceedings of the International Workshop on Formal Aspects of Component Software (FACS'06)
• Fakulta / Pracoviště MU: Fakulta informatiky
• Obor: Informatika
• Klíčová slova: component-based systems; reconfiguration correctness; component substitutability; independent implementability
• Popis: Článek nabízí nový pohled na formální aspekty vyměnitelnosti dvou komponent a nezávislé implementace komponenty (umožnuje použití komponenty v jakémkoli systému kde implementace komponenty vyhovuje specifikaci stanovené prostředím), s využitím formalismu zvaného Component-interaction automaty. Cílem práce je poskytnout formální charakterizaci podmínek, které vedou k rekonfigurační korektnosti (správná substituce komponent a bezpečná nezávislá implementace). Tyto podmínky posléze zaručují, že nový systém (po výměně komponenty) zůstane ekvivalentní původnímu, a tedy není nutné ho opakovaně verifikovat.

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
• Automatizovaná verifikace softwaru