Priority scheduling of distributed systems based on model checking

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

Volumn 5643 LNCS, Issue , 2009, Pages 79-93

  Basu, Ananda ^a   Bensalem, Saddek ^a   Peled, Doron ^b   Sifakis, Joseph ^a  

^a VERIMAG   (France)

^b BAR ILAN UNIVERSITY   (Israel)

Author keywords

[No Author keywords available]

Indexed keywords

DISTRIBUTED SYSTEMS; EFFICIENT IMPLEMENTATION; GLOBAL STATE; KNOWLEDGE IT; LOCAL INFORMATION; PRIORITY SCHEDULING; SCHEDULING POLICIES;

COMPUTER AIDED ANALYSIS; SCHEDULING;

MODEL CHECKING;

EID: 70350212977     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-02658-4_10     Document Type: Conference Paper

References (13)

1. Basu, A., Bidinger, P., Bozga, M., Sifakis, J.: Distributed Semantics and Implementation for Systems with Interaction and Priority. In: Suzuki, K., Higashino, T., Yasumoto, K., El-Fakih, K. (eds.) FORTE 2008. LNCS, vol. 5048, pp. 116-133. Springer, Heidelberg (2008)
2. Buckley, G.N., Silberschatz, A.: An Effective Implementation for the Generalized Input-Output Construct of CSP. ACM Transactions on Programming Language and Systems 5, 223-235 (1983)
3. Emerson, E.A., Clarke, E.M.: Characterizing Correctness Properties of Parallel Programs using Fixpoints. In: ICALP 1980. LNCS, vol. 85, pp. 169-181. Springer, Heidelberg (1980)
4. Fagin, R., Halpern, J.Y., Moses, Y., Vardi, M.Y.: Reasoning About Knowledge. MIT Press, Cambridge (1995)
5. Francez, N., Rodeh, M.: A Distributed Abstract Data Type Implemented by a Probabilistic Communication Scheme. In: 21st Annual Symposium on Foundations of Computer Science (FOCS), Syracuse, New York, pp. 373-379 (1980)
6. Halpern, J.Y., Zuck, L.D.: A little knowledge goes a long way: knowledge based derivation and correctness proof for a family of protocols. Journal of the ACM 39(3), 449-478 (1992)
7. Hoare, C.A.R.: Communicating Sequential Processes. Communication of the ACM 21, 666-677 (1978)
8. Gößler, G., Sifakis, J.: Priority Systems. In: de Boer, F.S., Bonsangue, M.M., Graf, S., de Roever, W.-P. (eds.) FMCO 2003. LNCS, vol. 3188, pp. 443-466. Springer, Heidelberg (2004)
9. Manna, Z., Pnueli, A.: How to Cook a Temporal Proof System for Your Pet Language. In: POPL 1983, Austin, TX, pp. 141-154 (1983)
10. van der Meyden, R.: Common Knowledge and Update in Finite Environment. Information and Computation 140, 115-157 (1980)
11. Quielle, J.P., Sifakis, J.: Specification and Verification of Concurrent Systems in CESAR. In: 5th International Symposium on Programming, pp. 337-350 (1981)
12. Ramadge, P.J., Wonham, W.M.: Supervisory control of a class of discrete event processes. SIAM Journal on Control and Optimization 25(1), 206-230 (1987)
13. Yoo, T.S., Lafortune, S.: A general architecture for decentralized supervisory control of discrete-event systems. Discrete event dynamic systems, theory & applications 12(3), 335-377 (2002)