Activities
Seminar by Janette Cardoso (ISAE/DMIA, Toulouse): Ptolemy et la modélisation de systèmes cyber-physiques
Ce séminaire commence par la présentation du logiciel open-source Ptolemy II, un environnement de modélisation, de simulation et d'implémentation de systèmes hétérogènes. Je présenterai deux modèles de calcul, Continuous Time et Discrete Event, et comment la notion de temps superdense, utilisé dans Ptolemy II, permet de représenter de façon élégante des modèles de calcul différents, donnant une sémantique claire aux différents signaux (discret, continu, continu par morceaux). J'introduirai Ptides (programming temporally integrated distributed embedded systems), basé sur le modèle de calcul Discrete Event, qui exploite la synchronisation temporelle d'un réseau pour fournir une exécution distribuée efficiente. Je discuterai les limitations imposées par les composants réseaux dans la performance temps réel de systèmes temporels critiques en suggérant des approches pour imposer une sémantique temporel sur les réseaux. Le prototypage de ces idées dans Ptolemy fait partie des travaux futurs.
