Skip to main content
Springer Nature Link
Log in

IPTES: A concurrent engineering approach for real-time software development

  • Published:
Real-Time Systems Aims and scope Submit manuscript

Abstract

The constantly increasing concurrency, complexity, and risks associated with the industrial development of real-time embedded computer systems has been approached in different ways in recent years. In Esprit project no. EP5570, called IPTES, a methodology and a supporting environment to support the Boehm's spiral process are being developed. The prototyping environment will enable the specification, development, and verification of executable system models so that different parts of the system may represent different modeling levels and yet can be executed as a total system. Concurrent engineering problems in connection with multi-supplier, distributed software development are also addressed in the IPTES environment. In the IPTES project the concept of heterogeneous prototyping is proposed as a solution. Each of the development teams may use relatively abstract models of the other parts of the systems as a testbed (environment model) for their own part, yet they can proceed developing their own part full speed by means of advancing the maturity of their part to the next abstraction level(s). The IPTES environment provides a set of tools to help in the process of creating, analyzing, and testing distributed heterogeneous prototypes.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  • Agresti, W. (editor). 1986.New Paradigms for Software Development. Washington, D.C.: IEEE Computer Society Press.

    Google Scholar 

  • Akao, Y. 1990.Quality Function Deployment: Integrating Customer Requirements in Product Design. Cambridge, Massachusetts/Norwalk, Connecticut: Productivity Press.

    Google Scholar 

  • Aoyama, M. 1990. Distributed concurrent development of software systems: An object-oriented process model. In:Proceedings of COMPSAC'90. IEEE Computer Society Press, Washington, D.C., pp. 330–336.

    Google Scholar 

  • Athena Systems Inc. 1989. Foresight: Modeling and Simulation Toolset for Real-Time System Development, User's Manual.

  • Blumberg, M. 1990. Sample Tailoring of 2167A DIDS for Software-First Life Cycle. Document number CDRL 1880. IBM Federal Sector Division, Gaithersburg, Maryland.

    Google Scholar 

  • Blumofe, R. and Hecht, A. 1989. Executing real-time structured analysis specifications.ACM Sigsoft Software Engineering Notes, 13(3):32–40.

    Google Scholar 

  • Boehm, B. 1981.Software Engineering Economics. Englewood Cliffs, NJ: Prentice-Hall.

    Google Scholar 

  • Boehm, B. 1988. A spiral model of software development and enhancement.IEEE Computer, 21(5):61–72.

    Google Scholar 

  • Boehm, B. 1991. Software risk management: Principles and practices.IEEE Software, 8(1):32–41.

    Google Scholar 

  • Cadre Technologies Inc. 1990. Teamwork/SIM. User's Guide. Release 4.0. Part Number D048XX4A.

  • Coleman, G.L., Ellison, C.P., Gardner, G.G., Sandini, D.L. and Brackett, J.W. 1990. Experience in Modeling a Concurrent Software System using Statemate.Proceedings of the Compeuro'90 Conference. Tel Aviv, Israel. Washington, D.C.: IEEE Computer Society Press, pp. 104–108.

    Google Scholar 

  • Coomber, C. and Childs, R. 1990. A graphical tool for prototyping of Real-Time Systems.ACM Sigsoft Software Engineering Notes, 15(2):70–82.

    Google Scholar 

  • Curtis, B. 1987. Models of Iteration in Software Development.Proceedings 3rd International Software Process Workshop, Breckenridge, Colorado, 17–19 November. Washington, D.C.: IEEE Computer Society Press, pp. 53–56.

    Google Scholar 

  • Elmstrøm, R., Lintulampi, R. and Pezzé, M. 1993. Giving semantics to SA/RT by means of high-level timed Petri nets.Real-Time Systems, 5(2/3):249–271.

    Google Scholar 

  • Elmstrøm, R., Lassen, P.B. and Andersen, M. 1993. An executable subset of VDM-SL, in an SA/RT framework.Real-Time Systems, 5(2/3):197–211.

    Google Scholar 

  • Felder, M., Ghezzi, C., and Pezzé, M. 1993. High-level timed Petri nets as a kernel for executable specification.Real-Time Systems, 5(2/3):235–248.

    Google Scholar 

  • Gabriel, R.P. (editor). 1989. Draft report on requirements for a common prototyping system.ACM Sigplan Notices, 24(3):93–165.

    Google Scholar 

  • Goldberg, A., Robson, D. 1985. Smalltalk-80: The Language and its implementation. Reading MA: Addison Wesley.

    Google Scholar 

  • Gomaa, H. 1989. A software design method for distributed real-time applications.The Journal of Systems and Software, 9(2):81–94.

    Google Scholar 

  • Harel, D. 1987. StateCharts: A visual formalism for complex systems.Science of Computer Programming, 8(3):231–274.

    Google Scholar 

  • Harel, D., Lachover, H., Naamad, A., Pnueli, A., Politi, M., Sherman, R., Shtull-Trauring, A. and Trakhtenbrot, M. 1990. STATEMATE: A working environment for the development of complex reactive systems.IEEE Transactions on Software Engineering, 16(4):403–414.

    Google Scholar 

  • Hatley, D.J. 1991. Parallel, cooperative system development.Proceedings of Embedded Systems Conference, Santa Clara, California, September 24–27, Vol. II, pp. 823–836.

  • King, B. 1989.Better designs in Half the Time: Implementing QFD Quality Function Deployment in America. Goal/QPC, Methuen, Massachusetts.

    Google Scholar 

  • León, G., de la Puente, J.A., Dueñas, J.C., Alonso, A. and Zakhama, N. 1993. The IPTES Environment: Support for Incremental, Heterogeneous and Distributed Prototyping.Real-Time Systems, 5(2/3):153–171.

    Google Scholar 

  • Luqi. 1986. Rapid prototyping for large software system design. PhD thesis, University of Minnesota.

  • Manperil, C., Rommel, Y. and Prinz, J. 1991. Risk management applied to predominantly software-oriented systems: The RiskMan project. Draft paper, available from CGI/CR2A, 19 Avenue Dubonnet, 92411 Courbevoie Cedex, France.

  • Marmor-Squires, A. (principal investigator). 1989. Process model for high performance trusted systems in Ada. Technical Report, TRW Systems Division, Fairfax, Virginia.

    Google Scholar 

  • Nettles, D. 1991. Consortium prepares evolutionary spiral process deliverables.SPC Quarterly, Spring 1991, pp. 4–6. Available from Software Productivity Consortium, 2214 Rock Hill Road, Herndon, Virginia 22070.

  • de la Puente, J.A., Alonso, A., León, G. and Dueñas, J.C. 1993. Distributed execution of specifications.Real-Time Systems, 5(2/3):213–234.

    Google Scholar 

  • Pulli, P., Elmstrøm, R., León, G. and de la Puente, J.A. 1991. IPTES—Incremental Prototyping Technology for Embedded Real-Time Systems. InESPRIT Information Processing Systems and Software, Results and Progress of Selected Projects 1991. pp. 497–512, Esprit, Commission of the European Communities.

  • Reddy, R., Wood, R.T. and Cleetus, K.J. 1992. The DARPA initiative in concurrent engineering.Concurrent Engineering Research in Review, Winter 1991/1992, pp. 2–10. Available from Concurrent Engineering Research Center, West Virginia University, Drawer 2000, Morgantown, WV 26506.

  • Reilly, E.L. and Brackett, J.W. 1987. An experimental system for executing real-time structured analysis models.Proceedings of the XII Structure Methods Conference. Chicago, Illinois, Structured Techniques Association, Chicago, pp. 301–313.

  • Royce, W. 1990. TRW's Ada Process Model for Incremental Development of Large Software Systems.12th International Conference on Software Engineering. Washington, D.C.: IEEE Computer Society Press, pp. 2–11.

  • Thackeray, R., van Treeck, G. 1990. Applying quality function deployment for software product development.Journal of Engineering Design 1(4):389–410.

    Google Scholar 

  • Thomas, I. 1990. The Software Process as a Goal-Directed Activity. In: Perry, D. (editor)Proceedings of the 5th International Software Process Workshop. Washington, D.C.: IEEE Computer Society Press, pp. 137–139.

    Google Scholar 

  • Ward, P.T. and Mellor, S.J. 1985–1986.Structured Development for Real-Time Systems, Volumes 1–3, New York: Yourdon Press.

    Google Scholar 

  • Webb, M. and Ward, P. 1986. Executable data flow diagrams: An experimental implementation.Proceedings of the Structured Development Forum VIII. Structured Techniques Association, Chicago, Illinois, pp. 1–21.

    Google Scholar 

  • Zultner, R.E. 1989. Software Quality (Function) Deployment—Applying QFD to Software. Available form Zultner & Company, 12 Wallingford Drive, Princeton, NJ 08540.

Download references

Author information

Authors and Affiliations

  1. Computer Technology Laboratory, Technical Research Centre of Finland (VTT), Kaitovayla 1, P.O. Box 201, SF-90571, Oulu, Finland

    P. Pulli

  2. The Institute of Applied Computer Science (IFAD), Forskerparken 10, DK-5230, Odense M, Denmark

    R. Elmstrøm

Authors
  1. P. Pulli
    View author publications

    You can also search for this author inPubMed Google Scholar

  2. R. Elmstrøm
    View author publications

    You can also search for this author inPubMed Google Scholar

Rights and permissions

Reprints and permissions

About this article

Cite this article

Pulli, P., Elmstrøm, R. IPTES: A concurrent engineering approach for real-time software development. Real-Time Syst 5, 139–152 (1993). https://doi.org/10.1007/BF01088585

Download citation

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF01088585

Keywords