A Case Study in Developing Reliable Software: The Construction of a Buffer Management System Used in Network Communication
- 30 Downloads
An industrial application will show the usefulness of a newer method for constructing reliable software. The method combines the phases of design and implementation of software production. Formulation and description of a problem, independent of its implementation, are possible. Relative to given consistency attributes of a problem, the correctness of a specified solution can be shown independent of its implementation. The correctness of the implementation relative to the specification can be shown by using a representationfunction which describes the relation between implementation and specification. The industrial application which will be presented later will point out that the method contributes to a simple and therefore clear system structure. The reflections necessary for the specification were leading to an efficient implementation. Error statistics which were prepared during problem solving indicate that the application of the method reduced errors to a high degree. Especially design errors were detected in an early stage.
Unable to display preview. Download preview PDF.
- 1.Boehm, B.W./Mc Clean, R.K./Urfrig, R.B.: Some experiences with automated aids to the design of large-scale reliable software. Int. Conf. on Reliable Software = ACM SIGPLAN Not. 10, 6, p. 105–113 (1975)Google Scholar
- 2.Keramidis, S./Reitenspieß, M./Weber, K.: Sprachkonstrukte und Betriebssystemunterstiitzung für asynchrone und verteilte Prozeßsysteme. In: Implementierungssprachen für nichtsequentielle Programmsysteme (J. Nehmer, ed.), German Chapter of the ACM, Report 7, p. 37–62. Stuttgart: Teubner 1981Google Scholar
- 3.Schneider, H.J.: Programmentwicklung als konstruktive Aufgabe. University Erlangen-Nürnberg, Technical Report, June 1981Google Scholar
- 4.Schnupp, P./Floyd, C.: Software — Programmentwicklung und Projektorganisation. Berlin: W. de Gruyter 1976Google Scholar