Chouali S.,Luniversite Of Franche Comte Lifc |
Mountassir H.,Luniversite Of Franche Comte Lifc |
Mouelhi S.,Luniversite Of Franche Comte Lifc
Electronic Notes in Theoretical Computer Science | Year: 2010
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.
Dedu E.,Luniversite Of Franche Comte Lifc |
Bourgeois J.,Luniversite Of Franche Comte Lifc |
Boutoustous K.,Luniversite Of Franche Comte Lifc
International Journal of Pervasive Computing and Communications | Year: 2010
Purpose: The purpose of this paper is to present a calibrator to determine the best grid size of a Smart Surface. The Smart Surface is a micro-electro mechanical systems (MEMS) whose goal is to sort micro-parts. Design/methodology/approach: The possible micro-parts are rotated and translated, and their characteristics are stored in a database. Afterwards, when such a micro-part is laid off the Smart Surface, its characteristics are compared to database values. Simulations show that some grid sizes are better than others in terms of success in part recognition. Findings: The tests performed on all groups of three out of four models show that a sensors grid of (35, 35) is an appropriate parameter for the Smart Surface. Research limitations/implications: The authors plan to work on a more general case, using any kinds of parts. Practical implications: The work allows the automation of the process of sorting micro-parts, in assembly lines for example. Originality/value: Few works exist for part recognition on very small parts and for choosing the best discretization scale. © Emerald Group Publishing Limited.