Cited By
View all- Bernardi SMerseguer JPetriu D(2011)A dependability profile within MARTESoftware and Systems Modeling (SoSyM)10.1007/s10270-009-0128-110:3(313-336)Online publication date: 1-Jul-2011
Component-based development of dependable systems with UML
January 2005
Pages 320 - 344
Abstract
Dependable systems have to be developed carefully to prevent loss of life and resources due to system failures. Some of their mechanisms (for example, providing fault-tolerance) can be complicated to design and use correctly in the system context and are thus error-prone. This chapter gives an overview of reliability-related analyzes for the design of component-based software systems. This enables the identification of failure-prone components using complexity metrics and the operational profile, and the checking of reliability requirements using stereotypes. We report on the implementation of checks in a tool inside a framework for tool-supported development of reliable systems with UML and two case studies to validate the metrics and checks.
References
[1]
C. Atkinson, C. Bunse, and J. Wüst. Driving component-based software development through quality modelling. In A. Cechich, M. Piattini, and A. Vallecillo, editors, Component-Based Software Quality, volume 2693 of LNCS, pages 207-224. Springer, 2003.
[2]
V.R. Basili, L.C. Briand, and W.L. Melo. A Validation of Object-Oriented Design Metrics as Quality Indicators. IEEE Trans. Software Eng., 22(10):751-761, 1996.
[3]
R. Bharadwaj and C. Heitmeyer. Developing high assurance avionics systems with the SCR requirements method. In 19th Digital Avionics Systems Conference, 2000.
[4]
J.K. Blundell, M.L. Hines, and J. Stach. The Measurement of Software Design Quality. Annals of Software Engineering, 4:235-255, 1997.
[5]
A. Bondavalli, M. Dal Cin, D. Latella, I. Majzik, A. Pataricza, and G. Savoia. Dependability analysis in the early phases of UML based system design. Journal of Computer Systems Science and Engineering, 16:265-275, 2001.
[6]
D.N. Card and W.W. Agresti. Measuring Software Design Complexity. The Journal of Systems and Software, 8:185-197, 1988.
[7]
S.R. Chidamber and C.F. Kemerer. A Metrics Suite for Object Oriented Design. IEEE Trans. Software Eng., 20(6):476-493, 1994.
[8]
B. Dutertre and V. Stavridou. A model of noninterference for integrating mixed-criticality software components. In DCCA, San Jose, CA, January 1999.
[9]
Mayday: System Specifications. The ENTERPRISE Program, 1997. Available at http://enterprise.prog.org/completed/ftp/mayday-spe.pdf (October 2004).
[10]
Colorado Mayday Final Report. The ENTERPRISE Program, 1998. Available at http://enterprise.prog.org/completed/ftp/maydayreport.pdf (October 2004).
[11]
N.E. Fenton and S.L. Pfleeger. Software Metrics. A Rigorous & Practical Approach. International Thomson Publishing, 2nd edition, 1997.
[12]
M.H. Halstead. Elements of Software Science. Elsevier North-Holland, 1977.
[13]
K. Hansen and I. Gullesen. Utilizing UML and patterns for safety critical systems. In Jürjens et al. {22}, pages 147-154.
[14]
M. Heiner and M. Heisel. Modeling safety-critical systems with Z and Petri Nets. In M. Felici, K. Kanoun, and A. Pasquini, editors, 18th International Conference on Computer Safety, Reliability and Security (SAFECOMP'99), volume 1698, pages 361-374, 1999.
[15]
C. Heitmeyer, R. Jeffords, and B. Labaw. Automated consistency checking of requirements specifications. ACM Trans. on Software Eng. and Methodology, 5(3):231-261, July 1996.
[16]
S. Henry and D. Kafura. Software Structure Metrics Based on Information Flow. IEEE Trans. Software Engineering, 7:510-518, 1981.
[17]
S. Henry and C. Selig. Predicting Source-Code Complexity at the Design Stage. IEEE Software, 7:36-44, 1990.
[18]
F. Huber, B. Schätz, A. Schmidt, and K. Spies. AutoFocus: A tool for distributed systems specification. In B. Jonsson and J. Parrow, editors, Formal Techniques in Real-Time and Fault-Tolerant Systems, 4th International Symposium, FTRTFT'96, volume 1135 of LNCS, pages 467-470, Uppsala, Sweden, Sept. 9-13 1996. Springer.
[19]
J. Jürjens. Critical systems development with UML and model-based testing. In The 22st International Conference on Computer Safety, Reliability and Security (SAFECOMP 2003), Edinburgh, Sept. 23-26 2003. Full-day tutorial.
[20]
J. Jürjens. Developing safety-critical systems with UML. In P. Stevens, editor, UML 2003 - The Unified Modeling Language, volume 2863 of LNCS, pages 360-372, San Francisco, CA, October 20-24, 2003. Springer.
[21]
J. Jürjens. Secure Systems Development with UML. Springer, 2004.
[22]
J. Jürjens, V. Cengarle, E.B. Fernandez, B. Rumpe, and R. Sandner, editors. Critical Systems Development with UML, number TUM-I0208 in TU München Technical Report, 2002. UML'02 satellite workshop proceedings.
[23]
J. Jürjens, B. Rumpe, R. France, and E.B. Fernandez, editors. Critical Systems Development with UML, number TUM-I0317 in TU München Technical Report, 2003. UML'03 satellite workshop proceedings.
[24]
J. Jürjens, B. Rumpe, R. France, and E.B. Fernandez, editors. Third International Workshop on Critical Systems Development with UML, TU München Technical Report, 2004. UML'04 satellite workshop proceedings.
[25]
T.M. Khoshgoftaar and T.G. Woodcock. Predicting Software Development Errors Using Software Complexity Metrics. IEEE Journal on Selected Areas in Communications, 8(2):253-261, 1990.
[26]
K. Lano, D. Clark, and K. Androutsopoulos. Safety and Security Analysis of Object-Oriented Models. In SAFECOMP 2002, volume 2434 of LNCS, pages 82-93. Springer, 2002.
[27]
P. Liggesmeyer and O. Maeckel. Quantifying the reliability of embedded systems by automated analysis. In 2001 International Conference on Dependable Systems and Networks (DSN 2001), pages 89-96. IEEE Computer Society, 2001.
[28]
T. Mayer and T. Hall. A Critical Analysis of Current OO Design Metrics. Software Quality Journal, 8:97-110, 1999.
[29]
T.J. McCabe. A Complexity Measure. IEEE Trans. Software Engineering, 5:45-50, 1976.
[30]
A. Melton, D. Gustafson, J. Bieman, and A. Baker. A Mathematical Perspective for Software Measures Research. IEE/BCS Software Engineering Journal, 5:246-254, 1990.
[31]
MOST Cooperation. MOST Media Oriented System Transport--Multimedia and Control Networking Technology. MOST Specification Rev. 2.3. August 2004.
[32]
J.C. Munson and T.M. Khoshgoftaar. Software Metrics for Reliability Assessment. In Michael R. Lyu, editor, Handbook of Software Reliability Engineering, chapter 12. IEEE Computer Society Press and McGraw-Hill, 1996.
[33]
J.D. Musa. Software Reliability Engineering. McGraw-Hill, 1999.
[34]
J.D. Musa, A. Iannino, and K. Okumoto. Software Reliability: Measurement, Prediction, Application. McGraw-Hill, 1987.
[35]
Object Management Group. UML 2.0 Superstructure Final Adopted specification, August 2003. OMG Document ptc/03-08-02.
[36]
Z. Pap, I. Majzik, and A. Pataricza. Checking general safety criteria on UML statecharts. In U. Voges, editor, SAFECOMP 2001, volume 2187 of LNCS, pages 46-55. Springer, 2001.
[37]
W. Prenninger and A. Pretschner. Abstractions for Model-Based Testing. In M. Pezze, editor, Proc. Test and Analysis of Component-based Systems (TACoS'04), 2004.
[38]
A. Pretschner, W. Prenninger, S. Wagner, C. Kühnel, M. Baumgartner, B. Sostawa, R. Zölch, and T. Stauner. One Evaluation of Model-Based Testing and its Automation. In Proc. 27th International Conference on Software Engineering (ICSE), 2005. To appear.
[39]
F. Randimbivololona. Orientations in verification engineering of avionics software. In R. Wilhelm, editor, Informatics - 10 Years Back, 10 Years Ahead, LNCS, pages 131-137. Springer, 2000.
[40]
L. Rosenberg, T. Hammer, and J. Shaw. Software Metrics and Reliability. In Proc. 9th International Symposium on Software Reliability Engineering (ISSRE'98). IEEE, 1998.
[41]
J. Rushby. Critical system properties: Survey and taxonomy. Reliability Engineering and System Safety, 43(2):189-219, 1994.
[42]
B. Selic. Physical programming: Beyond mere logic. In A. Sangiovanni-Vincentelli and J. Sifakis, editors, Embedded Software Second International Conference (EMSOFT 2002), volume 2491 of LNCS, pages 399-406, 2002.
[43]
B. Selic, G. Gullekson, and P.T. Ward. Real-Time Object-Oriented Modeling. John Wiley & Sons, 1994.
[44]
B. Selic and J. Rumbaugh. Using UML for modeling complex real-time systems. Available at http://www-106.ibm.com/developerworks/rational/library/, 1998.
[45]
S. Wagner. Efficiency Analysis of Defect-Detection Techniques. Technical Report TUMI- 0413, Institut für Informatik, Technische Universität München, 2004.
[46]
S. Wagner. Reliability Efficiency of Defect-Detection Techniques: A Field Study. In Suppl. Proc. 15th IEEE International Symposium on Software Reliability Engineering (ISSRE'04), 2004.
[47]
S. Wagner and J. Jürjens. Model-Based Identification of Fault-Prone Components. Draft.
[48]
W.-L. Wang, Y. Wu, and M.-H. Chen. An Architecture-Based Software Reliability Model. In Proc. Pacific Rim International Symposium on Dependable Computing (PRDC'99), pages 143-150, 1999.
- Component-based development of dependable systems with UML
Recommendations
The Research of Component-Based Dependable Software Development
CIT '10: Proceedings of the 2010 10th IEEE International Conference on Computer and Information TechnologyAfter analyzing the dependability of Component-Based Software Systems, this paper brings forward the dependable software development reference model. Based on this reference model, key technologies about dependability encapsulation, dependability ...
Tools for secure systems development with UML
For model-based development to be a success in practice, it needs to have a convincing added-value associated with its use. Our goal is to provide such added-value by developing tool-support for the analysis of UML models against difficult system ...
Model-Based Verification in the Development of Dependable Systems
ITCC '05: Proceedings of the International Conference on Information Technology: Coding and Computing (ITCC'05) - Volume II - Volume 02In this paper, we present a framework that integrates the semi-formal modeling language, namely UML, with the formal method, namely PVS, to exploit their synergy in the development of dependable systems. System descriptions are given in UML notations, ...
Comments
Please enable JavaScript to view thecomments powered by Disqus.Information & Contributors
Information
Published In
January 2005
345 pages
ISBN:3540306447
Publisher
Springer-Verlag
Berlin, Heidelberg
Publication History
Published: 01 January 2005
Qualifiers
- Chapter
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- View Citations1Total Citations
- 0Total Downloads
- Downloads (Last 12 months)0
- Downloads (Last 6 weeks)0
Reflects downloads up to 01 Jan 2025
Other Metrics
Citations
Cited By
View all- Bernardi SMerseguer JPetriu D(2011)A dependability profile within MARTESoftware and Systems Modeling (SoSyM)10.1007/s10270-009-0128-110:3(313-336)Online publication date: 1-Jul-2011