Skip to main content
SpringerLink
Log in

A Toolset for Developing Real-Time Systems

  • Conference paper
Real Time Computing

Part of the book series: NATO ASI Series ((NATO ASI F,volume 127))

  • 212 Accesses

Abstract

We describe a prototype toolset [1],[2] whose goal is to provide comprehensive support for constructing verifiably correct real-time systems. The toolset, a product of joint research by the Naval Research Laboratory (nrl) and the University of Texas (ut), has two purposes:

  1. 1.

    to demonstrate and evaluate the utility of formal methods for developing real-time systems and

  2. 2.

    to obtain information needed to build production-quality case tools supporting the methods (e.g., how to design the user interface, how to integrate the tools, etc.).

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

Access this chapter

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

Institutional subscriptions

References

  1. A. Rose, M. Pérez, P. Clements, Modechart User Interface Tool User’s Guide, NRL report, Naval Research Lab, Wash., DC, 1992 (forthcoming).

    Google Scholar 

  2. C.L. Heitmeyer, P.C. Clements, B.G. Labaw, A.K. Mok, Engineering CASE Tools to Support Formal Methods for Real-Time Software Development,Proc., Fifth Intern. Workshop on Computer-Aided Software Engineering, Montreal, Quebec, CAN, 6–10 July 1992.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Naval Research Laboratory, Center for High-Assurance Computer Systems, Washington, D.C., 20375, USA

    Constance Heitmeyer

Authors
  1. Constance Heitmeyer
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Vakgroep Informatica, Rijksuniversiteit Groningen, Postbus 800, 9700 AV, Groningen, The Netherlands

    Wolfgang A. Halang

  2. Fachbereich Elektrotechnik und Informationstechnik, FernUniversität Hagen, D-58084, Hagen, Germany

    Wolfgang A. Halang

  3. Department of Computer and Information Science, New Jersey Institute of Technology, 07102, Newark, NJ, USA

    Alexander D. Stoyenko

Rights and permissions

Reprints and permissions

Copyright information

© 1994 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Heitmeyer, C. (1994). A Toolset for Developing Real-Time Systems. In: Halang, W.A., Stoyenko, A.D. (eds) Real Time Computing. NATO ASI Series, vol 127. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-88049-0_31

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-88049-0_31

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-88051-3

  • Online ISBN: 978-3-642-88049-0

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation