Behavioural Validation from a Formal Specification of Smart Equipment

In this paper, we propose a formal description of a component, which has been established, with objectives of system evaluation. After a short introduction to the concept of component, its external model, integrating notions of services, versions and modes, are recalled to formalise the component description. Finally, a synchronous language is used to compute the formal description, what which allows to evaluate the component. Such description can be applied to smart equipment considered alone, but also to component of global architecture