Algorithms for Synthesizing Priorities in Component-Based Systems [chapter]

Chih-Hong Cheng, Saddek Bensalem, Yu-Fang Chen, Rongjie Yan, Barbara Jobstmann, Harald Ruess, Christian Buckl, Alois Knoll
2011 Lecture Notes in Computer Science  
We present algorithms to synthesize component-based systems that are safe and deadlock-free using priorities, which define stateless-precedence between enabled actions. Our core method combines the concept of faultlocalization (using safety-game) and fault-repair (using SAT for conflict resolution). For complex systems, we propose three complementary methods as preprocessing steps for priority synthesis, namely (a) data abstraction to reduce component complexities, (b) alphabet abstraction and
more » ... deadlock to ignore components, and (c) automated assumption learning for compositional priority synthesis.
doi:10.1007/978-3-642-24372-1_12 fatcat:hseg2zm5ibgklpdejruazyoyqe