𝔖 Scriptorium
✦   LIBER   ✦

πŸ“

Software Design for Real-time Systems

✍ Scribed by J. E. Cooling (auth.)


Publisher
Springer US
Year
1991
Tongue
English
Leaves
521
Edition
1
Category
Library

⬇  Acquire This Volume

No coin nor oath required. For personal study only.

✦ Synopsis


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. Unfortunately few textbooks cover this area well. Frequently they are hardware oriented with limited coverage of software, or software texts which ignore the issues of real-time systems. This book aims to fill that gap by describing the total software design and is given development process for real-time systems. Further, special emphasis of microprocessor-based real-time embedded systems. to the needs WHAT ARE REAL-TIME COMPUTER SYSTEMS? Real-time systems are those which must produce correct responses within a definite time limit. Should computer responses exceed these time bounds then performance degradation and/or malfunction results. WHAT ARE REAL-TIME EMBEDDED COMPUTER SYSTEMS? Here the computer is merely one functional element within a real-time system; it is not a computing machine in its own right. WHO SHOULD READ THIS BOOK? Those involved, or who intend to get involved, in the design of software for real-time systems. It is written with both software and hardware engineers in mind, being suitable for students and professional engineers.

✦ Table of Contents


Front Matter....Pages i-xvii
Real-time systems β€” setting the scene....Pages 1-28
The search for dependable software....Pages 29-50
First steps β€” requirements analysis and specification....Pages 51-88
Program design concepts....Pages 89-144
Diagramming β€” an introduction....Pages 145-164
Diagramming methodologies in software design....Pages 165-196
Formal specification methods....Pages 197-222
Languages for real-time systems....Pages 223-284
Operating systems for real-time applications....Pages 285-328
Software analysis and design β€” methods, methodologies and tools....Pages 329-403
Development tools....Pages 404-466
Documentation and testing....Pages 467-491
Back Matter....Pages 493-506

✦ Subjects


Software Engineering/Programming and Operating Systems; Software Engineering


πŸ“œ SIMILAR VOLUMES


Real-Time Software Design for Embedded S
✍ Hassan Gomaa πŸ“‚ Library πŸ“… 2016 πŸ› Cambridge University Press 🌐 English

This tutorial reference takes the reader from use cases to complete architectures for real-time embedded systems using SysML, UML, and MARTE and shows how to apply the COMET/RTE design method to real-world problems. The author covers key topics such as architectural patterns for distributed and hier

Real-Time Software Design: A Guide for M
✍ Philip Heller (auth.) πŸ“‚ Library πŸ“… 1987 πŸ› BirkhΓ€user Basel 🌐 English

<p>Computers these days spend a fairly low fraction of their time computing. In fact, the very word "computer" has become something of a misnomer. In the American History museum of the Smithsonian Institute in WashΒ­ ington, D.C., there is an exhibit of early computers. Three features of these machin

UML for Real : Design of Embedded Real-T
✍ Luciano Lavagno, Grant Martin, Bran Selic πŸ“‚ Library πŸ“… 2003 πŸ› Springer 🌐 English

UML for Real: Design of Embedded Real-Time Systems aims to show the reality of UML as a medium for specification and implementation of real-time systems, illustrating both the current capabilities and limits of UML for this task, and future directions that will improve its usefulness for real-time a

UML for Real: Design of Embedded Real-Ti
✍ Bran Selic (auth.), Luciano Lavagno, Grant Martin, Bran Selic (eds.) πŸ“‚ Library πŸ“… 2004 πŸ› Springer US 🌐 English

<p>The complexity of most real-time and embedded systems often exceeds that of other types of systems since, in addition to the usual spectrum of problems inherent in software, they need to deal with the complexities of the physical world. That worldβ€”as the proverbial Mr. Murphy tells usβ€”is an unpre