ETRI Journal

Electronics and Telecommunications Research Institute (한국전자통신연구원)
권호 표지

A New Integrated Software Development Environment Based on SDL, MSC, and CHILL for Large-scale Switching Systems

  • Published : 1997.01.31
Download PDF
⟨ Previous Next ⟩

Abstract

This paper presents a new software development environment that supports an integrated methodology for covering all phases of software development and gives integrated methods with tools for ITUT (Telecommunication Standardization Section of the International Telecommunication Union) languages. The design of the environment to improve software productivity and quality is based on five main concepts: 1) formal specifications based on SDL (Specification and Description Language) and MSC (Message Sequence Charts) in the design phase, 2) verification and validation of those designs by tools, 3) automatic code generation and a safe separate compilation scheme based on CHILL (CCITT High-Level Language) to facilitate programming-in-the-many and programming-in-the-large. 4) debugging of distributed real-time concurrent CHILL programs, and 5) simulation of application software for integrated testing on the host machine based on CHILL. The application results of the environment compared with other approaches show that the productivity is increased by 19 % because of decreasing implementation and testing cost, and the quality is increased by 83 % because of the formal specifications with its static and dynamic checking facilities.

Keywords

References

  1. IEEE Transactions on Software Engineering v.14 no.6 Software environment architectures and user interface facilities Young, Michal;Taylor, Richard N.;Troup, Dennis B.
  2. IEEE transactions on software engineering v.SE-12 no.12 Gandalf: Software development environments Habermann, A.N.;Notkin, D.
  3. Fifth ACM SIFSOFT Symposium on Software Development Environments Issues encounteredin building a flexible software development environment Kadia, R.
  4. CCITT high level language (CHILL), Recommendation Z.200,ISO/IEC 9496 CCITT
  5. IEEE Transactions on Communications v.30 no.6 CHILL - The standard language for programming SPC system Rekdal, K.
  6. CCITT specification and description language(SDL), RecommendationZ.100, COMX-R 17-E CCITT
  7. Message SequenceCharts (MSC), Recommendation Z.120 CCITT
  8. SDL '93 Using Objects Conformance testing of SDL support tools Heilesen, J.H.;Michael, B.;Renard, B.;Faergemand, O.(ed.);Amardeo Sarma(ed.)
  9. SDL '93 Using Objects SDT: The SDL design yool Per Blysa;Faergemand, O.(ed.);Amardeo Sarma(ed.)
  10. SDL '93 Using Objects GEODE Vincent Encontiere;Faergeman, O.(ed.);Amardeo Sarma(ed.)
  11. 7th SDL Forum SDL-based software development in siemensA/G - Experience of introducing rigorous use of SDL and MSC Amsjo, G.;Nyeng, A.
  12. Telektronikk v.89 no.2;3 CHILL - The international standard languages for telecommunications programming Rekdal, Kristen
  13. 5th CHILL Conference Construction of CHILL environment using generally available tools Sato, N.;Ohmori, K.
  14. CHIPSY Reference Manual, Version 15.020
  15. XIV International Switching Symposium v.2 Object CHILL - An objectoriented language for telecom applications Winkler, J.F.H.(et al)
  16. International Symposium on Telecommunications Narrowband and broadband ISDN technologyimplementation by TDXswitching system Park, H.G.
  17. SDL '89: The Language at Work Integrated SDL environment Hong, J.P.(et al.);Faergemand, O.(ed.);Marques, M.M.(ed.)
  18. 5th CHILL Conference A CHILL programming environment Hong, J.P.;Lee, Dong-Gill;Park, K.S.;Bahk, H.G.
  19. Pacific Telecommunications Conference Debugging and simulation environment for a Switching System Paik, E.H.(et al.)
  20. Conference on communication technology Simulation environment for telecommunication systems Park, K.S.
  21. SDL '89: The Language at Work Using SDL in switching system development Chung, Chan J.(et al.);Faergemand, O.(ed.);Marques, M.M.(ed.)
  22. SDL '91: The Language at Work The automated verification of SDL specifications using numerical petrinets Kimvol, Hwan C.(et al.);Faergemand, O.(et al.)(ed.)
  23. Changha International CASE Symposium '95 Data modeling and implementation of repository for SDL '92 environments Kim, Hong-Keun(et al.)
  24. Communications of the ACM v.23 no.9 A practical tool kit for making portable compilers Tanenbaum, Andrew S.(et al.)
  25. ACM Transactionson Programming Languages and Systems v.8 no.3 Smart recompilation Tichy, Walter F.
  26. 5th CHILL Conference Source-Level debugging CHILL programs Kim, S.H.(et al.)
  27. 5th CHILL Conference A debugger for CHILL programs in a cross-development environment Park, Jun-Cheol(et al.)
  28. ACM Computing Surveys v.21 no.4 Debugging concurrent programs McDowell, C.;Helmbold, D.
  29. '92 The Korea Information Science Society Conference v.19 no.2 An implementation of time manager for CHILL run-time system Lee, Eun-Hyang(et al.)
  30. IEEE Transactions on Software Engineering v.SE-9 no.6 Software function, source lines of code and development effort prediction Albrecht, A.J.;Gaffney, J.E.
  31. IBM Systems Journal v.19 no.1 A method for programming measurement and estimation Walston, C;Feiix, C.
  32. Software Engineering - A Practitioner's Approach Pressman, Roger S.
  33. Software Engineering with Student Project Guide Mynatt, F.
  34. ACM Sigsoft Software Engineering Notes v.10 no.1 The RC2000: A software success story Lawrence, J.L.
  35. Communications of the ACM v.27 no.9 A software design method for realtime systems Gomaa, H.
  36. Communications of the ACM v.38 no.10 Developing an object-oriented software testing and maintenance environment Kung, David;Gao, Jerry(et al.)