T. Thomas, L. Lambolais, T. Lesiour, and R. , Architectural techniques for the description and validation of distributed real-time systems, Proceedings 2nd IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC'99) (Cat. No.99-61702), pp.3-5, 1999.
DOI : 10.1109/ISORC.1999.776399

V. Saens, L. Thomesse, J. Sahraoui, and J. Puente, Temporal Properties in Distributed Real-Time Applications Modèles de coopération et de communication entre processus temps réel répartis, Doctorat de l'Institut National Polytechnique de Lorraine, septembre 1996, Propriétés temporelles [Vega 95 Proceedings of 13th IFAC Workshop on Distributed Computer Control Systems septembre 1995. [Vega 96] Vega Saens L. Véga-Saens L., Simonot-Lion F., Formal Verification of Time Constrained Communications, proceedings International Conference on Parallel and Distributed Computing Systems, ISCA'96, pp.119-124, 1996.

J. Toussaint-97e-]-toussaint, F. Simonot-lion, and J. Thomesse, Time Constraint Verification Methods Based on Time Petri Nets Expression et validation de contraintes temporelles pour la spécification des systèmes réactifs, Proceedings 6 th Workshop on Future Trends in Distributed Computing Systems, FTDCS'97, pp.262-267, 1997.

P. Beauvais, J. P. Courrier, M. Simonot-lion, F. Song, and Y. , Placement de tâches temps-réel dans un système réparti Simulation [Courrier 98b Microscopic Modeling of Support System for in-Vehicle Embedded Systems, Proceedings IFIP Workshop on Distributed and Parallel Embedded Systems, DIPES'98, 1998.

. Simonot, F. Simonot-lion, Y. Q. Song, and J. Raymond, Validating real-time applications distributed over CAN : an interoperability verification VACANS -A tool for the validation of CANbased applications, Proceedings 4 th international CAN conference, ICC'97 Proceedings of IEEE WFCS' 97, 1997.

F. Simonot-lion and M. Bayart, Le processus de développement des systèmes automatisés de production : analyse de l'étape de conception, Actes Conférence on Real-Time Systems and Embedded Systems, RTS'96, 1996.

M. Bayart and F. Simonot-lion, Impact de l'émergence des réseaux de terrain et de l'instrumentation intelligente dans la conception des architectures des systèmes d'automatisation de processus, pp.92-239, 1995.

Y. Trinquet, Les systèmes d'exploitation temps réel Synchronisation d'horloge [He 93] He J., Modélisation de la synchronisation d'horloge dans les systèmes répartis, 1993.

R. Mrabet, Modèle de simulation QNAP2 pour l'étude de performances de spécifications Estelle hiérarchiques,Colloque Francophone de l'ingénierie des Protocoles, CFIP'96.Annexes [Valderruten 93, Deriving Queuing Networks Performance Models from Annotated LOTOS specifications, 6 th International Conference on Modelling Techniques and Tools for Performance Evaluation, 1993.

. Modélisation, Validation de systèmes distribués autour du réseau CAN, mémoire de DEA d'informatique, septembre, 1996.

E. Delorme, Modélisation d'un langage de description et de validation d'architectures logicielles avec un langage synchrone : Esterel et un outil d'évaluation de performances : OPNET

P. Philippe and C. , Méthodologie de modélisation et d'évaluation d'applications réparties temps réel sûres de fonctionnement , thèse de doctorat de l'INPL, octobre 1997 Modélisation d'applications temps réel réparties pour la validation de propriétés temporelles ? Méthodologie de construction de modèles et algorithmes de validation, Doctorat de l'Institut National Polytechnique de Lorraine, Garzon, vol.97, 1997.

V. Mooney and T. Sakomata, Run-time scheduler synthesis for hardware-software systems and application to robot control design, Proceedings of 5th International Workshop on Hardware/Software Co Design. Codes/CASHE '97
DOI : 10.1109/HSC.1997.584586

W. S. Neely, V. J. Mooney, P. V. Knudsen, J. Madsen, F. Abdullah et al., System Level Design for System on a Chip Communication Estimation for Hardware/Software Codesign Verilog Simulation of aHardware-Software Implementation of a Robotics Control Algorithm, 1998.

L. and D. Monotonic, La plus grande priorité est associée à la tâche possédant la plus petite échéance. Pour les tâches de même échéance, l' affectation de priorité se fait de manière aléatoire. En échéance sur requête l' algorithme est équivalent à l' algorithme Rate Monotonic