Zobrazeno 1 - 10
of 62
pro vyhledávání: '"Caspi, Paul"'
Autor:
Caspi, Paul
Th.--Sci. phys.--Grenoble--I.N.P., 1978. N°: DE 41.
Externí odkaz:
http://catalogue.bnf.fr/ark:/12148/cb36079147r
Publikováno v:
Journal of the ACM. Mar2002, Vol. 49 Issue 2, p172. 35p. 5 Diagrams.
Publikováno v:
[Research Report] RR-8494, INRIA. 2014, pp.14
Cyber-Physical Systems require distributed architectures to support safety critical real-time control. Hermann Kopetz' Time-Triggered Architecture (TTA) has been proposed as both an architecture and a comprehensive paradigm for systems architecture,
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::04660df63bf2a973f47a54db252e1191
https://hal.inria.fr/hal-00955496/document
https://hal.inria.fr/hal-00955496/document
Autor:
Mota, Jean-Marc, DMITRIEVA, Evguenia, Mammar, Amel, Caspi, Paul, BEHNIA, Salimeh, BRETON, Nicolas, Raymond, Pascal
Publikováno v:
Techniques industrielles de modélisation formelle pour le transport
Techniques industrielles de modélisation formelle pour le transport, Hermès-Lavoisier, pp.145-185, 2012, 978-2-7462-3230-3
Techniques industrielles de modélisation formelle pour le transport, Hermes-Lavoisier, pp.145-185, 2012, 978-2-7462-3230-3
Techniques industrielles de modélisation formelle pour le transport, Hermès-Lavoisier, pp.145-185, 2012, 978-2-7462-3230-3
Techniques industrielles de modélisation formelle pour le transport, Hermes-Lavoisier, pp.145-185, 2012, 978-2-7462-3230-3
Démonstration de la sécurité d'une application ferroviaire de signalisation en mode nominal et en modes dégradés par la preuve formelle
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::736ec32fbf015af7426a65498d121d37
https://hal.archives-ouvertes.fr/hal-00796381
https://hal.archives-ouvertes.fr/hal-00796381
Autor:
Caspi, Paul, Crnković, Ivica
The design of embedded real-time systems requires skills from multiple specific disciplines, including, but not limited to, control, computer science, and electronics. This often involves experts from differing backgrounds, who do not recognize that
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=57a035e5b1ae::58e8bc694af2d2cf0ebc54e65bcf4f5f
https://www.bib.irb.hr/257471
https://www.bib.irb.hr/257471
Autor:
Mikac, Jan, Caspi, Paul
Publikováno v:
International Workshop on Synchronous Languages, Applications and Programs
International Workshop on Synchronous Languages, Applications and Programs, Apr 2005, Edinbourgh, United Kingdom
International Workshop on Synchronous Languages, Applications and Programs, Apr 2005, Edinbourgh, United Kingdom
International audience; This paper proposes a refinement calculus for Lustre. First a very general calculus is provided, which ensures correctness and reactivity for a large class of systems. Then, this calculus is adapted to provide oversampling and
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::3468061b5a34835d18ba8ceed241776b
https://hal.inria.fr/inria-00466172
https://hal.inria.fr/inria-00466172
Publikováno v:
[Research Report] RR-4901, INRIA. 2003
We propose a mathematical framework to deal with the composition of heterogeneous reactive systems. Our theory allows to establish theorems, from which design techniques can be derived. We illustrate this by two cases: the deployment of synchronous d
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::21d5a6e9e135cee3e1c49249c18a6f12
https://hal.inria.fr/inria-00071682/file/RR-4901.pdf
https://hal.inria.fr/inria-00071682/file/RR-4901.pdf
Autor:
Caspi, Paul, Pouzet, Marc
Publikováno v:
Journées Francophones des Langages Applicatifs (JFLA)
Journées Francophones des Langages Applicatifs (JFLA), Feb 1999, Avoriaz, France
Journées Francophones des Langages Applicatifs (JFLA), Feb 1999, Avoriaz, France
National audience; Nous présentons ici les progrès réalisés dans la conception, la sémantique et l'implantation de Lucid Synchrone, extension fonctionnelle de Lustre construite au dessus d'Objective Caml, qui combine l'expressivité de la progra
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::2ab84d3933828459cbb4089d99efb63a
https://hal.archives-ouvertes.fr/hal-01574464
https://hal.archives-ouvertes.fr/hal-01574464
Publikováno v:
RR-3491, INRIA. 1998
This paper addresses the problem of automatically distributing reactive systems. We first show that the use of synchronous languages allows a natural parallel description of such systems, regardless of any distribution problems. Then, a desired distr
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::ef9f76d795e652718029cc705ee17f7f
https://hal.inria.fr/inria-00073196
https://hal.inria.fr/inria-00073196