A polynomial-time checkable sufficient condition for deadlock-freedom of component-based systems

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4362 LNCS, Issue , 2007, Pages 888-899

  Majster Cederbaum, Mila ^a   Martens, Moritz ^a   Minnameier, Christoph ^a  

^a UNIVERSITY OF MANNHEIM   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; COMPUTATIONAL COMPLEXITY; LARGE SCALE SYSTEMS; MATHEMATICAL MODELS; PARAMETERIZATION; POLYNOMIALS;

COMPONENT-BASED SYSTEMS; GLOBAL STATE ANALYSIS; PARAMETRIZED POLYNOMIAL-TIME ALGORITHMS;

INTERACTIVE COMPUTER SYSTEMS;

EID: 38149005438     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-69507-3_77     Document Type: Conference Paper

References (12)

1. Attie, P. and Emerson, A.: Synthesis of Concurrent Systems with Many Similar Processes. ACM TOPLAS 20 1 (1998) 51-115
2. Attie, P. and Chockler, H.: Efficiently Verifiable Conditions for Deadlock-Freedom of Large Concurrent Programs. LNCS 3385 (2005) 465-481
3. Minnameier, C.: Deadlock-Detection in Component-Based Systems is NP-Hard. Technical Report TR-2006-015 (2006)
4. Gössler, G. and Sifakis, J.: Component-Based Construction of Deadlock-Free Systems. FSTTCS, LNCS 2914 (2003) 420-433
5. Gössler, G. and Sifakis, J.: Composition for Component-Based Modeling. Sci. Comput. Program. 55 1-3 (2005) 161-183
6. Sifakis, J.: A Framework for Component-based Construction. Keynote Talk, SEFM (2005) 293-300
7. Gössler, G., Graf, S., Majster-Cederbaum, M., Martens, M., and Sifakis, J.: An Approach to Modelling and Verification of Component-based Systems. Accepted for SOFSEM 2007.
8. Aldini, A. and Bernardo, M.: A General Approach to Deadlock-Freedom Verification for Software Architectures. FM 2003, LNCS 2805 658-677
9. Geilen, M.: Non-Exhaustive Model-Checking in Component Based Systems. Journal of Systems Architecture - The Euromicro Journal (2000)
10. Arons, T., Pnueli, A., Ruah, S., Xu, J., and Zuck, L.D.: Parameterized Verification with Automatically Computed Inductive Assertions. CAV (2001) 221-234
11. Clarke, E., Enders, R., Filkorn, T., and Jha, S.: Exploiting Symmetry in Temporal Logic Model Checking. FMSD 9 2 (1996)
12. Tanenbaum, A.: Modern Operating Systems, 2nd ed. Prentice Hall (2001)