Towards a "Synchronous Reactive" UML profile?

Robert de Simone, Charles André
2005 International Journal on Software Tools for Technology Transfer (STTT)  
Projet SPORTS Rapport de recherche ISRN I3S/RR-2003-26-FR Novembre2003 LABORATOIRE I3S: Les Algorithmes / Euclide B -2000 route des Lucioles -B.P. 121 -06903 Sophia-Antipolis Cedex, France -Tél. (33) 492 942 701 -Télécopie : (33) 492 942 898 http://www.i3s.unice.fr/I3S/FR/ RÉSUMÉ : Le domaine des systèmes embarqués temps réel est à l'origine de plusieurs nouveautés dans l'UML 2.0. Les travaux menés sur le profil « Scheduling, Performance & Time » (SPT) en UML 1.4 allaient déjà dans cette
more » ... on. Toutefois, les paradigmes génériques sous-jacents à ces efforts de modélisation s'adressent surtout aux composants logiciels, s'exécutant sur des systèmes d'exploitation temps réel avec des contraintes de temps physique et des préoccupations « intergicielles » (middleware) (e.g., RT-Corba). Dans d'autres domaines de conception d'applications embarquées, on fait appel à des paradigmes différents, relevant de la conception conjointe (codesign) à la frontière entre le logiciel et le matériel, ou des mathématiques discrètes appliquées à l'ingénierie des systèmes (MATLAB/Simulink) et aux algorithmes de traitement du signal. Le paradigme des Systèmes Réactifs Synchrones (S/R), caractérisés par un temps logique discret et un comportement décomposé en réactions instantanées, s'est révélé bien adapté à ces domaines pour les modélisations mixtes logicielles/matérielles au niveau système (System-Level Design ou SDL). Dans cette présentation, nous décrivons les concepts nécessaires à la modélisation réactive synchrone, ainsi que leurs représentations par diagrammes UML. MOTS CLÉS : systèmes embarqués, temps réel, UML, approche synchrone ABSTRACT : The domain of Real-Time Embedded (RTE) systems was acknowledged as being largely influential on many feature additions to the upcoming UML2.0 standards. Work on UML1.4 Scheduling, Performance & Time (SPT) profile also goes in that direction. Still, the generic paradigms underlying these modeling efforts is that of software components, running on a real-time OSs with physical time constraints and middleware (e.g., RT-Corba) concerns. In other areas of Embedded System Design other paradigms are at work, owing to codesign techniques at the border between software and hardware, or discrete time mathematical engineering (MATLAB/Simulink) and DSP algorithms, etc. The paradigm of Synchronous Reactive (S/R)} systems, with discrete logical time and behavior decomposition into instantaneous reactions, proved quite natural in such areas to model mixed HW/SW System-Level Design (SLD). We describe here some of the modeling paradigms needed for a true S/R model framework, and corresponding diagrammatic interpretations. Abstract The domain of Real-Time Embedded (RTE) systems was ackowledged as being largely influencial on many feature additions to the upcoming UML2.0 standard [1]. Work on UML1.4 Scheduling, Performance & Time(SPT) profile also goes in that direction. Still, the generic paradigms underlying these modeling efforts is that of software components, running on a real-time OSs with physical time constraints and middleware (e.g., RT-Corba) concerns. In other areas of Embedded System Design other paradigms are at work, owing to codesign techniques at the border between software and hardware, or discrete time mathematical engineering (MATLAB/Simulink) and DSP algorithms, etc. The paradigm of Synchronous Reactive (S/R) systems [2, 3], with discrete logical time and behavior decomposition into instantaneous reactions, proved quite natural in such areas to model mixed HW/SW System-Level Design (SLD). We describe here some of the modeling paradigms needed for a true S/R model framework, and corresponding diagrammatic interpretations.
doi:10.1007/s10009-005-0206-9 fatcat:e5qswalm6nfq7nnwvbuejleine