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.

-- DanielAmyot - 05 Nov 2009


  • Please contact Jameleddine Hassine <jhassine@hotmail.com> to get a copy of the paper.
  • Please feel free to discuss this article directly on this page. Constructive comments are welcomed! Please sign your TWiki name.

FormForVirtualLibrary edit

Title Early Schedulability Analysis with Timed Use Case Maps
Authors J. Hassine
Type Conference
Conference/Journal Title SDL 2009: Design for Motes and Mobiles, 14th International SDL Forum
Volume/Number LNCS 5719
Editors R. Reed, A. Bilgic, and R. Gotzhein
Publisher Springer
Month September
Year 2009
Pages 98-114
DOI 10.1007/978-3-642-04554-7_7
Keywords Use Case Maps, Time, Semantics, Schedulability, ASM, TUCM
Topic revision: r1 - 05 Nov 2009, DanielAmyot
This site is powered by FoswikiCopyright © by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding Foswiki? Send feedback