TY - GEN
T1 - Algorithms for synthesizing priorities in component-based systems
AU - Cheng, Chih Hong
AU - Bensalem, Saddek
AU - Chen, Yu Fang
AU - Yan, Rongjie
AU - Jobstmann, Barbara
AU - Ruess, Harald
AU - Buckl, Christian
AU - Knoll, Alois
PY - 2011
Y1 - 2011
N2 - 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 fault- localization (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 #-deadlock to ignore components, and (c) automated assumption learning for compositional priority synthesis.
AB - 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 fault- localization (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 #-deadlock to ignore components, and (c) automated assumption learning for compositional priority synthesis.
UR - https://www.scopus.com/pages/publications/80054064762
U2 - 10.1007/978-3-642-24372-1_12
DO - 10.1007/978-3-642-24372-1_12
M3 - Conference contribution
AN - SCOPUS:80054064762
SN - 9783642243714
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 150
EP - 167
BT - Automated Technology for Verification and Analysis - 9th International Symposium, ATVA 2011, Proceedings
T2 - 9th International Symposium on Automated Technology for Verification and Analysis, ATVA 2011
Y2 - 11 October 2011 through 14 October 2011
ER -