Component-based development of dependable systems with UML

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 3778 LNCS, Issue , 2005, Pages 320-344

  Jürjens, Jan ^a   Wagner, Stefan ^a  

^a TECHNICAL UNIVERSITY OF MUNICH   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL COMPLEXITY; OBJECT ORIENTED PROGRAMMING; REQUIREMENTS ENGINEERING; UNIFIED MODELING LANGUAGE;

COMPLEXITY METRICS; OPERATIONAL PROFILES; SOFTWARE SYSTEMS;

SOFTWARE RELIABILITY;

EID: 33847643979     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11591962_16     Document Type: Article

References (48)

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, ComponentBased 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 CF. 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/completeted/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 TM. 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. Kuhnel, 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 PT. 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 TUMI0413, 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.