Abstract
The application of embedded real-time systems has introduced new problems for the software engineer related to the complexity of such systems. Especially the early stages of the software development process are vital for the successful implementation of computer systems. Three structured design methods for real-time software systems that are common in industrial projects (SCR, RTSA, DARTS) are compared. This comparison is based on the application of all methods to the specification of a commercial heating system which is in the area of 200 Function Points (6 person months development time). The complete development process is supported by a heterogeneous CASE-environment for reproducibility and hence better comparability. High-order Petri nets are introduced as a graphic formalism for both analysis and architectural design of concurrent systems. The methods are compared quantitatively by providing different complexity metrics over time and qualitatively by subjective observations from this and other projects. Such metrics provide much better project control based upon intermediate results (design documentation) once the methods are applied in a defined fashion. In the given projects DARTS has some advantages compared to the other methods.
Keywords
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Hatley, D.J. and I.A. Pirbhai: Strategies for Real-Time System Specification. Dorset House, New York, NY, USA, 1987.
Harel, D., H. Lachover, A. Naamad, A. Pnueli, et. al.: STATEMATE: A Working Environment for the Development of Complex Reactive Systems. IEEE Transactions on Software Engineering, Vol. 16, No. 4, pp. 403 - 413, April 1990.
Varadharajan, V.: A Petri Net Model for System Design and Refinement. J. Systems and Software, Vol. 15, pp. 239 - 250, 1991.
Oswald, H., R. Esser und R. Mattmann: An Environment for Specifying and Executing Hierarchical Petri Nets. In: Proc. of the 12. Int. Conf. on Software Engineering, IEEE Comp. Soc. Press, Los Alamitos, CA, USA, 1990.
Parnas, D.L., P.C. Clements and D.M. Weiss: The Modular Structure of Complex Systems. IEEE Trans. on Softw. Eng., Vol. SE-11, No. 3, S. 259-266, Mrc. 1985.
Gomaa, H.: Software Design Methods for Concurrent and Real-time Systems. Addison-Wesley Publishing Company, Reading, MA, USA, 1993.
Pereira, C.E.: Putting 00 to work: Results from Applying the Object-Oriented Paradigm during the Development of Real-Time Applications. First IEEE Workshop on Real-Time Applications, pp. 166-170. New York, NY, USA, May 13 - 14, 1993.
Elmstrom, R., R. Lintulampi and M. Pezzé: Giving Semantics to SA/RT by Means of High-Level Timed Petri Nets. Real-Time Systems, Vol. 5, pp. 249 - 271, 1993.
Ebert, C. and H. Oswald: Complexity Measures for the Analysis of Specifications of (Reliability Related) Computer Systems. Proc. IFAC SAFECOMP, pp. 95-100, Pergamon Press, London, 1991
Lauber, R. (Ed.): EPOS Overview. SPS, New York, NY, USA, Jan. 1990.
Stoyenko, A.D. and W.A. Halang: Extending PEARL for Industrial Real-Time Applications. IEEE Software, Vol. 10, No. 4, pp. 65 - 74, 1993.
12]Card, D. N. and R. L. Glass: Measuring Software Design Quality. Prentice Hall. Englewood Cliffs, NJ, USA, 1990.
Ebert, C.: Complexity Traces - an Instrument for Software Project Management. In: Applications of Software Metrics and Quality Assurance in Industry. Ed.: N. Fenton, Chapman & Hall, London, UK, 1994.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1994 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Ebert, C., Pereira, C. (1994). Measuring the Impact of Real-Time Design Techniques. In: Wolfinger, B. (eds) Innovationen bei Rechen- und Kommunikationssystemen. Informatik aktuell. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-51136-3_46
Download citation
DOI: https://doi.org/10.1007/978-3-642-51136-3_46
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-58313-4
Online ISBN: 978-3-642-51136-3
eBook Packages: Springer Book Archive