RAFAEL: A REAL-TIME SYSTEM ANALYSIS TOOL.

G. Memmi; P. Behm

RAFAEL: A REAL-TIME SYSTEM ANALYSIS TOOL.

G. Memmi
, P. Behm

Telecom Paris

Résultats de recherche: Le chapitre dans un livre, un rapport, une anthologie ou une collection › Contribution à une conférence › Revue par des pairs

Résumé

RAFAEL is a tool designed to assist analysis of programs written in the real-time system specification language L. The aim of such analysis is to establish properties associated with communication and synchronization between processes. First, a program in L is translated into a fifo Petri net. A fifo Petri net is an extension of a Petri net, which is particularly suitable for modelling nets of processes communicating by way of messages, which is a feature of L. The translator sifts out the communication aspect. Analysis can be conducted using one of the two algorithms: the first provides an invariant generator, the second constructs the reachability graph.

langue originale	Anglais
titre	Unknown Host Publication Title
Editeur	Engl
Pages	1-7
Nombre de pages	7
ISBN (imprimé)	0946536015
état	Publié - 1 déc. 1984

Autres fichiers et liens

Lien vers la publication dans Scopus

Contient cette citation

@inproceedings{5abeb82d182d459f807cb3ab69b5c084,

title = "RAFAEL: A REAL-TIME SYSTEM ANALYSIS TOOL.",

abstract = "RAFAEL is a tool designed to assist analysis of programs written in the real-time system specification language L. The aim of such analysis is to establish properties associated with communication and synchronization between processes. First, a program in L is translated into a fifo Petri net. A fifo Petri net is an extension of a Petri net, which is particularly suitable for modelling nets of processes communicating by way of messages, which is a feature of L. The translator sifts out the communication aspect. Analysis can be conducted using one of the two algorithms: the first provides an invariant generator, the second constructs the reachability graph.",

author = "G. Memmi and P. Behm",

year = "1984",

month = dec,

day = "1",

language = "English",

isbn = "0946536015",

publisher = "Engl",

pages = "1--7",

booktitle = "Unknown Host Publication Title",

}

TY - GEN

T1 - RAFAEL

T2 - A REAL-TIME SYSTEM ANALYSIS TOOL.

AU - Memmi, G.

AU - Behm, P.

PY - 1984/12/1

Y1 - 1984/12/1

N2 - RAFAEL is a tool designed to assist analysis of programs written in the real-time system specification language L. The aim of such analysis is to establish properties associated with communication and synchronization between processes. First, a program in L is translated into a fifo Petri net. A fifo Petri net is an extension of a Petri net, which is particularly suitable for modelling nets of processes communicating by way of messages, which is a feature of L. The translator sifts out the communication aspect. Analysis can be conducted using one of the two algorithms: the first provides an invariant generator, the second constructs the reachability graph.

AB - RAFAEL is a tool designed to assist analysis of programs written in the real-time system specification language L. The aim of such analysis is to establish properties associated with communication and synchronization between processes. First, a program in L is translated into a fifo Petri net. A fifo Petri net is an extension of a Petri net, which is particularly suitable for modelling nets of processes communicating by way of messages, which is a feature of L. The translator sifts out the communication aspect. Analysis can be conducted using one of the two algorithms: the first provides an invariant generator, the second constructs the reachability graph.

UR - https://www.scopus.com/pages/publications/0021633786

M3 - Conference contribution

AN - SCOPUS:0021633786

SN - 0946536015

SP - 1

EP - 7

BT - Unknown Host Publication Title

PB - Engl

ER -

RAFAEL: A REAL-TIME SYSTEM ANALYSIS TOOL.

Résumé

Autres fichiers et liens

Empreinte digitale

Contient cette citation