Skip to main content
SpringerLink
Log in

Real-time software methodologies: Are they suitable for developing Manufacturing control software?

  • Published:
International Journal of Flexible Manufacturing Systems Aims and scope Submit manuscript

Abstract

Computer-Integrated Manufacturing (CIM) systems may be classified as real-time systems. Hence, the applicability of methodologies that are developed for specifying, designing, implementing, testing, and evolving real-time software is investigated in this article.

The paper highlights the activities of the software development process. Among these activities, a great emphasis is placed on automating the software requirements specification activity, and a set of formal models and languages for specifying these requirements is presented. Moreover, a synopsis of the real-time software methodologies that have been implemented by the academic and industrial communities is presented together with a critique of the strengths and weaknesses of these methodologies.

The possible use of the real-time methodologies in developing the control software of efficient and dependable manufacturing systems is explored. In these systems, efficiency is achieved by increasing the level of concurrency of the operations of a plan, and by scheduling the execution of these operations with the intent of maximizing the utilization of the devices of their systems. On the other hand, dependability requires monitoring the operations of these systems. This monitoring activity facilitates the detection of faults that may occur when executing the scheduled operations of a plan, recovering from these faults, and, whenever feasible, resuming the original schedule of the system.

The paper concludes that the set of surveyed methodologies may be used to develop the real-time control software of efficient and dependable manufacturing systems. However, an integrated approach to planning, scheduling, and monitoring the operations of these systems will significantly enhance their utility, and no such approach is supported by any of these methodologies.

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

Access this article

