PROMETHEUS

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

Anything in here will be replaced on browsers that support the canvas element


References in zbMATH (referenced in 3 articles )

Showing results 1 to 3 of 3.
Sorted by year (citations)

  1. Majster-Cederbaum, Mila; Martens, Moritz: Robustness in interaction systems (2007)
  2. 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
  3. Gössler, Gregor; Sangiovanni-Vincentelli, Alberto: Compositional modeling in Metropolis (2002)