Skip to main content
SpringerLink
Log in
Book cover

International Conference on Algebraic Methodology and Software Technology

AMAST 1999: Algebraic Methodology and Software Technology pp 17–22Cite as

Systematising Reactive System Design

  • Conference paper
  • First Online:

  • 262 Accesses

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

Abstract

Reactive systems are a very important class of systems for engineering organisations. The role of software is now dominant and its share of system construction costs is ever increasing. However, in spite of much research devoted to reactive systems development, proper engineering languages, methods and tools, as construed by the conventional engineering community, are not available to support the technology. We examine the state of play and suggest a way ahead for putting into place appropriate technology for industry.

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

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. J. R. Abrial, The B Book: Assigning Programs to Meanings, Cambridge University Press, 1996

    Google Scholar 

  2. K. Lano, The B Language and Method: A Guide to Practical Formal Development, FACIT series, Springer-Verlag, 1996

    Google Scholar 

  3. G.E. Rotstein, A. Sanchez, S. Macchietto, Procedural Control of Discrete Event Systems. Submitted to Intl. J. of Control, 1998

    Google Scholar 

  4. A. Sanchez, Formal Specification and Synthesis of Procedural Controllers for Process Systems, Springer-Verlag Lecture Notes in Control and Information Sciences, vol. 212, 1996

    Google Scholar 

  5. P. Kan, Specification and Implementation of Reactive Systems with B, MSc thesis, Imperial College, 1997

    Google Scholar 

  6. K. Lano, P. Kan, J. Bicarregui, Combining Scheduling Theory and Formal Methods in the Development of a Flexible Manufacturing System. Submitted to Theory and Formal Methods 98

    Google Scholar 

  7. J. Fiadeiro, T. Maibaum, Temporal Theories as Modularisation Units for Concurrent System Specification, Formal Aspects of Computing 4(3), pp. 239–272, 1992

    Article  MATH  Google Scholar 

  8. International Society for Measurement and Control, Control Models and Terminology ISAS88.01-1995, 1995

    Google Scholar 

  9. J.R. Abrial, E. Borger, H. Langmaack, Formal Methods for Industrial Applications: Specifying and Programming the Steam Boiler Control LNCS 1165, Springer-Verlag, 1997

    Google Scholar 

  10. M. Ali, Specification of Steam Boiler, MSc thesis, Imperial College, 1998

    Google Scholar 

  11. R. Allen, D. Garlan, Formalising Architectural Connection, First Int. Workshop on Architectures for Software Systems, 1995

    Google Scholar 

  12. M. Jackson, Formal Methods and Traditional Engineering, Journal of Systems and Software: special issue on Formal Methods Technology Transfer, 40(3), pp. 191–194, 1998

    Google Scholar 

  13. E. Gamma, R. Helm, R. Johnson, J. Vlissides, Design Patterns: Elements of Reusable Object-oriented Software, Addison-Wesley, 1994

    Google Scholar 

  14. PRESTO P4 Project, Integrated Design of Control and Automation Systems, PRESTO Document 200197A11, Centre for Process Systems Engineering, Imperial College, 1997

    Google Scholar 

  15. K. Lano, A. Sanchez, Design of Reactive Control Systems for Event-Driven Operations, FME 97: Industrial Applications and Strengthened Foundations of Formal Methods. (J. Fitzgerald, C. B. Jones, P. Lucas Eds.) LNCS 1313, 1997

    Google Scholar 

  16. W. G. Vincenti,, What Engineers Know and How They Know It, The Johns Hopkins University Press, 1990

    Google Scholar 

  17. P. Zave, M. Jackson, Four Dark Corners of Requirements Engineering, ACM TOSEM, 6(1), pp. 1–30, 1997

    Article  Google Scholar 

  18. A. Haeberer, T. Maibaum, The Very idea of Software Development Environments: A Conceptual Architecture for the ARTS Environment Paradigm, Proc. of ASE 1998, IEEE Computer Society Press, pp. 260–269, 1998

    Google Scholar 

  19. L. Blaine, L. Gilham, J. Liu, D. Smith, S. Westfold, PLANWARE-Domain-Specific Synthesis of High Performance Schedulers, Proc. of ASE 1998, IEEE Computer Society Press, pp. 270–279, 1998

    Google Scholar 

  20. J. Fiadeiro, T. Maibaum, A Mathematical Toolbox for the Software Architect, Proc. of the 8th International Workshop on Software Specification and Design, IEEE Computer Society Press, 1996

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computing, Imperial College, 180 Queen’s Gate, London, SW7 2BZ, UK

    Thomas S. E. Maibaum, Pauline Kan & Kevin Lano

Authors
  1. Thomas S. E. Maibaum
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Pauline Kan
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Kevin Lano
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Departamento de Informática, Pontifícia Laboratório de Métodos Formais, Universidade Católica do Rio de Janeiro, Rua Marquês De São Vicente, 225, 22453-900, Rio de Janeiro, RJ, Brazil

    Armando M. Haeberer

Rights and permissions

Reprints and permissions

Copyright information

© 1998 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Maibaum, T.S.E., Kan, P., Lano, K. (1998). Systematising Reactive System Design. In: Haeberer, A.M. (eds) Algebraic Methodology and Software Technology. AMAST 1999. Lecture Notes in Computer Science, vol 1548. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-49253-4_3

Download citation

  • DOI: https://doi.org/10.1007/3-540-49253-4_3

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-65462-9

  • Online ISBN: 978-3-540-49253-5

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation