Local and global deadlock-detection in component-based systems are NP-hard

Information Processing Letters

Volumn 103, Issue 3, 2007, Pages 105-111

  Minnameier, Christoph ^a  

^a UNIVERSITY OF MANNHEIM   (Germany)

Author keywords

Computational complexity; Concurrency; Safety security in digital systems

Indexed keywords

COMPUTER SYSTEM RECOVERY; CONCURRENCY CONTROL; INTERACTIVE COMPUTER SYSTEMS; LARGE SCALE SYSTEMS; POLYNOMIAL APPROXIMATION; SECURITY OF DATA;

COMPONENT BASED SYSTEMS; DEADLOCK DETECTION; SECURITY IN DIGITAL SYSTEMS;

COMPUTATIONAL COMPLEXITY;

EID: 34248142523     PISSN: 00200190     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.ipl.2007.02.016     Document Type: Article

References (12)

1. A. Basu, M. Bozga, J. Sifakis, Modeling heterogeneous real-time components in BIP, Invited Lecture, SEFM, 2006
2. G. Gössler, S. Graf, M. Majster-Cederbaum, M. Martens, J. Sifakis, An approach to modelling and verification of component based systems, in: Theory and Practice of Computer Science, Lecture Notes in Comput. Sci., vol. 4362
3. G. Gössler, S. Graf, M. Majster-Cederbaum, M. Martens, J. Sifakis, Ensuring properties of interaction systems, in: Program Analysis and Compilation, Theory and Practice, Lecture Notes in Comput. Sci., vol. 4444
4. S. Cook, The complexity of theorem proving procedures, in: Proceedings Third Annual ACM Symposium on Theory of Computing, 1971, pp. 151-158
5. Garey M.R., and Johnson D.S. Computers and Intractability, a Guide to the Theory of NP-Completeness (1979), W.H. Freeman, New York
6. Gössler G., and Sifakis J. Component-based construction of deadlock-free systems. FSTTCS. Lecture Notes in Comput. Sci. vol. 2914 (2003), Springer 420-433
7. Gössler G., and Sifakis J. Composition for component-based modeling. Sci. Comput. Program. 55 1-3 (2005) 161-183
8. Ladkin P., and Simons B. Compile-time analysis of communicating processes. Proceedings of the 1992 International Conference on Supercomputing (1992), ACM Press 248-259
9. M. Majster-Cederbaum, M. Martens, C. Minnameier, A polynomial-time checkable sufficient condition for deadlock-freedom of component-based systems, in: Theory and Practice of Computer Science, Lecture Notes in Comput. Sci., vol. 4362
10. J. Sifakis, Modeling real-time systems, Keynote talk RTSS04
11. J. Sifakis, A framework for component-based construction, Extended abstract, in: SEFM, 2005, pp. 293-300
12. Tanenbaum A.S. Modern Operating Systems. second ed. (2001), Prentice-Hall