Solving scheduling problems by untimed model checking the clinical chemical analyser case study

FMICS'05 - Proceedings of the Tenth International Workshop on Formal Methods for Industrial Critical Systems

Volumn , Issue , 2005, Pages 54-61

  Wijs, Anton ^a   Van De Pol, Jaco ^a   Bortnik, Elena ^b  

^a CWI   (Netherlands)

^b EINDHOVEN UNIVERSITY OF TECHNOLOGY   (Netherlands)

Author keywords

Process algebra; Scheduling; Search algorithms; Untimed model checking

Indexed keywords

ALGEBRA; ALGORITHMS; INDUSTRIAL APPLICATIONS; MATHEMATICAL MODELS; PROBLEM SOLVING; PROCESS ENGINEERING; TIME AND MOTION STUDY;

CHEMICAL ANALYSERS; PROCESS ALGEBRA; SEARCH ALGORITHMS; SPACE GENERATORS; UNTIMED MODEL CHECKING;

WORK-REST SCHEDULES;

EID: 33749020566     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (24)

1. J.C.M. Baeten and C.A. Middelburg. Process Algebra with Timing. EATCS Monograph. Springer, 2002.
2. G. Behrmann, A. Fehnker, T. Hune, K.G. Larsen, P. Pettersson, and J.M.T. Romijn. Efficient Guiding Towards Cost-Optimality in UPPAAL. In Proc. TACAS 2001, volume 2031 of LNCS, pages 174-188, 2001.
3. G. Behrmann, A. Fehnker, T. Hune, K.G. Larsen, P. Pettersson, J.M.T. Romijn, and F. Vaandrager. Minimum-Cost Reachability for Priced Timed Automata. In Proc. HSCC'01, volume 2034 of LNCS, pages 147-161, 2001.
4. J.A. Bergstra and J.W. Klop. Process algebra for synchronous communication. Information and Control, 60(1-3):109-137, 1984.
5. S. Blom, I. van Langevelde, and B. Lisser. Compressed and distributed file formats for labeled transition systems. In Proc. PDMC 2003, volume 89 of ENTCS. Elsevier, 2003.
6. S. Blom and S. Orzan. A Distributed Algorithm for Strong Bisimulation Reduction of State Spaces. In Proc. of PDMC 2002, volume 68 (4) of ENTCS. Elsevier, 2002.
7. S.C.C. Blom, W.J. Fokkink, J.F. Groote, I. van Langevelde, B. Lisser, and J.C. van do Pol. μCRL: A Toolset for Analysing Algebraic Specifications. In Proc. CAV 2001, volume 2102 of LNCS, pages 250-254, 2001.
8. S.C.C. Blom, N. Ionstiriova, and N. Sidorova. Timed verification with μCRL. In Proc. PSI 2003, volume 2890 of LNCS, pages 178-192, 200:5.
9. W.J. Fokkink, J.F. Groote, J. Pang, J. Badban, and J.C. van de Pol. Verifying a Sliding Window Protocol in μCRL. In Proc. AMAST 2004, volume 3116 of LNCS, pages 148-163, 2004.
10. W.J. Fokkink, J.F. Groote, and M. Reniers. Modelling Distributed Systems. Unpublished manuscript, 2002.
11. H. Garavel, F. Lang, and R. Mateescu. An overview of CADP 2001. In European Association for Software Science and Technology (EASST) Newsletter, volume 4, pages 13-24, 2002,
12. J.F. Groote. The Syntax and Semantics of timed μCRL. Technical Report SEN-R9709, CWI, 1997.
13. P.M.C. Hesen. Design of the Clinical Chemical Analyzer. Technical report, Stan Ackermans Institute, 2000.
14. K.G. Larsen, P. Pettersson, and W. Yi. UPPAAL, in a Nutshell. Int. Journal on Software Tools for Technology Transfer, 1(1-2):134-152, 1997.
15. J. Loeckx, H.-D. Ehrich, and M. Wolf. Specification of Abstract Data Types. Wiley-Teubner. Chichester, Stuttgart, 1996.
16. S.P. Luttik. Choice Quantification in Process Algebra. PhD thesis, University of Amsterdam, 2002.
17. R. Mateescu and M. Sighireanu. Efficient On-the-Fly Model-Checking for Regular Alternation-Free Mu-Calculus. Science of Computer Programming, 46(3):255-281, 2003.
18. P. Niebert, S. Tripakis, and S. Yovine. Minimum-time reachability for timed automata. In Proc. MED 2000. IEEE, 2000.
19. T.C. Ruys. Optimal scheduling using Branch-and-Bound with SPIN 4.0. In Proc. 10th International SPIN Workshop, volume 2648 of LNCS, pages 1-17, 2003.
20. W.P.C. Spronk. Throughput Analysis of a Clinical Chemical Analyzer. Technical report, TU/e, 1999.
21. I. Ulidowski and S. Yuen. Extending Process Languages with Time. In Proc. AMAST'97, pages 524-538, 1997.
22. J. Vervoort. Model of a Chemical Analyzer. Technical report, TU/e, 1999.
23. S. Weber. Design of Real-Time Supervisory Control Systems. PhD thesis, TU/e, 2003.
24. A.J. Wijs and W.J. Fokkink. From Xt to μCRL: Combining Performance and Functional Analysis. In Proc. 10th Conference on Engineering of Complex Computer Systems (ICECCS'05), pages 184-193. IEEE Computer Society Press, 2005.