Home » Plateformes du LS2N – Fiche

Plateformes du LS2N – Fiche



Logiciels Temps-Réels

L’équipe « Systèmes Temps Réel » met à disposition un ensemble de logiciels libres pour la mise en oeuvre des systèmes temps réel. Cela inclut des outils de vérification formelle et en simulation, des supports d’exécution temps réel ainsi que des outils de développement d’outils. Tous les logiciels sont gratuits sous licence LGPL ou Creative Commons Licence. Ils sont disponibles à l’adresse http ://www.rts-software.org

 

 

Capture d’écran de ROMEO, logiciel de vérification formelle de réseaux de Petri


Capture d’écran de HARMLESS, langage de description d’architecture matérielle


Capture d’écran de STORM, logiciel de simulation de systèmes temps réel multiprocesseurs
Responsable : Olivier Henri-Roux
Support Technique :
Contact :
Equipe(s) : ReV
Copyright : LS2N 2017 - Mentions Légales - 
 -