Modeling a Bus Protocol: An Incremental Approach

Ricardo Bedin FrançaJean-Meire FarinesJ-P. BodeveixLeandro Buss BeckerMamoun Filali Amine

In a real-time system architecture, the notion of a bus component plays an important role as it forms the backbone of communication among all the devices of the system. For this purpose, we need a precise specification of buses for applications that will run on top of them and for developers who implement device protocols. In this paper, we propose an incremental methodology to elaborate detailed bus protocol descriptions that may be useful in both design and temporal property verification, by specifying a protocol from a simple representation to a complete one by means of successive refinements, thus also permitting the refinement of model properties. The methodology is then tested with AADL and TLA specifications of the PCI bus protocol.

Caso o link acima esteja inválido, faça uma busca pelo texto completo na Web: Buscar na Web

Biblioteca Digital Brasileira de Computação - Contato:
     Mantida por: