Skip to main content
SpringerLink
Log in

Early Schedulability Analysis with Timed Use Case Maps

  • Conference paper
SDL 2009: Design for Motes and Mobiles (SDL 2009)

Part of the book series: Lecture Notes in Computer Science ((LNCCN,volume 5719))

Included in the following conference series:

Abstract

The ability to perform quantitative analysis at the requirements level supports the detection of design errors during the early stages of a software development life cycle. This would help reduce the cost of later redesign activities in case of unsatisfactory performance. This paper presents a novel approach to perform schedulability analysis at the requirement stage using Timed Use Case Maps (TUCM) language. The proposed approach relies on the computation of Worst-Case Execution Time (WCET), resource allocation and scheduling policies. Timing and resource constraints are first incorporated into UCM specifications, then mapped to Abstract State Machines (ASM) formalism and implemented in AsmL language, allowing for simulation and schedulability analysis. The applicability of the approach is illustrated using an example of the Automatic Protection Switching (APS) feature.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Gurevich, Y.: Logic and the Challenge of Computer Science. In: Börger, E. (ed.) Current trends in theoretical computer science, pp. 1–57. Computer Science Press (1988)

    Google Scholar 

  2. Hassine, J., Rilling, J., Dssouli, R.: Timed Use Case Maps. In: Gotzhein, R., Reed, R. (eds.) SAM 2006. LNCS, vol. 4320, pp. 99–114. Springer, Heidelberg (2006)

    Chapter  Google Scholar 

  3. International Telecommunications Union: Recommendation Z.151 (11/08), User requirements notation (URN) - Language definition, http://www.itu.int/rec/T-REC-Z.151/en

  4. Hassine, J., Rilling, J., Dssouli, R.: Abstract Operational Semantics for Use Case Maps. In: Wang, F. (ed.) FORTE 2005. LNCS, vol. 3731, pp. 366–380. Springer, Heidelberg (2005)

    Chapter  Google Scholar 

  5. Hassine, J., Rilling, J., Dssouli, R.: Formal Verification of Use Case Maps with Real Time Extensions. In: Gaudin, E., Najm, E., Reed, R. (eds.) SDL 2007. LNCS, vol. 4745, pp. 225–241. Springer, Heidelberg (2007)

    Chapter  Google Scholar 

  6. Ramamritham, K., Stankovic, J.A.: Scheduling Algorithms and Operating Systems Support for Real-Time Systems. Proceedings of the IEEE 82(1), 55–67 (1994)

    Article  Google Scholar 

  7. Liu, C.L., Layland, J.W.: Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment. J. ACM 20(1), 46–61 (1973)

    Article  MathSciNet  MATH  Google Scholar 

  8. Ramamritham, K., Stankovic, J.A., Shiah, P.F.: Efficient Scheduling Algorithms for Real-Time Multiprocessor Systems. IEEE Trans. Parallel Distrib. Syst. 1(2), 184–194 (1990)

    Article  Google Scholar 

  9. Burns, A., Wellings, A.J.: Real-Time Systems and Programming Languages: ADA 95, Real-Time Java, and Real-Time POSIX. Addison-Wesley Longman, Boston (2001)

    Google Scholar 

  10. Wilhelm, R., Engblom, J., Ermedahl, A., Holsti, N., Thesing, S., Whalley, D., Bernat, G., Ferdinand, C., Heckmann, R., Mitra, T., Mueller, F., Puaut, I., Puschner, P., Staschulat, J., Stenström, P.: The Worst-Case Execution-Time Problem—Overview of Methods and Survey of Tools. Trans. on Embedded Computing Sys. 7(3), 1–53 (2008)

    Article  Google Scholar 

  11. Nielson, F., Nielson, H.R., Hankin, C.: Principles of Program Analysis. Springer-Verlag New York, Inc, Secaucus (1999)

    Book  MATH  Google Scholar 

  12. Manna, Z., Pnueli, A.: Clocked Transition Systems. Technical report, Stanford University, Stanford, CA (1996)

    Google Scholar 

  13. Alur, R., Dill, D.L.: A theory of Timed Automata. Theor. Comput. Sci. 126(2), 183–235 (1994)

    Article  MathSciNet  MATH  Google Scholar 

  14. Larsen, K.G., Pettersson, P., Yi, W.: UPPAAL in a Nutshell. International Journal on Software Tools for Technology Transfer 1(1-2), 134–152 (1997)

    Article  MATH  Google Scholar 

  15. Hassine, J.: Formal Semantics and Verification of Use Case Maps. PhD thesis, Concordia University, Montreal, Quebec (2008)

    Google Scholar 

  16. Bowman, H., Gomez, R.: Concurrency Theory - Calculi and Automata for Modelling Untimed and Timed Concurrent Systems. Springer, London (2006)

    MATH  Google Scholar 

  17. ASML: Microsoft Research: The Abstract State Machine Language, http://research.microsoft.com/en-us/projects/asml/

  18. SpecExplorer: Microsoft Research: Spec Explorer tool, http://research.microsoft.com/en-us/projects/specexplorer/

  19. Telcordia SONET Transport Systems: GR-253-CORE, Synchronous Optical Network (SONET) Transport Systems: Common Generic Criteria, Section 8, http://telecom-info.telcordia.com/site-cgi/ido/newcust.pl?page=idosearch&docnum=GR-253

  20. Object Management Group (OMG): Response to the OMG RFP for Schedulability, Performance and Time, v. 2.0. OMG document ad/2002-03-04 (2002)

    Google Scholar 

  21. Di Natale, M., Saksena, M.: Schedulability analysis with UML. In: Lavagno, l., Martin, G., Selic, B. (eds.) UML For Real: Design of Embedded Real-Time Systems, pp. 241–269. Kluwer Academic Publishers, Norwell (2003)

    Chapter  Google Scholar 

  22. Woodside, M., Petriu, D.: Capabilities of the UML Profile for Schedulability Performance and Time (SPT). In: Workshop SIVOES-SPT held in conjunction with the 10th IEEE (2004)

    Google Scholar 

  23. Object Management Group (OMG): UML Profile for MARTE, Beta 1, http://www.omg.org/cgi-bin/doc?ptc/07-08-04.pdf

  24. Object Management Group (OMG): UML Superstructure Specification, v2.2, http://www.omg.org/docs/formal/09-02-02.pdf

  25. Peraldi-Frati, M.A., Sorel, Y.: From High-Level Modelling of Time in MARTE to Real-Time Scheduling Analysis, http://www-rocq.inria.fr/syndex/pub/aces08/aces08.pdf

  26. Espinoza, H., Dubois, H., Gérard, S., Pasaje, J.L.M., Petriu, D.C., Woodside, C.M.: Annotating UML models with non-functional properties for quantitative analysis. In: Bruel, J.-M. (ed.) MoDELS 2005. LNCS, vol. 3844, pp. 79–90. Springer, Heidelberg (2006)

    Chapter  Google Scholar 

  27. Object Management Group (OMG): UML Profile for Modeling Quality of Service and Fault Tolerance Characteristics and Mechanisms, http://www.omg.org/docs/formal/06-05-02.pdf

  28. Petriu, D.C., Amyot, D., Woodside, C.M.: Scenario-Based Performance Engineering with UCMNAV. In: Reed, R., Reed, J. (eds.) SDL 2003. LNCS, vol. 2708, pp. 18–35. Springer, Heidelberg (2003)

    Chapter  Google Scholar 

  29. Alvarez, J.M., Diaz, M., Llopis, L., Pimentel, E., Troya, J.M.: Integrating Schedulability Analysis and Design Techniques in SDL. Real-Time Syst. 24(3), 267–302 (2003)

    Article  MATH  Google Scholar 

  30. International Telecommunications Union: Recommendation Z.100 (11/07), Specification and Description Language (SDL), http://www.itu.int/rec/T-REC-Z.100/en

  31. Kim, S., Cho, S., Hong, S.: Automatic Implementation of Real-Time Object-Oriented Models and Schedulability Issues. In: Proceedings of the Sixth International Workshop on Object-Oriented Real-Time Dependable Systems, pp. 137–141. IEEE Computer Society Press, Los Alamitos (2001)

    Google Scholar 

  32. Saksena, M., Karvelas, P., Wang, Y.: Automatic Synthesis of Multi-Tasking Implementations from Real-Time Object-Oriented Models. In: ISORC 2000: Proceedings of the Third IEEE International Symposium on Object-Oriented Real-Time Distributed Computing, pp. 360–367. IEEE Computer Society Press, Los Alamitos (2000)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Cisco Systems, 3000 Innovation Drive, Kanata, Ontario, K2K 3J9, Canada

    Jameleddine Hassine

Authors
  1. Jameleddine Hassine
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Telecommunications Software Engineering Limited, The Laurels, Victoria Road, Windermere, LA23 2DL, Cumbria, United Kingdom

    Rick Reed

  2. Ruhr-Universität Bochum, D-44801, Bochum, Germany

    Attila Bilgic

  3. Networked Systems Group, University of Kaiserslautern, D-67653, Kaiserslautern, Germany

    Reinhard Gotzhein

Rights and permissions

Reprints and permissions

Copyright information

© 2009 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Hassine, J. (2009). Early Schedulability Analysis with Timed Use Case Maps. In: Reed, R., Bilgic, A., Gotzhein, R. (eds) SDL 2009: Design for Motes and Mobiles. SDL 2009. Lecture Notes in Computer Science, vol 5719. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-04554-7_7

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-04554-7_7

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-04553-0

  • Online ISBN: 978-3-642-04554-7

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation