Exploring Early Availability Requirements Using Use Case Maps

  • Jameleddine Hassine
  • Abdelouahed Gherbi
Part of the Lecture Notes in Computer Science book series (LNCS, volume 7083)


Non-functional aspects including time constraints, distribution and fault tolerance are critical in the design and implementation of distributed real-time systems. As a result, it is well recognized that non-functional requirements should be considered at the earliest stages of system development life cycle. The ability to model non-functional properties (such as timing constraints, availability, performance, and security) at the system requirements level not only facilitates the task of moving towards real-time design, but ultimately supports the early detection of errors through automated validation and verification. In this paper, we introduce a novel approach to describe availability features in Use Case Maps (UCM) specifications. The proposed approach relies on a mapping of availability architectural tactics to UCM components. We illustrate the application of our approach using the In Service Software Upgrade (ISSU) feature on IP routers.


Schedulability Analysis Availability Requirement Protection Type User Requirement Notation Layer Queueing Network 
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.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    ITU-T: Recommendation Z.151, User Requirements Notation (URN) (2010)Google Scholar
  2. 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)CrossRefGoogle Scholar
  3. 3.
    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)CrossRefGoogle Scholar
  4. 4.
    Hassine, J.: Early Schedulability Analysis with Timed Use Case Maps. In: Reed, R., Bilgic, A., Gotzhein, R. (eds.) SDL 2009. LNCS, vol. 5719, pp. 98–114. Springer, Heidelberg (2009)CrossRefGoogle Scholar
  5. 5.
    Hassine, J.: AsmL-Based Concurrency Semantic Variations for Timed Use Case Maps. In: Frappier, M., Glässer, U., Khurshid, S., Laleau, R., Reeves, S. (eds.) ABZ 2010. LNCS, vol. 5977, pp. 34–46. Springer, Heidelberg (2010)CrossRefGoogle Scholar
  6. 6.
    Petriu, D., Amyot, D., Woodside, M.: Scenario-based Performance Engineering with UCMNAV. In: Reed, R., Reed, J. (eds.) SDL 2003. LNCS, vol. 2708, pp. 18–35. Springer, Heidelberg (2003)CrossRefGoogle Scholar
  7. 7.
    Avizienis, A., Laprie, J.C., Randell, B., Landwehr, C.: Basic Concepts and Taxonomy of Dependable and Secure Computing. IEEE Transactions on Dependable and Secure Computing 1(1), 11–33 (2004)CrossRefGoogle Scholar
  8. 8.
    Hassine, J.: Early Availability Requirements Modeling using Use Case Maps. In: 8th International Conference on Information Technology: New Generations (ITNG 2011), Modeling and Analysis of Dependable Embedded and Real-time Software Systems Track, April 11-13, pp. 754–759. IEEE Computer Society, Las Vegas (2011)Google Scholar
  9. 9.
    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)CrossRefGoogle Scholar
  10. 10.
    ITU-T: E.800: Terms and Definitions related to Quality of Service and Network Performance including Dependability (2008)Google Scholar
  11. 11.
    Forum, S.A.: Application Interface Spec. Availability Management Framework SAI-AIS-AMF-B.04.01Google Scholar
  12. 12.
    Forum, S.A.: Application Interface Spec. Software Management Framework SAI-AIS-SMF-A.01.02Google Scholar
  13. 13.
    Forum, S.A.: Application Interface Spec. Overview SAI-Overview-B.05.03Google Scholar
  14. 14.
    Bass, L., Clements, P., Kazman, R.: Software Architecture in Practice. Addison-Wesley Longman Publishing Co., Inc., Boston (2003)Google Scholar
  15. 15.
    Hatebur, D., Heisel, M.: A Foundation for Requirements Analysis of Dependable Software. In: Buth, B., Rabe, G., Seyfarth, T. (eds.) SAFECOMP 2009. LNCS, vol. 5775, pp. 311–325. Springer, Heidelberg (2009)CrossRefGoogle Scholar
  16. 16.
    Mustafiz, S., Sun, X., Kienzle, J., Vangheluwe, H.: Model-Driven Assessment of System Dependability. Software and Systems Modeling 7, 487–502 (2008)CrossRefGoogle Scholar
  17. 17.
    Bondavalli, A., Cin, M.D., Latella, D., Majzik, I., Pataricza, A., Savoia, G.: Dependability Analysis in the Early Phases of UML-based System Design. Comput. Syst. Sci. Eng. 16(5), 265–275 (2001)Google Scholar
  18. 18.
    Cin, M.D.: Extending UML towards a Useful OO-Language for Modeling Dependability Features. In: The Ninth IEEE International Workshop on Object-Oriented Real-Time Dependable Systems, WORDS 2003 Fall, pp. 325–330 (October 2003)Google Scholar
  19. 19.
    Bernardi, S., Merseguer, J., Petriu, D.C.: Adding Dependability Analysis Capabilities to the MARTE Profile. In: Busch, C., Ober, I., Bruel, J.-M., Uhl, A., Völter, M. (eds.) MODELS 2008. LNCS, vol. 5301, pp. 736–750. Springer, Heidelberg (2008)CrossRefGoogle Scholar
  20. 20.
    Bernardi, S., Merseguer, J., Petriu, D.: A Dependability Profile within MARTE. Software and Systems Modeling, 1–24 (2009)Google Scholar
  21. 21.
    OMG: Object Management Group. UML Profile for Modeling Quality of Service and Fault Tolerant Characteristics and Mechanisms. OMG document formal. V1.1/08-04-05 (April 2008)Google Scholar
  22. 22.
    jUCMNav: jUCMNav Project (tool, documentation, and meta-model) (2011) (last accessed, June 2011)Google Scholar
  23. 23.
    Cisco: Cisco IOS High Availability(HA)-In Service Software Upgrade (2006), (accessed May 28, 2011)

Copyright information

© Springer-Verlag Berlin Heidelberg 2011

Authors and Affiliations

  • Jameleddine Hassine
    • 1
  • Abdelouahed Gherbi
    • 2
  1. 1.Department of Information and Computer ScienceKing Fahd University of Petroleum and MineralsDhahranKingdom of Saudi Arabia
  2. 2.Departement de Génie LogicielÉcole de Technologie SupérieureMontrealCanada

Personalised recommendations