Abstract
Modeling erroneous behavior of software components along with normal behavior tends to be complex and hard to read or modify. However, ignoring the erroneous behavior and error propagation in models used for dependability analysis has a negative impact on the dependability assessment accuracy. In this paper, we propose a framework for automating dependability modeling and analysis that considers component erroneous behavior. Particularly, the paper focuses on our Component Erroneous Behavior Aspect Modeling approach (CeBAM), which captures component erroneous behavior and error propagation. We apply aspect-oriented modeling techniques to model erroneous behaviors separately from the normal behavior. The approach reduces the model complexity and improves its readability and modifiability. In addition, we propose a profile to extend the UML protocol state machine to capture both incoming and outgoing messages on components’ ports. We automate the composition of normal and erroneous behavior by aspect weaving. This enables the next step: conformance verification between each component’s complete internal behavior and its protocol state machines, as well as between component interfaces.
Access provided by Autonomous University of Puebla. Download to read the full chapter text
Chapter PDF
Similar content being viewed by others
References
Bernardi, S., Merseguer, J., Petriu, D.C.: Dependability modeling and analysis of software systems specified with UML. ACM Computing Surveys (CSUR) 45(1), Art. 2 (2012)
Immonen, A., Niemelä, E.: Survey of reliability and availability prediction methods from the viewpoint of software architecture. Software & System Modeling 7(1), 49–65 (2008)
Aysan, H., Punnekkat, S., Dobrin, R.: Error Modeling in Dependable Component-Based Systems. In: Proceedings of the 2008 32nd Annual IEEE International Computer Software and Applications Conference (COMSAC 2008), pp.1309–1314. IEEE Computer Society (2008)
Popic, P., Desovski, D., Abdelmoez, W., Cukic, B.: Error propagation in the reliability analysis of component based systems. In: Proceedings of the 16th IEEE International Symposium on Software Reliability Engineering (ISSRE 2005), pp. 53–62. IEEE Computer Society (2005)
Cortellessa, V., Grassi, V.: A Modeling Approach to Analyze the Impact of Error Propagation on Reliability of Component-Based Systems. In: Schmidt, H.W., Crnković, I., Heineman, G.T., Stafford, J.A. (eds.) CBSE 2007. LNCS, vol. 4608, pp. 140–156. Springer, Heidelberg (2007)
Yedduladoddi, R.: Aspect oriented software development: an approach to composing UML design models. VDM Publishing (2009)
Bernardi, S., Merseguer, J., Petriu, D.C.: A dependability profile within MARTE. Software & Systems Modeling 10(3), 313–336 (2011)
Mencl, V.: Specifying component behavior with port state machines. Electronic Notes in Theoretical Computer Science 101, 129–153 (2004)
Moffett, Y., Beaulieu, A., Dingel, J.: Verifying UML-RT protocol conformance using model checking. In: Whittle, J., Clark, T., Kühne, T. (eds.) MODELS 2011. LNCS, vol. 6981, pp. 410–424. Springer, Heidelberg (2011)
Craig, D.C., et al.: Compatibility of Software Components - Modeling and Verification. In: Proceedings of the International Conference on Dependability of Computer Systems (DEPCOS-RELCOMEX 2006), pp. 11–18. IEEE Computer Society (2006)
Montecchi, L., Lollini, P., Bondavalli, A.: Dependability Concerns in Model-Driven Engineering. In: Proceedings of the 2011 14th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops (ISORCW 2011), pp. 254–263. IEEE Computer Society (2011)
Muppala, J., Ciardo, G., Trivedi, K.S.: Stochastic reward nets for reliability prediction. Communications in Reliability, Maintainability and Serviceability, 9–20 (1994)
Brosch, F., Buhnova, B., Koziolek, H., Reussner, R.: Reliability prediction for fault-tolerant software architectures. In: Proceedings of the Joint ACM SIGSOFT Conference – QoSA and ACM SIGSOFT Symposium – ISARCS on Quality of Software Architectures – QoSA and Architecting Critical Systems (QoSA–ISARCS 2011), pp. 75–84. ACM (2011)
Object Management Group: Query View Transformation (QVT) v1.1 formal/2011-01-01, http://www.omg.org/spec/QVT/
Gomaa, H.: Software Modeling and Design. Cambridge University Press (2011)
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)
Object Management Group: Unified Modeling Language (UML) - Superstructure v.2.4.1 formal/2011-08-06, http://www.omg.org/spec/UML/2.4.1/
Selic, B.: A systematic approach to domain-specific language design using UML. In: Proceedings of the 10th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC 2007), pp. 2–9. IEEE Computer Society (2007)
Ali, S., Briand, L.C., Hemmati, H.: Modeling robustness behavior using aspect-oriented modeling to support robustness testing of industrial systems. Software & Systems Modeling 11(4), 633–670 (2012)
Goseva-Popstojanova, K., Trivedi, K.S.: Architecture-based approach to reliability assessment of software systems. Performance Evaluation 45(2-3), 179–204 (2001)
Abdelmoez, W., et al.: Error propagation in software architectures. In: Proceedings of the Software Metrics 10th International Symposium (METRICS 2004), pp. 384–393. IEEE Computer Society (2004)
Reussner, R.H., Schmidt, H.W., Poernomo, I.H.: Reliability prediction for component-based software architectures. Journal of Systems and Software 66(3), 241–252 (2003)
Cheung, L., Roshandel, R., Medvidovic, N., Golubchik, L.: Early prediction of software component reliability. In: Proceedings of the 30th International Conference on Software Engineering (ICSE 2008), pp. 111–120. ACM (2008)
Såtten, V., Kraemer, F.A., Herrmann, P.: Towards automatic generation of formal specifications to validate and verify reliable distributed systems – A method exemplified by an industrial case study. ACM SIGPLAN Notices - GCPE 2011 47(3), 147–156 (2012)
Eckardt, T., Henkler, S.: Synthesis of Component Behavior. In: Proceedings of the 7th International Fujaba Days, Eindhoven University of Technology, The Netherlands, pp. 40–44 (2009)
FUJABA Tool Suite, http://www.fujaba.de
Cottenier, T., Van Den Berg, A., Elrad, T.: Motorola WEAVR: Aspect orientation and model-driven engineering. Journal of Object Technology, 51–88 (2007)
Inverardi, P., et al.: CHARMY – An extensible tool for architectural analysis. In: Proceedings of the 10th European Software Engineering Conference Held Jointly with 13th ACM SIGSOFT International Symposium on Foundations of Software Engineering (FSE-13), pp. 111–114. ACM (2005)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2013 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Mokhayesh Alzahrani, N.A., Petriu, D.C. (2013). Modeling Component Erroneous Behavior and Error Propagation for Dependability Analysis. In: Khendek, F., Toeroe, M., Gherbi, A., Reed, R. (eds) SDL 2013: Model-Driven Dependability Engineering. SDL 2013. Lecture Notes in Computer Science, vol 7916. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-38911-5_8
Download citation
DOI: https://doi.org/10.1007/978-3-642-38911-5_8
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-38910-8
Online ISBN: 978-3-642-38911-5
eBook Packages: Computer ScienceComputer Science (R0)