Abstract
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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
ITU-T: Recommendation Z.151, User Requirements Notation (URN) (2010)
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)
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)
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)
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)
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)
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)
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)
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)
ITU-T: E.800: Terms and Definitions related to Quality of Service and Network Performance including Dependability (2008)
Forum, S.A.: Application Interface Spec. Availability Management Framework SAI-AIS-AMF-B.04.01
Forum, S.A.: Application Interface Spec. Software Management Framework SAI-AIS-SMF-A.01.02
Forum, S.A.: Application Interface Spec. Overview SAI-Overview-B.05.03
Bass, L., Clements, P., Kazman, R.: Software Architecture in Practice. Addison-Wesley Longman Publishing Co., Inc., Boston (2003)
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)
Mustafiz, S., Sun, X., Kienzle, J., Vangheluwe, H.: Model-Driven Assessment of System Dependability. Software and Systems Modeling 7, 487–502 (2008)
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)
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)
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)
Bernardi, S., Merseguer, J., Petriu, D.: A Dependability Profile within MARTE. Software and Systems Modeling, 1–24 (2009)
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)
jUCMNav: jUCMNav Project (tool, documentation, and meta-model) (2011) (last accessed, June 2011)
Cisco: Cisco IOS High Availability(HA)-In Service Software Upgrade (2006), http://www.cisco.com/en/US/prod/collateral/iosswrel/ps6537/ps6550/prod_presentation0900aecd80456cb8.pdf (accessed May 28, 2011)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2011 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Hassine, J., Gherbi, A. (2011). Exploring Early Availability Requirements Using Use Case Maps. In: Ober, I., Ober, I. (eds) SDL 2011: Integrating System and Software Modeling. SDL 2011. Lecture Notes in Computer Science, vol 7083. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-25264-8_6
Download citation
DOI: https://doi.org/10.1007/978-3-642-25264-8_6
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-25263-1
Online ISBN: 978-3-642-25264-8
eBook Packages: Computer ScienceComputer Science (R0)