Advertisement

Resource-Efficient Scheduling for Real Time Systems

  • Kim G. Larsen
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 2855)

Abstract

For embedded systems efficient utilization of resources is an acute problem arising from the increasing computational demands in all sorts of applications. The consumers constantly demand better functionality and flexibility of embedded products which imply an increase in the resources needed for their realization. In several areas – e.g. portable devices such as PDAs, mobile phones and laptops as well as mission critical systems such as space applications – the ability to design resource efficient solutions is crucial.

Keywords

Schedule Problem Dynamic Voltage Scaling Memory Interface Valid Schedule Mission Critical System 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Alun, R., La Torre, S., Pappas, G.J.: Optimal paths in weighted timed automata. In: Di Benedetto, M.D., Sangiovanni-Vincentelli, A.L. (eds.) HSCC 2001. LNCS, vol. 2034, p. 49. Springer, Heidelberg (2001)CrossRefGoogle Scholar
  2. 2.
    The AMETIST home page, http://ametist.cs.utwente.nl
  3. 3.
    Behrmann, G.: Guiding and cost optimizing uppaal (2002) (web-page)Google Scholar
  4. 4.
    Behrmann, G., Bernicot, S., Hune, T., Larsen, K.G., Lecamp, S., Skou, A.: Case study 2: A memory interface for radar systems. Deliverable for AMETISTGoogle Scholar
  5. 5.
    Behrmann, G., Fehnker, A., Hune, T., Larsen, K.G., Pettersson, P., Romijn, J., Vaandrager, F.: Minimum-Cost Reachability for Priced Timed Automata. In: Di Benedetto, M.D., Sangiovanni-Vincentelli, A.L. (eds.) HSCC 2001. LNCS, vol. 2034, pp. 147–161. Springer, Heidelberg (2001)CrossRefGoogle Scholar
  6. 6.
    Behrmann, G., Fehnker, A., Hune, T., Larsen, K.G., Pettersson, P., Romijn, J.: Efficient Guiding Towards Cost-Optimality in Uppaal. In: Margaria, T., Yi, W. (eds.) TACAS 2001. LNCS, vol. 2031, pp. 174–188. Springer, Heidelberg (2001)CrossRefGoogle Scholar
  7. 7.
    Bengtsson, J., Larsen, K.G., Larsson, F., Pettersson, P., Wang, Y., Weise, C.: New Generation of Uppaal. In: Int. Workshop on Software Tools for Technology Transfer (June 1998)Google Scholar
  8. 8.
    The CISS home page, http://ciss.auc.dk
  9. 9.
    Dierks, H., Behrmann, G., Larsen, K.G.: Solving planning problems using real-time model checking (translating pddl3 into timed automata) (2003)Google Scholar
  10. 10.
    Fehnker, A.: Citius, Vilius, Melius - Guiding and Cost-Optimality in Model Checking of Timed and Hybrid Systems. PhD thesis, KUN Nijmegen (2002)Google Scholar
  11. 11.
    Hendriks, M.: Translating uppaal to not quite c. Technical Report 8, Nijmegen University (2001)Google Scholar
  12. 12.
    Hendriks, M., Larsen, K.G.: Exact acceleration of real-time model checking. In: Asarin, E., Maler, O., Yovine, S. (eds.) Electronic Notes in Theoretical Computer Science, vol. 65, Elsevier Science Publishers, Amsterdam (2002)Google Scholar
  13. 13.
    Hune, T.: Modelling a Real-Time Language. In: proceedings of 4thWorkshop on Formal Methods for Industrial Critical Systems, FMICS 1999 (1999)Google Scholar
  14. 14.
    Hune, T., Larsen, K.G., Pettersson, P.: Guided Synthesis of Control Programs Using Uppaal. In: Lai, T.H. (ed.) Proc. of the IEEE ICDCS International Workshop on Distributed Systems Verification and Validation, pp. 15–22. IEEE Computer Society Press, Los Alamitos (2000)Google Scholar
  15. 15.
    Hune, T., Larsen, K.G., Pettersson, P.: Guided Synthesis of Control Programs using Uppaal. Nordic Journal of Computing 8(1), 43–64 (2001)zbMATHGoogle Scholar
  16. 16.
    Iversen, T.K., Kristoffersen, K.J., Larsen, K.G., Laursen, M., Madsen, R.G., Mortgensen, S.K., Pettersson, P., Thomasen, C.B.: Model-Checking Real-Time Control Programs; To be published in Proceedings of Euromicro 2000 (2000)Google Scholar
  17. 17.
    Larsen, K.G., Behrmann, G., Brinksma, E., Fehnker, A., Hune, T., Pettersson, P., Romijn, J.: As cheap as possible: Efficient cost-optimal reachability for priced timed automata. In: Berry, G., Comon, H., Finkel, A. (eds.) CAV 2001. LNCS, vol. 2102, pp. 493–505. Springer, Heidelberg (2001)CrossRefGoogle Scholar
  18. 18.
    Larsen, K.G., Behrmann, G., Brinksma, E., Fehnker, A., Hune, T., Pettersson, P., Romijn, J.: As cheap as possible: Efficient cost-optimal reachability for priced timed automat. In: Berry, G., Comon, H., Finkel, A. (eds.) CAV 2001. LNCS, vol. 2102, pp. 493–505. Springer, Heidelberg (2001)CrossRefGoogle Scholar
  19. 19.
    Seshauskaire, E., Mikucionis, M.: Memory interface analysis using the real-time model checker uppaal. Deliverable for AMETISTGoogle Scholar
  20. 20.
    The Uppaal home page, http://www.uppaal.com
  21. 21.
  22. 22.
    Weiss, G.: Optimal Scheduler for a Memory Card. Research report, Weizmann (2002)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2003

Authors and Affiliations

  • Kim G. Larsen
    • 1
  1. 1.BRICS, Aalborg University DenmarkAalborg ØDenmark

Personalised recommendations