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

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.

[1]  Ray Thackeray,et al.  Applying Quality Function Deployment for Software Product Development , 1990 .

[2]  R. Blumofe,et al.  Executing real-time structured analysis specifications , 1988, SOEN.

[3]  Ian Thomas The Software Process As A Goal-directed Activity , 1989, [1989] Proceedings of the 5th International Software Process Workshop.

[4]  Richard P. Gabriel Draft report on requirements for a common prototyping system , 1989, SIGP.

[5]  Alejandro Alonso,et al.  Distributed execution of specifications , 2005, Real-Time Systems.

[6]  William W. Agresti,et al.  New Paradigms for Software Development , 1986 .

[7]  Barry W. Boehm,et al.  Software Risk Management , 1989, ESEC.

[8]  Paul Ward,et al.  Structured Development for Real-Time Systems , 1986 .

[9]  Walter Royce,et al.  TRW's Ada Process Model for incremental development of large software systems , 1990, [1990] Proceedings. 12th International Conference on Software Engineering.

[10]  Petri Pulli,et al.  Graphical animation as a form of prototyping real-time software systems , 1993, Real-Time Systems.

[11]  Barry W. Boehm,et al.  Software Engineering Economics , 1993, IEEE Transactions on Software Engineering.

[12]  W BoehmBarry A Spiral Model of Software Development and Enhancement , 1988 .

[13]  M Blumberg Sample Tailoring of 2167A DIDS for Software-First Life Cycle , 1990 .

[14]  Barry W. Boehm,et al.  A spiral model of software development and enhancement , 1986, Computer.

[15]  Mauro Pezzè,et al.  Giving semantics to SA/RT by means of high-level timed Petri nets , 1993, Real-Time Systems.

[16]  Mikio Aoyama Distributed concurrent development of software systems: an object-oriented process model , 1990, Proceedings., Fourteenth Annual International Computer Software and Applications Conference.

[17]  Luqi Rapid prototyping for large Ada software system design , 1986 .

[18]  Hassan Gomaa A software design method for distributed real-time applications , 1989, J. Syst. Softw..

[19]  Mikio Aoyama,et al.  Concurrent Development of Software Systems A New Development Paradigm , 1987 .

[20]  Michael Andersen,et al.  An executable subset of VDM-SL in an SA/RT framework , 2005, Real-Time Systems.

[21]  David Robson,et al.  Smalltalk-80: The Language and Its Implementation , 1983 .

[22]  David Harel,et al.  Statecharts: A Visual Formalism for Complex Systems , 1987, Sci. Comput. Program..

[23]  Z. Kulpa Review of "Smalltalk-80: The Language and its Implementation by A. Goldberg, and D. Robson", Addison-Wesley Publ., Co., 1983, 0-201-11371-6 , 1985, COMG.

[24]  Alejandro Alonso,et al.  The IPTES environment: Support for incremental, heterogeneous and distributed prototyping , 2005, Real-Time Systems.

[25]  A. Pnueli,et al.  STATEMATE: a working environment for the development of complex reactive systems , 1988, [1988] Proceedings. The Third Israel Conference on Computer Systems and Software Engineering.

[26]  Carlo Ghezzi,et al.  High-Level Timed Petri Nets as a kernel for executable specifications , 1993, Real-Time Systems.

[27]  R. E. Childs,et al.  A graphical tool for the prototyping of real-time systems , 1990, SOEN.

[28]  Petri Pulli,et al.  IPTES - Incremental Prototyping Technology for Embedded real-time Systems , 1992, Microprocess. Microprogramming.

[29]  B. Boehm Software risk management: principles and practices , 1991, IEEE Software.

[30]  Bill Curtis Models of iteration in software development , 1986, ISPW.

[31]  G. L. Coleman,et al.  Experience in modeling a concurrent software system using STATEMATE , 1990, COMPEURO'90: Proceedings of the 1990 IEEE International Conference on Computer Systems and Software Engineering@m_Systems Engineering Aspects of Complex Computerized Systems.

[32]  Yoji Akao,et al.  Quality Function Deployment : Integrating Customer Requirements into Product Design , 1990 .