Log in via an institution

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

  • Ada Joint Program Office, “Ada Methodologies: Concepts and Requirements,” Technical report, The United States Department of Defense (November 1982).

  • Agerwala, T., “Special Feature: Putting Petri Nets to Work,”Computer, pp. 85–94 (December 1979).

  • Al Jaar, R.Y. and Desrochers, A.A., “Performance Evaluation of Automated Manufacturing Systems Using Generalized Stochastic Petri Nets,”IEEE Transactions on Robotics and Automation, Vol. 6, No. 6, pp. 621–639 (December 1990).

    Google Scholar 

  • Alford, M.W., “A Requirements Engineering Methodology for Real-Time Processing Requirements,”IEEE Transactions on Software Engineering, Vol. SE-3, No. 1, pp. 60–69 (January 1977).

    Google Scholar 

  • Alford, M.W., “SREM at the Age of Eight: The Distributed Computing Design System,”Computer, pp. 36–46 (April 1985).

  • Aoyama, M., “Concurrent Development of Software Systems: A New Development Paradigm,”ACM SIGSOFT Software Engineering Notes, Vol. 12, No. 3, pp. 20–24 (July 1987).

    Google Scholar 

  • Avrunin, G.S. and Wileden, J.C., “Describinig and Analyzing Distributed Software System Design,”ACM Transactions on Programming Languages and Systems, Vol. 7, No. 3, pp. 380–403 (July 1985).

    Google Scholar 

  • Avrunin, G.S., Dillon, L.K., Wileden, J.C. and Riddle, W.E., “Constrained Expressions: Adding Analysis Capabilities to Design Methods for Concurrent Software Systems,”IEEE Transactions on Software Engineering, Vol. SE-12, No. 2, pp. 278–292 (February 1986).

    Google Scholar 

  • Bell, T.E., Bixler, D.C. and Dyer, M.E., “An Extendable Approach to Computer-Aided Software Requirements Engineering,”IEEE Transactions on Software Engineering, Vol.SE-3, No.1 49-60 (January 1977)

    Google Scholar 

  • Ben Hadj-Alouane, N., Chaar, J.K. and Naylor, A.W., “The Design and Implementation of the Control and Integration Software of a Flexible Manufacturing System,”The Proceedings of The First International Conference on Systems Integration, New Jersey, pp 494–502 (April 1990).

  • Berztiss, A.T., “Specification of Visual Representation of Petri Nets,”The Proceedings of the 1987 Workshop on Visual Languages (August 1987).

  • Berztiss, A.T., “Survey of Formal Specification Methods,” Technical report, Software Engineering Institute, Carnegie-Mellon University (1987).

  • Blumofe, R. and Hecht, A., “Executing Real-Time Structured Analysis Specification,”ACM SIGSOFT Software Engineering Notes, Vol. 13, No. 3, pp. 32–40 (July 1988).

    Google Scholar 

  • Boehm, B.W., “A Spiral Model of Software Development and Enhancement,”ACM SIGSOFT Software Engineering Notes, Vol. 11, No. 4, pp. 14–24 (August 1986).

    Google Scholar 

  • Boehm, B.W., “Improving Software Productivity,”Computer, pp. 43–57 (September 1987).

  • Bruyn, W., Jensen, R., Keskar, D. and Ward, P.T., “ESML: An Extended Systems Modeling Language Based on the Data Flow Diagram,”ACM SIGSOFT Software Engineering Notes, Vol. 13, No. 1, pp 58–67 (January 1988).

    Google Scholar 

  • Budgen, D., “Combining MASCOT with Modula-2 to aid the Engineering of Real-Time Systems,”Software-Practice and Experience, Vol. 15, pp. 767–793 (August 1985).

    Google Scholar 

  • Campos, I.M. and Estrin, G., “Concurrent Software System Design Supported by SARA at the Age of One,”The Proceedings of the 3rd International Conference on Software Engineering, Atlanta, Georgia, pp. 230–242 (1977).

  • Chaar, J.K., “Software Design Methodologies: A Survey,” Technical Report RSD-TR-20-87, Robot Systems Division, The University of Michigan (Ocotber 1987).

  • Chaar, J.K. and Davidson, E.S., “Cyclic Job Shop Scheduling Using Reservation Tables,”The Proceedings of the 1990 IEEE International Conference on Robotics and Automation, Cincinnati, Ohio, pp 2128–2135 (May 1990).

  • Chaar, J.K., Teichroew, D. and Volz, R.A., “Developing Manufacturing Control Software: A Survey and Critique,”International Journal of Flexible Manufacturing Systems, Vol. 5, No. 1, pp. 53–88 (1993).

    Google Scholar 

  • Chaar, J.K., Volz, R.A. and Davidson, E.S., “An Integrated Approach to Developing Manufacturing Control Software,”The Proceedings of the 1991 IEE International Conference on Robotics and Automation, Sacramento, California, pp. 1979–1984 (April 1991).

  • Cherry, G.W. and Crawford, B.S., “The PAMELA Methodology,” Technical report, Thought**Tools (November 1985).

  • Cherry, G.W., “PAMELA 2: An Ada-Based Object-Oriented Design Method,” Technical report, Thought**Tools (1987).

  • Chin, R.S. and Chanson, S.T., “Distributed Object-Based Programming Systems,”ACM Computing Surveys, Vol. 23, No. 1, pp. 91–124 (March 1991).

    Google Scholar 

  • Chong Yi, Y., “Synchronic Distances in C/E Systems,”Advances in Petri Nets, pp. 101–121 (1985a).

  • Chong Yi, Y., “Process Periods and System Reconstruction,”Advances in Petri Nets, pp. 122–141 (1985b).

  • Coolahan Jr., J.E. and Roussopoulos, N., “Timing Requirements for Time-Driven Systems Using Augmented Petri Nets,”IEEE Transactions on Software Engineering, Vol. SE-9, No. 5, pp. 603–616 (September 1983).

    Google Scholar 

  • Dasarathy, B., “Timing Constraints of Real-Time Systems: Constructs for Expressing Them, Methods of Validating Them,”IEEE Transactions on Software Engineering, Vol. SE-11, No. 1, pp. 80–86 (January 1985).

    Google Scholar 

  • Davis, A.M., “A Comparison of Techniques for The Specification of External System Behavior,”Communications of the ACM, pp. 1098–1115 (September 1988).

  • Davis, C.G. and Vick, C.R., “The Software Development System,”IEEE Transactions on Software Engineering, Vol. SE-3, No. 1, pp. 69–84 (January 1977).

    Google Scholar 

  • Dibble, R., “Software Design and Development Using MASCOT,”Software for Avionics, AGARD Conference Reprint nbr. 330, (1982).

  • Dowson, M., “ISTAR—An Integrated Project Support Environment,”Proceedings of the 2nd ACM SIGSOFT/SIGPLAN Software Engineering Symposium on Practical Software Development Environments, pp. 27–33 (January 1987).

  • Du Plessis, A.L., “A Software Engineering Environment for Real-Time Systems,” PhD thesis, University of South Africa (June 1986).

  • Estrin, G., Fenchel, R.S., Razouk, R.R. and Vernon, M.K., “SARA (Systems Architects Apprentice): Modeling, Analysis and Simulation Support for Design of Concurrent Systems,”IEEE Transactions on Software Engineering, Vol. SE-12, No. 2, pp. 293–311 (February 1986).

    Google Scholar 

  • Feldbrugge, F., “Petri Net Tools,”Advances in Petri Nets, pp. 203–223 (1985).

  • Fisher, J.P., “Zone Logic—Increased Machine Productivity through Artificial Intelligence,”The Proceedings of the 18th Annual International Programmable Controllers (IPC) Conference (April 1989).

  • Freeman, P. and Wasserman, A.I.,Tutorial on Software Design Techniques. (eds.) IEEE Computer Society, Washington, D.C. 4th ed. (1983).

  • Genrich, H.J., “Net Theory and Application,” Kugler, H.-J., editor,Information Processing (IFIP) 86, pp. 823–831 (1986).

    Google Scholar 

  • Ghezzi, C., Mandrioli, D. and Pezzé, M., “Petri Nets as a Support to Symbolic Execution of Concurrent Ada Programs,” Technical Report 87–007, Politecnico di Milano-Dipartimento di Elettronica (1987).

  • Giordana, A. and Saitta, L., “Modeling Production Rules by Means of Predicate Transition Networks,”Information Sciences, Vol. 35, pp. 1–41 (1985).

    Google Scholar 

  • Goltz, U. and Chong Yi, Y., “Synchronic Structure,”Advances in Petri Nets, pp. 233–252 (1985).

  • Gomaa, H., “A Software Design Method for Real-Time Systems,”Communications of the ACM, Vol. 27, No. 9, pp. 938–949 (September 1984).

    Google Scholar 

  • Gomaa, H., “Software Development of Real-Time Systems,”Communications of the ACM, Vol. 29, No. 7, pp. 657–668 (July 1986).

    Google Scholar 

  • Gomaa, H., “Extending the DARTS Software Design Method to Distributed Real Time Applications,”The Proceedings of the 21th Annual Hawaii International Conference on System Sciences (HICSS-21), Hawaii, Vol. II: Software, pp. 252–261 (January 1988).

  • Griffiths, S.N., “Design Methodologies—A Comparison,”Structured Analysis and Design, Vol. 11, pp. 133–166 (1978).

    Google Scholar 

  • Harel, D. and Penuli, A., “On the Development of Reactive Systems,” Apt, K.R., (ed.),Logics and Models of Concurrent Systems, Vol. F13, pp. 477–498. NATO ASI Series (January 1985).

    Google Scholar 

  • Harel, D., Lachover, H., Naamad, A., Pneuli, A., Politi, M., Sherman, R. and Shtul Trauring, A., “STATEMATE: A Working Environment for the Development of Complex Reactive Systems,”Proceedings of the 10th IEEE International Conference on Software Engineering, pp. 396–406, Singapore (April 1988).

  • Harel, D., “On Visual Formalisms,”Communications of the ACM, pp. 514–530 (May 1988).

  • Hartley, D., “The Use of Structured Methods in the Development of Large Software-Based Avionics Systems,”Proceedings of AIAA/IEEE 6th Digital Avionics Conference, Baltimore, Maryland (1984).

  • Hekmatpour, S., “Experience with Evolutionary Prototyping in a Large Software System,”ACM SIGSOFT Software Engineering Notes, Vol. 12, No. 1, pp 38–41 (January 1987).

    Google Scholar 

  • Holliday, M.A. and Vernon, M.K., “A Generalized Timed Petri Net Model for Performance Analysis,”IEEE Transactions on Software Engineering, Vol. SE-13, No. 12, pp. 1297–1310 (December 1987).

    Google Scholar 

  • Houghton, Jr., R.C. and Wallace, D.R., “Characteristics and Functions of Software Engineering Environments: An Overview,”ACM SIGSOFT Software Engineering Notes, Vol. 12, No. 1, pp 68–84 (January 1987).

    Google Scholar 

  • Jackson, K. and Simpson, H.R., “MASCOT—A Modular Approach to Software Construction Operation and Test,” Technical Report, Royal Radar Establishment (RRE) Technical Note 778 (October 1975).

  • Jahanian, F. and Mok, A.K., “Safety analysis of Timing Properties in Real-Time Systems,”IEEE Transactions on Software Engineering, Vol. SE-12, No. 9, pp 890–904 (September 1986).

    Google Scholar 

  • Jahanian, F., Lee, R. and Mok, A.K., “Semantics of Modechart in Real Time Logic,”The Proceedings of the 21th Annual Hawaii International Conference on System Sciences (HICSS-21), Hawaii, Vol. II: Software, pp. 252–261 (January 1988).

  • Kelly, J.C., “A Comparison on Four Design Methods for Real-Time Systems,”Proceedings of the 9th International Conference on Software Engineering, Monterey, California, pp. 238–252 (May 1987).

  • Kenny, K.B. and Lin, K.-J., “Building Flexible Real-Time Systems Using the Flex Language,”Computer, pp. 70–78 (May 1991).

  • Lauer, P.E. and Shields, M.W., “COSY: An Environment for Development and Analysis of Concurrent and Distributed Systems,”The Proceedings of the Symposium on Software Engineering Environments, Lahnstein, Germany (June 1980).

    Google Scholar 

  • Leveson, N.G. and Stolzy, J.L., “Safety Analysis Using Petri Nets,”IEEE Transactions on Software Engineering, Vol. SE-13, No. 3, pp. 386–397 (March 1987).

    Google Scholar 

  • Luckham, D.C. and von Henke, F.W., “An Overview of Anna, a Specification Language for Ada,”IEEE Software, pp. 9–22 (March 1985).

  • Luckham, D.C., Neff, R. and Rosenblum, D.S., “An Environment for Ada Software Development Based on Formal Specification: Status and Development Plan,”Ada Letters, Vol. VII, No. 3, pp. 94–106 (May/June 1987).

    Google Scholar 

  • Mantei, M.M. and Teorey, T.J., “Cost/Benefit Analysis for Incorporative Human Factors in The Software Lifecycle,”Communications of the ACM, Vol. 31, No. 4, pp. 428–439 (April 1988).

    Google Scholar 

  • Marcus, M., Sattley, K., Schaffner, S.C. and Albert, E., “DAPSE: A Distributed Ada Programming Support Environment,”The Proceedings of the IEEE 2nd International Conference on Ada Applications and Environments, pp. 115–125 (1986).

  • Molloy, M.K., “Discrete Time Stochastic Petri Nets,”IEEE Transactions on Software Engineering, Vol. SE-11, No. 4, pp. 417–423 (April 1985).

    Google Scholar 

  • Murata, T. and Zhang, D., “A High-Level Petri Net Model for Parallel Interpretation of Logic Programs,”The Proceedings of the 1986 Conference on Computer Languages, pp. 123–132 (October 1986).

  • Murata, T. and Komoda, N., “Liveness Analysis of Sequence Control Specifications Described in Capacity Designated Petri Net Using Reduction,”The Proceedings of the 1987 IEEE International Conference on Robotics & Automation, Raleigh, North carolina, pp. 1960–1965 (March 1987).

  • Murata, T. and Zhang, D., “A Predicate-Transition Net Model for Parallel Interpretation of Logic Programs,”IEEE Transactions on Software Engineering, Vol. 14, No. 4, pp. 481–497 (April 1988).

    Google Scholar 

  • Murata, T., Shenker, B. and Shatz, S.M., “Detection of Ada Static Deadlocks Using Petri Net Invariants,”IEEE Transactions on Software Engineering, pp. 314–326 (March 1989).

  • Naylor, A.W. and Volz, R.A., “Design of Integrated Manufacturing System Control Software,”IEEE Transactions on Systems, Man, and Cybernetics, Vol. SMC-17, No. 6, pp. 881–897 (November/December 1987).

    Google Scholar 

  • Nelson, R.A., Haibt, L.M. and Sheridan, P.B., “Casting Petri Nets into Programs,”IEEE Transactions on Software Engineering, Vol. SE-9, No. 5, pp. 590–602 (September 1983).

    Google Scholar 

  • Parnas, D.L., “On the Criteria to be Used in Decomposing Systems into Modules,”Communications of the ACM, Vol. 15, No. 12, pp. 1053–1058 (December 1972).

    Google Scholar 

  • Peterka, G. and Murata, T., “Proof Procedure and Answer Extraction in Petri Net Model of Logic Programs,”IEEE Transactions on Software Engineering, Vol. SE-15, No. 2, pp. 209–217 (February 1989).

    Google Scholar 

  • Peters, L.J. and Tripp, L.L., “Comparing Software Design Methodologies,”Datamation, Vol. 23, No. 11, pp. 89–94 (November 1977).

    Google Scholar 

  • Peterson, J.L.,Petri Net Theory and the Modeling of Systems, Prentice-Hall, Englewood Cliffs, NJ (1981).

    Google Scholar 

  • Privitera, J.P., “Ada Design Language for the structured Design Methodology,”Proceedings of the AdaTEC Conference, pp. 76–90 (October 1982).

  • Ramamoorthy, C.V., Tsai, W., Yamaura, T. and Bhide, A., “Metrics Guided Methodology,”Proceedings of COMPSAC'85: 9th Conference on Software Applications, Chicago, Illinois, pp. 111–120 (October 1985).

  • Riddle, W.E., “An Event-Based Design Methodology Supported by DREAM,” Schneider, N.-J., (ed.),Formal Models and Practical Tools for Information Systems Design. IFIP (1979).

  • Royce, W.W., “Managing the Development of Large Software Systems: Concepts and Techniques,”Proceedings of the 9th International Conference on Software Engineering (a Reprint of 1970 article), Monterey, California, pp. 328–338 (March 1987).

  • Shaw, A.C., “Software Specification Languages Based on Regular Expressions,” Riddle, W.E. and Fairley, R.E., (eds.),Software Development Tools, pp. 148–175, Springer-Verlag (1980).

  • Simpson, H.R. and Jackson, K., “Process Synchronization in MASCOT,”The Computer Journal, Vol. 22, No. 4, pp. 332–345 (1979).

    Google Scholar 

  • Simpson, H.R., “Act Parallel: Use MASCOT,”Computer Bulletin, pp. 6–9 (March 1982).

  • Stankovic, J.A., “A Serious Problem for Next-Generation Systems,”Computer, pp. 10–19 (October 1988).

  • Stotts, P.D., “The PFG Environment: Parallel Programming with Petri Net Semantics,”The Proceedings of the 21th Annual Hawaii International Conference on System Sciences (HICSS-21), Hawaii, Vol. II: Software, pp. 630–638 (January 1988).

  • Taylor, R.N., Belz, F.C., Clarke, L.A., Osterweil, L., Selby, R.W., Wileden, J.C., Wolf, A.L. and Young, M., “Foundations for The Arcadia Environment Architecture,”SIGPLAN Notices, Vol. 24, No. 2, pp. 1–13 (February 1989).

    Google Scholar 

  • Taylor, R.N. and Standish, T.A., “Steps to an Advanced Ada Programming Environment,”IEEE Transactions on Software Engineering, Vol. SE-11, No. 3, pp. 302–310 (March 1985).

    Google Scholar 

  • Teichroew, D., “The Development of Software Support Environments,”Proceedings Canadian Information Processing Society (CIPS), 1982 National Conference, Saskatchewan (1982).

  • The United States Department of Defense,Ada Programming Language (ANSI/MIL-STD-1815A) (February 1983).

  • Ward, P.T., “The Transformation Schema: An Extension of the Data Flow Diagram to Represent Control and Timing,”IEEE Transactions on Software Engineering, Vol. SE-12, No. 2, pp. 198–210 (February 1986).

    Google Scholar 

  • Ward, P.T., “Embedded Behavior Pattern Languages: A Contribution to a Taxonomy of CASE Languages,”The Proceedings of the 21th Annual Hawaii International Conference on System Sciences (HICSS-21), Hawaii, Vol. II: Software, pp. 273–284 (January 1988).

  • Watson, A.G., “Petri Net Topologies for a Specification Language,” Master's thesis, University of Witwatersrand (1987).

  • Webster, D.E., “Mapping the Design Information Representation Terrain,” Technical Report MCC-STP-367-88, Microelectronics and Computer Technology Corporation (November 1987).

  • White, S.M.,A Pragmatic Formal Method for Computer System Definition, PhD thesis, Polytechnic University (June 1987).

  • Wolff, J.G., “The Management of Risk in System Development: ‘Project S’ and the ‘New Spiral Model’,”Software Engineering Journal, pp. 134–142 (May 1989).

  • Yau, S.S. and Shatz, S.M., “On Communication in The Design of Software Components of Distributed Computer Systems,”Proceedings of the 3rd Conference on Distributed Computing Systems, pp. 280–287 (1982).

  • Yau, S.S. and Caglayan, M.U., “Distributed Software System Design Representation Using Modified Petri Nets,”IEEE Transactions on Software Engineering, Vol. SE-9, No. 6, pp. 733–745 (November 1983).

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. IBM Research Division, Thomas J. Watson Research Center, 10598, Yorktown Heights, NY, USA

    Jarir K. Chaar

  2. IOE Department, The University of Michigan, 48109-2117, Ann Arbor, MI, USA

    Daniel Teichroew

  3. CS Department, Texas A&M University, 77843-3112, College Station, TX, USA

    Richard A. Volz

Authors
  1. Jarir K. Chaar
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Daniel Teichroew
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Richard A. Volz
    View author publications

    You can also search for this author in PubMed Google Scholar

Rights and permissions

Reprints and permissions

About this article

Cite this article

Chaar, J.K., Teichroew, D. & Volz, R.A. Real-time software methodologies: Are they suitable for developing Manufacturing control software?. Int J Flex Manuf Syst 5, 95–128 (1993). https://doi.org/10.1007/BF01358949

Download citation

  • Issue Date:

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

Key words

Search

Navigation