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.
- 05 Nov 2009
- Please contact Jameleddine Hassine <email@example.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.
| 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 |