Abstract
Software architecture is a critical aspect in the successful development and evolution of dependable systems of systems (DSoS), because it provides artifactual loci around which engineers can reason, construct, and evolve the software design to provide robustness and resilience. Quantifiably architecting DSoS involves establishing a consensus of attributes of dependability (from different stakeholders’ perspectives) and translating them into quantifiable constraints. Unfortunately, there are few established approaches for quantifiably architecting such systems with dependability concerns considered at the architectural level. This paper presents a quantifiable architectural approach for evolving hybrid systems into DSoS so that the attributes of dependability can be justifiably translated into constraints and attached to architectural artifacts. Furthermore, it provides a means of quantitatively assessing these characteristics throughout the DSoS development/evolution process. Basically, this approach strengthens system composition in combination with explicit architecting and quantifiable constraints attached to the subsequent artifacts so as to improve the dependability of the intended systems through design inspection via static checking at the architectural level and dynamic monitoring at runtime.
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
IEEE Standard Board, Recommended Practice for Architectural Description of Software- Intensive Systems (IEEE-std-1471 2000) (September 2000)
Alexander, H., et al.: C4ISR Architectures: I. Developing a Process for C4ISR Architecture Design. Systems Engineering 3(4), 225 (2000)
Liang, X., Puett, J., Luqi: Perspective-based Architectural Approach for Dependable Systems. In: ICSE 2003, Proc. of Workshop on Software Architecture for Dependable Systems, Portland, OR, USA, May 3, pp. 1–6 (2003)
Liang, X., Puett, J., Luqi: Synthesizing Approach for Perspective-based Architecture Design. In: Proc. of 14th IEEE International workshop on Rapid System Prototyping, San Diego, CA, USA, June 9-11, pp. 218–225 (2003)
Avizienis, A., Laprie, J., Randell, B.: Fundamental Concepts of Dependability, Research Report N01145, LAAS-CNRS (April 2001), http://citeseer.nj.nec.com/489854.html
Luqi, Qiao, Y., Zhang, L.: Computational Model for High-Confidence Embedded System Development. In: Monterey workshop 2002, Venice, Italy, October 7-11, pp. 285–303 (2002)
Kordon, F., Mounier, I., Paviot-Adet, E., Regep, D.: Formal verification of embedded distributed systems in a prototyping approach. In: Proc. of the International Workshop on Engineering Automation for Software Intensive System Integration, Monterey (June 2001)
Luqi, Berzins, V., Yeh, R.: A Prototyping Language for Real-Time Software. IEEE TSE 14(10), 1409–1423 (1988)
Clarke, E., Kurshan, R.: Computer-Aided Verification. IEEE Spectrum 33(6), 61–67 (1996)
Kim, M., Lee, I., Sammapun, U., Shin, J., Sokolsky, O.: Monitoring, Checking, and Steering of Real-Time Systems. In: 2nd International Workshop on Run-time Verification, Copenhagen, Denmark, July 26 (2002)
Luqi, Liang, X., Brown, M.: Formal Approach for System Safety Analysis and Assessment via an Instantiated Activity Model. In: Proc. of 21st International System Safety Conference, Ottawa, Canada, August 4-8, pp. 1060–1069 (2003)
Bate, I., Kelly, T.: Architectural Considerations in the Certification of Modular Systems. In: Proceedings of the 21st International Conference on Computer Safety, Reliability and Security 2002, September 10-13. Lecture Notes In Computer Science, pp. 321–333. Springer, London (2002)
Shaw, M., Garlan, D.: Software Architecture: Perspectives on an Emerging Discipline. Prentice Hall, Inc., Englewood Cliffs (1996)
Andrew, P.: Systems Integration and Architecting: An Overview of Principles, Practices, and Perspectives, System Engineering. John Wiley and Sons, Inc., Chichester (1998)
Mehta, N., Medvidovic, N.: Towards a Taxonomy of software Connectors. In: Proc. ICSE, Limerick, Ireland (2000)
Medvidovic, N., Taylor: A classification and comparison framework for software architecture description languages. IEEE Transactions on Software Engineering 26(1), 70–93 (2000)
Medvidovic, N., et al.: Modeling Software Architectures in the Unified Modeling Language. ACM Transaction on Software Engineering and Methodology 11(1) (2002)
Liang, X., Wang, Z.: Event-based implicit invocation decentralized in Ada. SIGAda Ada Letters 22(1), 11–16 (2002)
Wallnau, K., Stafford, J., Hissam, S., Klein, M.: On the Relationship of Software Architecture to Software Component Technology. In: Proc. of the 6th Workshop on Component- Oriented Programming (WCOP6), in conjunction with the Europea Conference on Object- Oriented Programming (ECOOP), Budapest, Hungary (2001)
Young, P.: Use of Object-Oriented Model for Interoperability in Wrapper-based Translator fro Resolving Representational Differences between Heterogeneous Systems. In: Monterey Workshop 2001, Monterey, California, USA, pp. 170–177 (2001)
Sessions, N.: COM and DCOM, Microsoft’s Vision for Distributed Objects. John Wiley & Sons, Inc., NY (1997)
OMG/ISO Standard, CORBA: Common Object Request Broker Architecture, http://www.corba.org/
Sun Microsystems, Inc. Java 2 Enterprise Edition Specification v1.2, http://java.sun.com/j2ee/
ISO/IEC 12207 Software Life Cycle Processes, http://www.12207.com/
Egyed, A., Medvidovic, N.: Extending Architectural Representation in UML with View Integration. In: France, R.B., Rumpe, B. (eds.) UML 1999. LNCS, vol. 1723, pp. 2–16. Springer, Heidelberg (1999) (published in)
Glinz, M.: Problems and Deficiencies of UML as a Requirements Specification Language. In: Proceedings of the Tenth International Workshop on Software Specification and Design (IWSSD 2000), San Diego, November 5-7, pp. 11–22 (2000)
Lee, W., et al.: Synthesizing Executable Models of Object Oriented Architectures. In: Proc. Formal Methods in Software Engineering & Defense Systems, Adelaide, Australia (2002)
Liang, X., Zhang, L., Luqi: Automatic Prototype Generating via Optimized Object Model. SIGAda Ada Letters 23(2), 22–31 (2003)
Hoare, C.: Communicating Sequential Process. Prentice-Hall International, UK, LTD., London (1985)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2004 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Liang, S.X., Puett, J.F., Luqi (2004). Quantifiable Software Architecture for Dependable Systems of Systems. In: de Lemos, R., Gacek, C., Romanovsky, A. (eds) Architecting Dependable Systems II. Lecture Notes in Computer Science, vol 3069. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-25939-8_11
Download citation
DOI: https://doi.org/10.1007/978-3-540-25939-8_11
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-23168-4
Online ISBN: 978-3-540-25939-8
eBook Packages: Springer Book Archive