A Model of CAN-Based Applications for the Verification of Temporal Properties

Autor:	Christophe Philippe, Françoise Simonot-Lion, Joël Toussaint
Rok vydání:	1997
Předmět:	Formalism (philosophy of mathematics) Theoretical computer science Computer science Real-time communication Distributed computing Dependability Process architecture Petri net CAN bus
Zdroj:	IFAC Proceedings Volumes. 30:77-82
ISSN:	1474-6670
DOI:	10.1016/s1474-6670(17)43243-5
Popis:	This paper presents a model of CAN based application able to support verification of certain dependability constraints which are relevant of communication and time. The document describes the mechanism of CAN network and presents the basic concepts for the modelling process, generic models of cooperation between communicating functions and their expression thanks to the time Petri Nets formalism. An example illustrates the modelling methodology.
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::e779e641bf4aa9272c7273994765c788 https://doi.org/10.1016/s1474-6670(17)43243-5 Zobrazit plný text záznamu