Towards Design Recovery from Observations

This paper proposes an algorithm for the construction of an MSC graph from a given set of actual behaviors of an existing concurrent system which has repetitive subfunctions. Such a graph can then be checked for safe realizability and be used as input to existing synthesis techniques.

• Type: Conference
• Year: 2004
• Where: FORTE
• Authors: Hasan Ural, Hüsnü Yenigün
• Keywords: Actual Behaviors, FORTE 2004, FORTE 2007, Msc Graph, Safe Realizability