Abstract
Scalable models of extra-functional properties such as reliability, availability and timeliness are still presenting great challenges to researchers and practitioners in component-based software architecture.
In our research centre at Monash in collaboration with industrial partners and other universities, we have been developing compositional dynamic models for such extra-functional properties. Architecture definitions supported by our tool Radl cater for components that are parameterised by environment characteristics, such as configuration choices, deployment context or run-time usage profiles.
The behaviour of such components is characterised by annotated automata and Petri nets. Annotations capture synchronisation and resource constraints, such as timing, as well as execution probabilities for run types.
This paper provides a short survey of work around Radl over the past years and sheds light on some key aspects which have led to using Radl in industrial applications for the analysis of large-scale real-world component-based systems.
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
Magee, J., Dulay, N., Eisenbach, S., Kramer, J.: Specifying Distributed Software Architectures. In: Botella, P., Schäfer, W. (eds.) ESEC 1995. LNCS, vol. 989, pp. 137–153. Springer, Heidelberg (1995)
Magee, J., Kramer, J.: Concurrency: State Models and Java Programs. John Wiley & Sons, Chichester (1999)
Schmidt, H.W.: Compatibility of Interoperable Objects. In: Krämer, B., Papazoglou, M.P., Schnmidt, H.W. (eds.) Information Systems Interoperability, pp. 143–199. Research Studies Press, Taunton (1998)
Schmidt, H.W., Zimmermann, W.: A Complexity Calculus for Object-Oriented Programs. Journal of Object-Oriented Systems 1(2), 117–147 (1994)
Ling, S., Schmidt, H.W., Fletcher, R.: Constructing Interoperable Components in Distributed Systems. In: Technology of Object-Oriented Languages and Systems (TOOLS 32), pp. 274–284. IEEE Computer Society Press, Los Alamitos (1999)
Schmidt, H.W., Krämer, B., Poernomo, I., Reussner, R.: Predictable Component Architectures Using Dependent Finite State Machines. In: Wirsing, M., Knapp, A., Balsamo, S. (eds.) RISSEF 2002. LNCS, vol. 2941, pp. 310–324. Springer, Heidelberg (2004)
Schmidt, H.W., Peake, I.D., Xie, J., Thomas, I., Krämer, B.J., Fay, A., Bort, P.: Modelling Predictable Component-Based Distributed Control Architectures. In: Schmidt, H.W., Peake, I.D., Xie, J., Thomas, I., Krämer, B.J. (eds.) Proceedings of the Ninth Intl. Workshop on Object-Oriented Real-Time Dependable Systems, pp. 339–346. IEEE Computer Society Press, Los Alamitos (2004)
Meyer, B., Mingins, C., Schmidt, H.W.: Providing Trusted Components to the Industry. IEEE Computer 31(5), 104–105 (1998)
Schmidt, H.W.: Trusted Components: Towards Automated Assembly with Predictable Properties. In: Proceedings of the ICSE Workshop of Component Oriented Software Engineering (CBSE4), IEEE Computer Society Press, Los Alamitos (2001)
Möller, A., Peake, I., Nolin, M., Fredriksson, J., Schmidt, H.W.: Component-Based Context Dependent Hybrid Property Prediction. In: Skavhaug, A., Schoitsch, E. (eds.) Proceedings of the ERCIM Workshop on Dependable Software Intensive Embedded Systems, pp. 69–74 (2005), ERCIM Digital Library http://www.itk.ntnu.no/misc/ercim and http://www.ercim.org/publication/workshopreports.html
Poernomo, I.H., Jayaputera, J.C., Schmidt, H.W.: Timed Probablistic Constraints over the Distributed Management Taskforce Common Information Model. In: van Sinderen, M., Steen, M., Lankhorst, M. (eds.) Proceedings of the Ninth IEEE Intl. EDOC Enterprise Computing Conference, pp. 261–272. IEEE Computer Society Press, Los Alamitos (2005)
Diekert, V., Rosenberg, G. (eds.): The Book of Traces. World Scientific, Singapore (1995)
Haverkort, B.R., Marie, R., Rubino, G., Trivedi, K.S.: Performability Modelling: Techniques and Tools. John Wiley & Sons, Chichester (2001)
Ochmanski, E.: Recognizable Trace Languages. In: Diekert, V., Rosenberg, G. (eds.) The Book of Traces, pp. 165–203. World Scientific, Singapore (1995)
Reussner, R.H., Schmidt, H.W., Poernomo, I.: Reliability Prediction for Component-Based Software Architectures. Journal of Systems and Software 66(3), 241–252 (2003)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2007 Springer Berlin Heidelberg
About this paper
Cite this paper
Schmidt, H.W. (2007). Architecture-Based Reasoning About Performability in Component-Based Systems. In: van Leeuwen, J., Italiano, G.F., van der Hoek, W., Meinel, C., Sack, H., Plášil, F. (eds) SOFSEM 2007: Theory and Practice of Computer Science. SOFSEM 2007. Lecture Notes in Computer Science, vol 4362. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-69507-3_10
Download citation
DOI: https://doi.org/10.1007/978-3-540-69507-3_10
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-69506-6
Online ISBN: 978-3-540-69507-3
eBook Packages: Computer ScienceComputer Science (R0)