Software Design for Real-time Systems

WHAT IS THIS BOOKABOUT7 In recent times real-time computer systems have become increasingly complex and sophisticated. It has now become apparent that, to implement such schemes effectively, professional, rigorous software methods must be used. This includes analysis, design and implementation. Unfo...

Full description

Bibliographic Details
Main Author: Cooling, J. E.
Format: eBook
Language:English
Published: New York, NY Springer US 1991, 1991
Edition:1st ed. 1991
Subjects:
Online Access:
Collection: Springer Book Archives -2004 - Collection details see MPG.ReNa
Table of Contents:
  • Real-time systems — setting the scene
  • The search for dependable software
  • First steps — requirements analysis and specification
  • Program design concepts
  • Diagramming — an introduction
  • Diagramming methodologies in software design
  • Formal specification methods
  • Languages for real-time systems
  • Operating systems for real-time applications
  • Software analysis and design — methods, methodologies and tools
  • Development tools
  • Documentation and testing