Skip to main content
SpringerLink
Log in

A pragmatic task design approach based on a Ward/Mellor real-time structured specification

  • Conference paper
  • First Online:
Software Engineering — ESEC '93 (ESEC 1993)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 717))

Included in the following conference series:

Abstract

This paper shows some details about the development of a distributed system for the control and supervision of all processes related to the coal feeding a thermal power station. Starting from a structured specification based on the Ward/Mellor methodology for real-time systems, a method for systematic design and implementation is built. The method can be automated in the future, and includes a series of guidelines, rules, procedures, reusable components and graphical representations to successfully derive the implementation from the structured specification.

This Work has been supported by the Patronato de Industrias Eléctricas (Spain) under project PIE-031/017, by the Compañía Eléctrica de Langreo (Spain) under project CEL-053, and by the Universidad de Oviedo (Spain) under project D3-029-90.

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

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Atlee, J., Gannon, J. (1991) “State-Based Model Checking of Event-Driven System Requirements”. In: ACM SIGSOFT Conference on Software for Critical Systems. December, pp. 16–28

    Google Scholar 

  2. Bartlett, P. F., Robinson, P. F., Hains, T. A., Simms, M. J. “Use of Structured Methods for Real-Time Peripheral Firmware”. In: Hewlett-Packard Journal, August 1989, pp. 79–86

    Google Scholar 

  3. Blumfoe, R., Hecht, A. (1988) “Executing Real-Time Structured Analysis Specifications”. In: ACM SIGSOFT Software Engineering Notes, Vol. 13, no. 13, July, pp. 32–40

    Google Scholar 

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

    Google Scholar 

  5. Buhr, R. J. A. (1984) “System Design with Ada”. Prentice-Hall

    Google Scholar 

  6. Chen, Peter W. (1985) “Principles of Database Design”. In: Database Design Based on Entity and Relationship, Edited by S. Bing Yao, chapter 5. Prentice-Hall

    Google Scholar 

  7. Cherry, G. W. (1988) “PAMELA-2: An Ada-Based Object-Oriented Design Method”. Conference paper. Februry.

    Google Scholar 

  8. Chi, R., Lai, T. (1991) “Ada Task Taxonomy Support for Concurrent Programming”. In: ACM SIGSOFT Software Engineering Notes, Vol. 16, no. 1, pp. 73–91, January

    Google Scholar 

  9. DeMarco, T. (1979) “Structured Analysis and System Specification”. Prentice-Hall

    Google Scholar 

  10. Faulk, S., Brackett, J., Ward, P., Kirby, J. (1992) “The Core Method for Real-Time Requirements” In: IEEE Software, Set 1992, pp. 22–33

    Google Scholar 

  11. France, R. B. (1992) “Semantically Extended Data Flow Diagrams: A Formal Specification Tool”. In: IEEE Transactions on Software Engineering, Vol. 18, no. 4, April, pp. 329–346

    Google Scholar 

  12. Hatley, D. J., Pirbhai, I. (1987) “Strategies for Real Time System Specification”. Dover Press, New York, N. Y.

    Google Scholar 

  13. McCall, J. A., Richards, P. K., Walters, G. F. (1977) “Factors in Software Quality Assurance”. RADC-TR-77-369 (Rome Air Development Center). November.

    Google Scholar 

  14. Miranda, E. L. (1989) Specifying Control Transformations through Petri Nets. In: ACM SIGSOFT Software Engineering Notes, Vol. 14, no. 2, April, pp. 45–48

    Google Scholar 

  15. Peters, L. (1989) “Timing Extensions to Structured Analysis for Real Time Sustems”. In: ACM SIGSOFT, 5th International Workshop on Software Specification and Design, May 1989, pp. 83–89

    Google Scholar 

  16. Polack, A. J. (1990) “Practical Applications of CASE Tools on DoD Projects”. In: ACM SIGSOFT Software Engineering Notes, Vol. 15, no. 1, pp. 73–78, January

    Google Scholar 

  17. “Teamwork Environment, Release 3.0.3” (1989). Cadre Technologies, Inc.

    Google Scholar 

  18. Ward, P., Mellor, S. (1985) “Structured Development for Real-Time Systems”. Prentice-Hall

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Escuela Técnica Superior de Ingenieras Industriales e Ingenieros Informáticos, Universidad de Oviedo Campus de Viesques, Spain

    J. Tuya, L. Sánchez, R. Zurita & J. A. Corrales

  2. Carretera de Castiello, s/n E-33394, Área de Lenguajes y Sistemas Informáticos, Gijon, Spain

    J. Tuya, L. Sánchez, R. Zurita & J. A. Corrales

Authors
  1. J. Tuya
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. L. Sánchez
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. R. Zurita
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. J. A. Corrales
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Ian Sommerville Manfred Paul

Rights and permissions

Reprints and permissions

Copyright information

© 1993 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Tuya, J., Sánchez, L., Zurita, R., Corrales, J.A. (1993). A pragmatic task design approach based on a Ward/Mellor real-time structured specification. In: Sommerville, I., Paul, M. (eds) Software Engineering — ESEC '93. ESEC 1993. Lecture Notes in Computer Science, vol 717. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-57209-0_21

Download citation

  • DOI: https://doi.org/10.1007/3-540-57209-0_21

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-57209-1

  • Online ISBN: 978-3-540-47972-7

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation