An executable specification of the PCI-X bus standard in AsmL

Author

Moinudeen, Haja ; Habibi, Ali ; Tahar, Sofiène

Author_Institution

Dept. of Electr. & Comput. Eng., Concordia Univ., Montreal, Que.

fYear

2005

fDate

1-4 May 2005

Firstpage

1308

Lastpage

1311

Abstract

In this paper, we describe an executable formal specification of the PCI-X bus standard using the abstract state machines language, AsmL. PCI-X, is the latest extension of the PCI local bus that is designed to meet increased I/O demands of recent technologies. The actual specification of PCI-X, provided by the PCI special interest group (PCI-SIG), is informal (in natural English). Hence, it is prone to inherent problems of incompleteness, inconsistency and ambiguity. In our approach, we first model the bus in UML and then map it to AsmL. This AsmL model can be executed using the Asmlt tool that can generate the finite state machine (FSM) of the model. Such FSM can be of great use for verification purposes

Keywords

Unified Modeling Language; finite state machines; formal specification; peripheral interfaces; AsmL; FSM; PCI-X bus standard; UML; abstract state machines language; executable specification; finite state machine; formal specification; special interest group; verification purposes; Automata; Clocks; Formal specifications; Natural languages; Object oriented modeling; Protocols; Scalability; Space exploration; Testing; Unified modeling language;

fLanguage

English

Publisher

ieee

Conference_Titel

Electrical and Computer Engineering, 2005. Canadian Conference on

Conference_Location

Saskatoon, Sask.

ISSN

0840-7789

Print_ISBN

0-7803-8885-2

Type

conf

DOI

10.1109/CCECE.2005.1557217

Filename

1557217