PROMETHEUS -- a compositional modeling tool for real-time systems. Prometheus is a modeling tool allowing the user to specify and compose real-time systems, by means of synchronization and priorization of actions, with a scheduler specified in a high-level description language. The resulting model is checked for consistency of the priorities, safety and liveness properties which can - up to a certain degree - be guaranteed by Prometheus. The composed system can be output in several formats.
Keywords for this software
References in zbMATH (referenced in 3 articles )
Showing results 1 to 3 of 3.
- Majster-Cederbaum, Mila; Martens, Moritz: Robustness in interaction systems (2007)
- Moy, Matthieu; Maraninchi, Florence; Maillet-Contoz, Laurent: LusSy: An open tool for the analysis of systems-on-a-chip at the transaction level (2006) ioport
- Gössler, Gregor; Sangiovanni-Vincentelli, Alberto: Compositional modeling in Metropolis (2002)