Skip to main content
SpringerLink
Log in

Design and verification of real-time systems

  • Long Papers
  • Chapter
  • First Online:
Artificial Intelligence in Structural Engineering

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 1454))

Abstract

Advances in sensing, effecting, and computational technologies will change the way we design, construct, and monitor systems that interact with the physical world. Building structures will sense and respond to external loads, autonomous robots will occupy construction sites, and intelligent vehicles will monitor network flows to circumvent delays. As engineers, we must be prepared to work with the information technologies that underpin these coming systems. This paper addresses several of the prominent technical concerns in designing real-time systems that control some aspect of their environment. The view taken is that, by considering software systems to be an engineering artifact, we can begin to develop the kinds of quantitative approaches found in other areas of engineering design.

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. J. T. P. Yao. Concept of structural control. ASCE J. Struct. Div., pages 1567–1574, 1972.

    Google Scholar 

  2. B. F. Spencer Jr. and M. K. Sain. Controlling buildings: A new frontier in feedback. Special Issue of the IEEE Control Systems Magazine on Emerging Technology, 17(6):19–35, December 1997.

    Google Scholar 

  3. A. A. Berlin. Active control of buckling using piezo-ceramic actuators. In Smart Structures and Materials 1995: Industrial and Commercial Applications of Smart Structures Technologies (SPIE), volume 2447, pages 141–154, 1995.

    Google Scholar 

  4. DARPA-ITO Workshop on Software-Enabled Control. http://www.dyncorpis.com/darpa/meetings/sw/software-enabled. html.

    Google Scholar 

  5. T. T. Soong. Active Structural Control. Longman Scientific, New York, 1990.

    Google Scholar 

  6. B. D. Rose and J. W. Baugh Jr. Parametric study of a pulse control algorithm with time delays. Technical Report CE-303-93, Department of Civil Engineering, North Carolina State University, Raleigh, NC, August 1993.

    Google Scholar 

  7. J. W. Baugh Jr. and D. R. Rehak. Data abstraction in engineering software development. Journal of Computing in Civil Engineering, 6(3):282–301, July 1992.

    Google Scholar 

  8. J. W. Baugh Jr. and H. S. Chadha. Semantic validation of product and process models. Journal of Computing in Civil Engineering, 11(1):26–36, 1997.

    Google Scholar 

  9. F. Jahanian and A. K. Mok. Safety analysis of timing properties in real-time systems. IEEE Transactions On Software Engineering, 12(9), September 1986.

    Google Scholar 

  10. J. W. Baugh Jr. and W. M. Elseaidy. Real-time software development with formal models. Journal of Computing in Civil Engineering, 9(1):73–86, 1995.

    Google Scholar 

  11. J. C. M. Baeten and W. P. Weijland. Process Algebra, volume 18 of Cambridge Tracts in Theoretical Computer Science. Cambridge University Press, Cambridge, England, 1990.

    Google Scholar 

  12. C. A. R. Hoare. Communicating Sequential Processes. Prentice-Hall, 1985.

    Google Scholar 

  13. R. Milner. Communication and Concurrency. Prentice-Hall, 1989.

    Google Scholar 

  14. A. Moller and C. Tofts. A temporal calculus of communicating systems. In Proceedings of CONCUR'90, pages 401–415. Lecture Notes in Computer Science 458, Springer-Verlag, 1990.

    Google Scholar 

  15. F. Jahanian and D. A. Stuart. A method for verifying properties of Modechart specifications. In IEEE 9th Real-Time System Symposium, pages 12–21. IEEE Computer Society Press, 1988.

    Google Scholar 

  16. F. Jahanian and A. K. Mok. Semantics of Modechart in Real Time Logic. In 21st Hawaii International Conference on System Science, pages 479–489, 1988.

    Google Scholar 

  17. R. Cleaveland and S. Sims. The NCSU Concurrency Workbench. In R. Alur and T. Henzinger, editors, 1Computer Aided Verification (CAV '96), pages 394–397. Lecture Notes in Computer Science 1102, Springer-Verlag, 1996.

    Google Scholar 

  18. E. A. Emerson. Temporal and modal logic. In J. van Leeuwen, editor, Handbook of Theoretical Computer Science, volume B, pages 995–1072. North-Holland, 1990.

    Google Scholar 

  19. W. M. Elseaidy, J. W. Baugh Jr., and R. Cleaveland. Verification of an active control system using temporal process algebra. Engineering with Computers, 12:46–61, 1996.

    Google Scholar 

  20. W. M. Elseaidy, R. Cleaveland, and J. W. Baugh Jr. Modeling and verifying active structural control systems. Science of Computer Programming, 29(1-2):99–122, July 1997.

    Google Scholar 

  21. G. R. Kakivaya and J. W. Baugh Jr. Distinguishing formulas for bisimulation inequivalence. Unpublished working paper.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Civil Engineering, North Carolina State University, 27695-7908, Raleigh, NC, USA

    John W. Baugh Jr. (Associate Professor)

Authors
  1. John W. Baugh Jr.
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Ian Smith

Rights and permissions

Reprints and permissions

Copyright information

© 1998 Springer-Verlag Berlin Heidelberg

About this chapter

Cite this chapter

Baugh, J.W. (1998). Design and verification of real-time systems. In: Smith, I. (eds) Artificial Intelligence in Structural Engineering. Lecture Notes in Computer Science, vol 1454. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0030441

Download citation

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

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-64806-2

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

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation