Skip to main content
SpringerLink
Log in

Requirements specifications for hybrid systems

  • Conference paper
  • First Online:
Hybrid Systems III (HS 1995)

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

Included in the following conference series:

Abstract

We have presented several examples to show how the SCR requirements model can be extended to specify and to reason about hybrid systems. The next step is to extend the formal definition of the SCR model to include continuous variables, time, and accuracy. By adding such information to system and software requirements specifications, we can provide precise guidance to the developers of computer systems and a formal foundation for analyzing the behavior of these systems.

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. Thomas A. Alspaugh, Stuart R. Faulk, Kathryn Heninger Britton, R. Alan Parker, David L. Parnas, and John E. Shore. Software requirements for the A-7E aircraft. Technical Report NRL-9194, Naval Research Lab., Wash., DC, 1992.

    Google Scholar 

  2. P.-J. Courtois and David L. Parnas. Documentation for safety critical software. In Proc. 15th Int'l Conf. on Softw. Eng. (ICSE '93), pages 315–323, Baltimore, MD, 1993.

    Google Scholar 

  3. Stuart Faulk, Lisa Finneran, James Kirby, Jr., and Assad Moini. Consortium requirements engineering handbook. Technical Report SPC-92060-CMC, Software Productivity Consortium, Herndon, VA, December 1993.

    Google Scholar 

  4. Stuart R. Faulk, John Brackett, Paul Ward, and James Kirby, Jr. The CoRE method for real-time requirements. IEEE Software, 9(5):22–33, September 1992.

    Article  Google Scholar 

  5. Stuart R. Faulk, Lisa Finneran, James Kirby, Jr., S. Shah, and J. Sutton. Experience applying the CoRE method to the Lockheed C-130J. In Proc. 9th Annual Conf. on Computer Assurance (COMPASS '94), pages 3–8, Gaithersburg, MD, June 1994.

    Google Scholar 

  6. Constance Heitmeyer, Alan Bull, Carolyn Gasarch, and Bruce Labaw. SCR*: A toolset for specifying and analyzing requirements. In Proc. 10th Annual Conf. on Computer Assurance (COMPASS '95), pages 109–122, Gaithersburg, MD, June 1995.

    Google Scholar 

  7. Constance Heitmeyer, Bruce Labaw, and Daniel Kiskis. Consistency checking of SCR-style requirements specifications. In Proc., International Symposium on Requirements Engineering, March 1995.

    Google Scholar 

  8. Constance L. Heitmeyer, Ralph D. Jeffords, and Bruce G. Labaw. Tools for analyzing SCR-style requirements specifications: A formal foundation. Technical Report NRL-7499, Naval Research Lab., Wash., DC, 1995. In preparation.

    Google Scholar 

  9. Constance L. Heitmeyer and John McLean. Abstract requirements specifications: A new approach and its application. IEEE Trans. Softw. Eng., SE-9(5):580–589, September 1983.

    Google Scholar 

  10. Kathryn Heninger, David L. Parnas, John E. Shore, and John W. Kallander. Software requirements for the A-7E aircraft. Technical Report 3876, Naval Research Lab., Wash., DC, 1978.

    Google Scholar 

  11. Nancy Lynch and Frits Vaandrager. Forward and backward simulations for timing-based systems. In Proceedings of REX Workshop “Real-Time: Theory in Practice”, volume 600 of Lecture Notes in Computer Science, pages 397–446, Mook, The Netherlands, June 1991. Springer-Verlag.

    Google Scholar 

  12. David L. Parnas and Jan Madey. Functional documentation for computer systems. Technical Report CRL 309, McMaster Univ., Hamilton, ON, Canada, September 1995.

    Google Scholar 

  13. A. John van Schouwen. The A-7 requirements model: Re-examination for real-time systems and an application for monitoring systems. Technical Report TR 90-276, Queen's Univ., Kingston, ON, Canada, 1990.

    Google Scholar 

  14. A. John van Schouwen, David L. Parnas, and Jan Madey. Documentation of requirements for computer systems. In Proc. RE'93 Requirements Symp., pages 198–207, San Diego, CA, January 1993.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Naval Research Laboratory, Code 5546, 20375, Washington, DC

    Constance Heitmeyer

Authors
  1. Constance Heitmeyer
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Rajeev Alur Thomas A. Henzinger Eduardo D. Sontag

Rights and permissions

Reprints and permissions

Copyright information

© 1996 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Heitmeyer, C. (1996). Requirements specifications for hybrid systems. In: Alur, R., Henzinger, T.A., Sontag, E.D. (eds) Hybrid Systems III. HS 1995. Lecture Notes in Computer Science, vol 1066. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0020955

Download citation

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

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-61155-4

  • Online ISBN: 978-3-540-68334-6

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation