Skip to main content
SpringerLink
Log in

Specification-Modeling Methodologies for Reactive-System Design

  • Chapter
High-Level System Modeling

Part of the book series: Current Issues in Electronic Modeling ((CIEM,volume 3))

Abstract

The goal of this paper is to investigate the state-of-the-art in specification-modeling methodologies applicable to the design of reactive systems. By combining the specification requirements of a reactive system and the desirable characteristics of a specification-modeling methodology, we develop a unified framework for evaluating any specification-modeling methodology applicable to reactive-system design. A unified framework allows the designer to look at the spectrum of choices available and quickly comprehend the suitability of a methodology for the specific application.

Using the unified framework, we study a number of representative methodologies, identifying their respective strengths and weaknesses when evaluated for the desired characteristics. The differences and relationships between the various methodologies is highlighted. We find our framework to be quite useful in evaluating each methodology. A summary of our observations is presented, together with recommendations for areas needing further research in specification modeling for reactive systems. Two such areas are improving model continuity and providing better complexity control, especially across different abstraction levels and modeling domains. We also present a description of each methodology studied in the unified framework.

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

Access this chapter

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

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book
USD 109.99
Price excludes VAT (USA)
  • Durable hardcover 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

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Similar content being viewed by others

Bibliography

  1. M.W. Alford, J.P. Ansart, G. Hommel, L. Lamport, B. Liskov, G.P. Mullery, F.B. Schneider. Distributed Systems. Methods and Tools for Specification. Lecture Notes in Computer Science, Springer-Verlag 1982.

    Google Scholar 

  2. Aylor, J.H. and Waxman, R. and Johnson, B.W. and R.D. Williams,. The Integration of Performance and Functional Modeling in VHDL. In Performance and Fault Modeling with VHDL. Schoen, J.M., Prentice Hall, Englewood Cliffs, NJ 07632, 1992, pages 22–145.

    Google Scholar 

  3. Aylor, J.H. and Williams, R.D. and Waxman, R. and Johnson, B.W. and Blackburn, R.L. A Fundamental Approach to Uninterpreted/Interpreted Modeling of Digital Systems in a Common Simulation Environment. UVa Technical Report TR # 900724.0, University of Virginia, Charlottesville, USA, July 24, 1990.

    Google Scholar 

  4. S. Budkowski and P. Dembinski. An Introduction to Estelle: A Specification Language for Distributed Systems. Computer Networks and ISDN Systems. North-Holland, Vol. 14, 1987.

    Google Scholar 

  5. G. Berry. A Hardware implementation of pure Esterel. Digital Equipment Pars Research Laboratory, July 1991.

    Google Scholar 

  6. Brayton, R.K. and Camposano, R. and De Micheli, G. and Otten, R.H.J.M. and van Eijndhoven, J.T.J. The Yorktown Silicon Compiler System. In Silicon Compilation. Gajski, D.D., Addison-Wesley, 1988.

    Google Scholar 

  7. F. Beiina, D. Hogrefe, and A. Sarma. SDL with Applications from Protocol Specifications. Prentice Hall, 1991.

    Google Scholar 

  8. D. Bjorner, C.B. Jones. The Vienna Development Method: The Meta-Language. Lecture Notes in Computer Science. No. 61. Springer-Verlag. 1978.

    Google Scholar 

  9. Blackburn, R.L. and Thomas, D.E. Linking the Behavioral and Structural Domains of Representation in a Synthesis System. DAC 85:374–380.

    Google Scholar 

  10. J.P. Calvez. Embedded Real-Time Systems: A Specification and Design Methodology. Wiley Series in Software Engineering Practice. 1993.

    Google Scholar 

  11. J.R. Cameron. “An overview of JSD”. IEEE Transactions on Software Engineering. Vol SE-12. No. 2. February 1986.

    Google Scholar 

  12. CCITT. Recommendation Z.100: Specification and Description language (SDL). Volume X, Fascicle X.1, Blue Book, October 1988

    Google Scholar 

  13. D. Coleman. “Introducing Objectcharts or How to Use Statecharts in Object-Oriented Design ”. IEEE Transactions on Software Engineering. Vol. 18, No. 1. Jan 1992

    Google Scholar 

  14. Chu, C.M. and Potkonjak, M. and Thaler, M. and Rabaey, J. HYPER: An Interactive Synthesis Environment for High Performance Real Time Applications. Proceeding of the International Conference on Computer Design, pages 432–435,1989.

    Google Scholar 

  15. Camposano, R. and Rosenstiel, W. A Design Environment for the Synthesis of Integrated Circuits. 11th EUROMICRO Symposium on Microprocessing and Microprogramming 1985.

    Google Scholar 

  16. P. Coad, E. Yourdon. Object-Oriented Analysis. Prentice-Hall, 1990.

    Google Scholar 

  17. A. Davis. “A Comparison of Techniques for the Specification of External System Behavior”. Communications of the ACM. Vol 31, No. 9. 1988.

    Google Scholar 

  18. T. DeMarco. Structured Analysis and System Specification. Yourdon Computing Series, Yourdon Press, Prentice Hall, 1979.

    Google Scholar 

  19. Dutt, N.D. and Gajski, D.D. Designer Controlled Behavioral Synthesis. Proceedings of the 26th Design Automation Conference, pages 754–757, 1989.

    Google Scholar 

  20. D. Drusinsky and D. Harel. Using Statecharts for hardware description and synthesis. In IEEE Transactions on Computer-Aided Design, 1989.

    Google Scholar 

  21. E.W. Dijkstra. “Guarded commands, nondeterminacy, and formal derivation of programs”. Communications of the ACM, Vol 18, No. 8. 1975.

    Google Scholar 

  22. H. Ehrig, B. Mahr. Fundamentals of Algebraic Specification — 1. EATCS Monographs on Theoretical Computer Science 6. Springer-Verlag. 1985.

    Google Scholar 

  23. L.M.G. Feijs and H.B.M. Jonkers. Specification and Design with COLD-K. LNCS 490, pp. 277–301.

    Google Scholar 

  24. M.D. Fraser, K. Kumar, V.K. Vaishnavi. “Strategies for Incorporating Formal Specifications in Software Development”. Communications of the ACM. Vol. 37, No. 10. Oct 1994 p 74–86.

    Article  Google Scholar 

  25. O. Færgemand, A. Olsen. New Features in SDL-92. Tutorial, Telecommunications Research Laboratory, TFL, Denmark. 1992.

    Google Scholar 

  26. D.D. Gajski, F. Vahid, and S. Narayan. A system-design methodology: Executable-specification refinement. In Proceedings of the European Conference on Design Automation (EDAC), 1994.

    Google Scholar 

  27. N. Halbwachs. Synchronous Programming of reactive Systems. Kluwer Academic Publishers, 1993.

    Google Scholar 

  28. D. Harel. “Biting the Silver Bullet: Toward a Brighter Future for System Development”. IEEE Computer. Vol. 25, No. 1. Jan 1992, pages 8–24.

    Article  Google Scholar 

  29. D. Harel. “On Visual Formalisms”. Communications of the ACM. Vol. 31, No. 5. 1988 p 514–530.

    Article  MathSciNet  Google Scholar 

  30. D. Harel. “Statecharts: A Visual Formalism For Complex Systems ”. Science of Computer Programming, Vol 8.1987, pages 231–274.

    Article  MathSciNet  MATH  Google Scholar 

  31. D.C. Hu and G. DeMicheli. HardwareC — a language for hardware design. Stanford University, Technical Report CSL-TR-90-419, 1988.

    Google Scholar 

  32. D. Harel, H. Lachover, A. Naamad, A. Pnueli, M. Politi, R. Sherman, A. Shtull-Trauring, M. Trakhtenbrot. “Statemate: A working environment for the development of complex reactive systems”. Proceedings of 10th International Conference on Software Engineering. Singapore, 11-15 April 1988, p 122–129.

    Google Scholar 

  33. S. Hekmatpur, D. Ince. Software Prototyping, Formal Methods, and VDM. International Computer Science Series, Addison-Wesley Publishing Company, 1988.

    Google Scholar 

  34. C.A.R. Hoare. Communicating Sequential Processes. Prentice Hall, London. 1985.

    Google Scholar 

  35. D.J. Hatley, I.A. Pirbhai. Strategies for Real-time System Specification. Dorset House Publishing, New York, 1987.

    Google Scholar 

  36. IEEE. IEEE Standard VHDL Language Reference Manual. IEEE Inc., NY, 1988.

    Google Scholar 

  37. i-Logix Inc. ExpressVHDL Documentation, Version 3.0.1992.

    Google Scholar 

  38. ISO/IS 8807. Information Processing Systems — Open Systems Interconnection: LOTOS — A Formal Description Technique. 1989.

    Google Scholar 

  39. M.A. Jackson. System Development. Prentice-Hall, 1983.

    Google Scholar 

  40. M.A. Jackson. Principles of Program Design. Academic Press, 1975.

    Google Scholar 

  41. Lor, K.E. and Berry, D.M. Automatic Synthesis of SARA Design Models from System Requirements. IEEE Transactions on Software Engineering 17(12):1229–1240 December 1991.

    Article  Google Scholar 

  42. J.Z. Lavi, M. Winokur. “Embedded computer systems: requirements analysis and specification: An industrial course ”. Proceedings of SEI Conference, Virginia April 1988. Lecture Notes in Computer Science: Software Engineering Education, No. 327. Ed. G.A. Ford, Springer-Verlag p 81–105.

    Google Scholar 

  43. F. Maraninchi. Argos: A graphical synchronous language for the description of reactive systems. Report RT-C29, Univeriste Joseph Fourier, 1991.

    Google Scholar 

  44. R. Milner. A Calculus of Communicating Systems. Lecture Notes in Computer Science 92. Springer-Verlag. 1980.

    Google Scholar 

  45. D.E. Monarchi, G.I. Puhr. “A Research Typology for Object-Oriented Ananlysis and Design”. Communications of the ACM. Vol. 35, No. 9. Sep 1992.

    Google Scholar 

  46. Z. Manna, A. Pnueli. The temporal logic of reactive and concurrent systems: specification. Berlin Heidelberg New York: Springer. 1991.

    MATH  Google Scholar 

  47. J.L. Peterson. Petri Net Theory and the Modeling of Systems. Engelwood Cliffs, NJ, Prentice Hall, Inc., New York. 1981.

    Google Scholar 

  48. A. Pnueli. “Application of temporal logic to the specification and verification of reactive systems”. Current Trends in Concurrency. Lecture Notes in Computer Science. Eds: de Bakker et al. Vol. 224, No. 9. Sep 1992.

    Google Scholar 

  49. A. Sarkar. An Integrated Specification and Performance Modeling Approach for Digital System Design. Ph.D. Thesis. University of Virginia. Charlottesville, U.S.A. Feb. 1995.

    Google Scholar 

  50. S. Schlaer, S.J. Mellor. Object-Oriented Systems Analysis. Yourdon Press, 1988.

    Google Scholar 

  51. J.M. Spivey. Understanding Z: A specification Language and its Formal Semantics. Cambridge University Press. 1988.

    Google Scholar 

  52. R. Saracco, J. Smith, R. Reed. Telecommunication Systems Engineering using SDL. Elsevier Science Publishers. 1989.

    Google Scholar 

  53. E. Sternheim, R. Singh, and Y. Trivedi. Hardware Modeling with Verilog HDL. Automata Publishing Company, Cupertino, CA, 1990.

    Google Scholar 

  54. A. Sarkar, R. Waxman, and J.P. Cohoon. System Design Utilizing Integrated Specification and Performance Models. Proceedings, VHDL International Users Forum, Oakland, California, May 1-4, 1994, pp 90–100.

    Google Scholar 

  55. D.E. Thomas and P. Moorby. The Verilog Hardware Description Language. Kluwer Academic Publishers, 1991.

    Google Scholar 

  56. J.M. Wing. “A specifier’s introduction to formal methods”. IEEE Computer, Vol 23, No. 9. 1990. pp 8–24.

    Article  Google Scholar 

  57. Woo, N. and Wolf, W. and Dunlop, A. Compilation of a single specification into hardware and software. AT&T Bell Labs, 1992.

    Google Scholar 

  58. P.T. Ward, S.J. Mellor. Structured Development for Real-time Systems, Vols 1 & 2. Yourdon Computing Series, Yourdon Press, Prentice Hall 1985.

    Google Scholar 

  59. P. Zave and W. Shell. Salient features of an executable specification language and its environment. IEEE Transactions on Software Engineering 12(2):312–325 Feb, 1986.

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science, University of Virginia, Charlottesville, VA, 22903, USA

    Ambar Sarkar, Ronald Waxman & James P. Cohoon

Authors
  1. Ambar Sarkar
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Ronald Waxman
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. James P. Cohoon
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. CNET, France

    Jean-Michel Bergé

  2. Synopsys Inc., USA

    Oz Levia

  3. ESIM, France

    Jacques Rouillard

Rights and permissions

Reprints and permissions

Copyright information

© 1995 Springer Science+Business Media Dordrecht

About this chapter

Cite this chapter

Sarkar, A., Waxman, R., Cohoon, J.P. (1995). Specification-Modeling Methodologies for Reactive-System Design. In: Bergé, JM., Levia, O., Rouillard, J. (eds) High-Level System Modeling. Current Issues in Electronic Modeling, vol 3. Springer, Boston, MA. https://doi.org/10.1007/978-1-4615-2303-1_1

Download citation

  • DOI: https://doi.org/10.1007/978-1-4615-2303-1_1

  • Publisher Name: Springer, Boston, MA

  • Print ISBN: 978-1-4613-5973-9

  • Online ISBN: 978-1-4615-2303-1

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation