Priority Systems

Report, Conference object English OPEN
Gössler , Gregor; Sifakis , Joseph;
(2003)
  • Publisher: Springer-Verlag
  • Subject: [ INFO.INFO-OH ] Computer Science [cs]/Other [cs.OH] | STATIC PRIORITIES | SAFETY | INCREMENTAL CONSTRUCTION | CORRECTNESS BY CONSTRUCTION | PARTIAL ORDER | CONTROLLER SYNTHESIS | DYNAMIC PRIORITIES | COMPOSABILITY | DEADLOCK-FREEDOM

Projet POP_ART; We present a framework for the incremental construction of deadlock-free systems meeting given safety properties. The framework borrows concepts and basic results from the controller synthesis paradigm by considering a step in the construction process as... View more
Share - Bookmark