SyncCharts/Esterel : un modèle synchrone pour systèmes réactives complexes

ANDRÉ C., BOUFAIED H., DISSOUBRAY S.

RTS’98 (Real-Time and Embedded Systems), Paris, 14-16 January 1998, published in RTS’98, pp 175-194, Teknea. First Price of best Scientific presentation. Get PDF

External and SyncCharts Description of an Automobile Cruise Control

BAYART M., LEMAIRE E., PERALDI M.A., ANDRE C.

ICV’98, IFAC Workshop, March 98, Seville (SP). GetPS

Verifying Temporal Properties in GRAFCET

ANDRÉ C., GAFFÉ D., ROBERT M.

CESA’98 IMACS-IEEE Multiconference, Hammamet, Tunisie, April 1-4, 1998, vol 3, pp 38-43.

Hardware Architecture Modelling using an Object-oriented method.
F.Mallet, F.Boéri, J-F.Duboc.
Euromicro Conference, Août 98, Västerås, Suède. ISBN 1-8186-8657-2, Vol I, p.147-153. © 1998 IEEE. Get PS

Combining Special Purpose and General Purpose Languages in Real-Time Programming

ANDRÉ C., RESSOUCHE A., TANZI J.M.

PLRTIA (Programming Languages for Real-Time Industrial Applications), Madrid, Spain, December 1, 1998. Get PS

Objects and Synchronous Programming.

ANDRÉ C., BOULANGER F., PÉRALDI M.-A., RIGAULT J.-P., VIDAL-NAQUET G.

RAIRO-APII-JESA, Vol. 31, n° 3, 1997, pp. 417-432. Get PDF

Large Partial-Order Automata and behavioural equivalences

LARA DE SOUZA-ROBERT M., DE SIMONE R.

RAIRO-APII-JESA, Vol. 31, n° 3, 1997, pp. 487-502.

SyncCharts : un formalisme pour systèmes réactives complexes

ANDRÉ C.

ELISA’97, Seminar on signal processing software and automation, Nancy 25-26 March1997.(Get PS)

Machines d’exécution pour langages synchrones : application au contrôle d’un atelier de production automatisé

BOUFAIED H.

Technical Report RR97_?? Laboratoire I3S March 1997, 24 pages.

Introducing the Synchronous Approach into a Real-Time Course

ANDRE C., PERALDI M.A., RIGAULT J.P.

Real Time Education Workshop 97 RTAS’97 Montréal (C), June 1997, published in Real Time Systems Education II, Mossé, Zalewski Ed. IEEE, pp 104-109. (Get PS)

SyncCharts/Estérel : un environnement graphique pour la spécification et la programmation d’applications réactives complexes

ANDRÉ C., BOURDELLÈS M., DISSOUBRAY S.

Actes GL’97, n° 46, Decembre 1997,  Paris, decembre 1997, 7 pages. Software Enginering 97, Paris, Decembre 1997.Get PS

1996:

Vérification de la sûreté d'exécution de Grafcets.
Guevara Noubir et Marie-Agnès Peraldi.
In

Environnement pour la programmation synchrone des systèmes réactifs

C. André and H Boufaïed and D. Gaffé and J.P. Marmorat.
In Conférence RTS&ES Solutions Informatiques Temps-Réel, Teknea., pages 27--41, Paris (F), January 1996. Get PS

Objets et programmation synchrone.
C. Andre, F. Boulanger, M.A. Péraldi, J.-P. Rigault,and G. Vidal-Naquet.
In Conf. Modélisation des Systèmes réactifs, Afcet, pages 55--62, Brest (F), Mars 1996.

Technical report RR-96-02, I3S, Sophia Antipolis Mars 1996.

Grafcet et environnements synchrone.
Daniel Gaffe and C. Andre.
Technical report RR-96-03, I3S, Sophia Antipolis Janvier1996.

In Conf. Modélisation des Systèmes Réactifs, Afcet, pages 71--77, Brest (F), Mars1996.

Predictability of a RTX2000-based implementation.
C. André and M-A. Péraldi
Real-Time Systems Journal, Kluwer Academic,10(3):223--244, May 1996.

Technical report RR-93-45, I3S, Sophia Antipolis Décembre 1993. GetPS

Approche synchrone des modes de marche et d'exploitation

Charles Andre, Jean-Claude Gentina, Lyes Kermad.
Technical report RR-96-04, I3S, Sophia Antipolis Janvier 1996.

In Conf. Modélisation des Systèmes Réactifs, Afcet, pages 259--266, Brest (F), Mars 1996.

Distributing Grafcet Software

T Kouthon and M-A Péraldi and J-D Decotignie

In ISSCI'96, Int. Symp. on Software Computing for Industry, pages ??--??, Montpellier (F), Mai 1996.

Representation and Analysis of Reactive Behaviors : A Synchronous Approach
C. André
Technical report RR-96-28, I3S, Sophia Antipolis Mai 1996. 

IEEE-SMC Computational Engineering in Systems Applications (CESA) , pages 19--29, Lille (F) July 1996.(Get PS)

Proving Properties of GRAFCET with Synchronous Tools.
C. André and Daniel Gaffe
Technical report RR-96-29, I3S, Sophia Antipolis Mai 1996.

IEEE-SMC Computational Engineering in Systems Applications (CESA) , pages 777--782, Lille (F) July 1996.

1995:

Sequential Function Charts : a Synchronous Point of View
Charles Andre, Daniel Gaffe
Technical report RR-95-08, I3S, Sophia Antipolis Février1995

G2OC, compilateur Grafcet vers OC, manuel de référence
Charles Andre, Daniel Gaffe
Technical report RR 95--02, I3S, Sophia Antipolis Février1995

Distribution of PLC controllers
T.Kouthon et J.D.Decotignie and M.A. Péraldi.
In IEEE Inter. Conf. on Syst. Man and Cybernetics, pages ?--?, Vancouver (Canada), October 1995.

Combining real-time features of local area networks: FIP and CAN
M.A. Péraldi and J.D. Decotignie.
In 2sd International ICC CAN Conf., pages 8-11--8-21, London (UK), October 1995.

Intelligent Control for Safety-Critical Applications
M-A Péraldi and J-D Decotignie and T Kouthon
IEEE SMC'95, Int. Conf. on Syst. Man and Cybernetics, pp 2994--2999,Vancouver (CA),October 1995. Get PS

On criteria for distributing PLC control
T Kouthon and J-D Decotignie and M-A Péraldi
IEEE SMC'95, Int. Conf. on Syst. Man and Cybernetics, pp 3822--3827,Vancouver (CA),October 1995.

Object-oriented approach for safe critical applications
M.A. Péraldi and J.D. Decotignie
In IEEE Inter. Conf. on Syst. Man and Cybernetics, pages ?--?, Vancouver (CA), October 1995.

SYNCCHARTS : A Visual Representation of Reactive Behavior
Charles Andre
Technical report RR-95-52, I3S, Sophia Antipolis Octobre 1995 (Get PS)

A design framework for real-time reactive applications
M-A. Péraldi and J-D. Decotignie
IEEE IECON'95, Orlando (Floride), November 1995, pages 144--149. Get PS

Producer-distributor-consumer model on Controller Area Network
J.D. Decotignie and M.A. Péraldi.
In 20th IFAC/IFIP WRTP'95, pages ?--?, Fort Lauderdale (Florida), November 1995.