Skip to main content
SpringerLink
Log in

Software Engineering of Real-Time Systems

  • Chapter
  • First Online:
Distributed Real-Time Systems

Part of the book series: Computer Communications and Networks ((CCN))

  • 1146 Accesses

Abstract

Methods for software engineering of a general computer system are well established, however, software engineering for real-time and embedded systems are different than a non-real-time system. We start this chapter with the basic and general software engineering concepts of design, which can be implemented in a real-time system. We then describe the requirement specification process followed by the timing analysis. Procedural design and object-oriented design are reviewed as applied to real-time systems. The specification and detailed design of real-time systems employ finite-state machines, timed automata, and Petri nets as described.

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 EPUB and 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
Hardcover Book
USD 84.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

References

  1. Alur R, David L, Dill DL (1994) A theory of timed automata. Theor Comput Sci 126:183–235

    Article  MathSciNet  Google Scholar 

  2. Balaguer S (2012) Concurrency in real-time distributed systems. PhD thesis, Laboratoire Specification et Verification

    Google Scholar 

  3. Booch G, Rambaugh JE, Jachobson I (1998) UML user guide. Addison Wesley

    Google Scholar 

  4. Harel D (1987) Statecharts: a visual formalism for complex systems. Sci Comput Program 8:231–274

    Article  MathSciNet  Google Scholar 

  5. Merlin PM (1974) A study of the recoverability of computing systems. PhD thesis, Department of Information and Computer Science, University of California, Irvine, CA

    Google Scholar 

  6. Petri CA (1962) Kommunikation mit Automaten. PhD thesis, University of Bonn

    Google Scholar 

  7. Pressman RS (2014) Software engineering: a practitioner’s approach, 8th edn. McGraw-Hill Education

    Google Scholar 

  8. Sommervilee I (2011) Software engineering, 9th edn. Addison Wesley

    Google Scholar 

  9. Sommervilee I (2011) Software engineering, 9th edn. Addison Wesley (Chap. 20)

    Google Scholar 

  10. Zuberek WM (1991) Timed Petri Nets—definitions, properties, and applications. Microelectron Reliab 31(4):627–644

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computer Engineering, Üsküdar University, Üsküdar, Istanbul, Turkey

    K. Erciyes

Authors
  1. K. Erciyes
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to K. Erciyes .

Rights and permissions

Reprints and permissions

Copyright information

© 2019 Springer Nature Switzerland AG

About this chapter

Check for updates. Verify currency and authenticity via CrossMark

Cite this chapter

Erciyes, K. (2019). Software Engineering of Real-Time Systems. In: Distributed Real-Time Systems. Computer Communications and Networks. Springer, Cham. https://doi.org/10.1007/978-3-030-22570-4_10

Download citation

  • DOI: https://doi.org/10.1007/978-3-030-22570-4_10

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-030-22569-8

  • Online ISBN: 978-3-030-22570-4

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation