An I/O Automata-based Approach to Verify Component Compatibility: Application to the CyCab Car

7Citations
Citations of this article
7Readers
Mendeley users who have this article in their library.

Abstract

An interesting formal approach to specify component interfaces is interface automata based approach, which is proposed by L. Alfaro and T. Henzinger. These formalisms have the ability to model both the input and output requirements of components system. In this paper, we propose a method to enrich interface automata by the semantics of actions in order to verify components interoperability at the levels of signatures, semantics, and protocol interactions of actions. These interfaces consist of a set of required and offered actions specified by Pre and Post conditions. The verification of the compatibility between interface automata reuse the L. Alfaro and T. Henzinger proposed algorithm and adapt it by taking into account the action semantics. Our approach is illustrated by a case study of the vehicle CyCab. © 2010 Elsevier B.V. All rights reserved.

Cite

CITATION STYLE

APA

Chouali, S., Mountassir, H., & Mouelhi, S. (2010). An I/O Automata-based Approach to Verify Component Compatibility: Application to the CyCab Car. Electronic Notes in Theoretical Computer Science, 238(6), 3–13. https://doi.org/10.1016/j.entcs.2010.06.002

Register to see more suggestions

Mendeley helps you to discover research relevant for your work.

Already have an account?

Save time finding and organizing research with Mendeley

Sign up for free