Software design for real-time systems
著者
書誌事項
Software design for real-time systems
Chapman and Hall, 1991
- : us
- : uk
大学図書館所蔵 件 / 全4件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
注記
Includes bibliographical references and index
内容説明・目次
- 巻冊次
-
: uk ISBN 9780412341809
内容説明
This book deals with the development of software for real-time applications. It takes the reader logically through the steps of total design approach, from initial definition of the task, the fundamentals of analysis, specification and design, to design methods, development tools and documentation. High level languages are evaluated, and compared with assembler for real-time applications. Software reliability and the importance of properly structured design are all emphasized throughout. The book includes design and methodologies of CORE, JSD, USM, MASCOT 3 and HOOD.
目次
- Part 1 Real-time systems - setting the scene: categorizing computer systems
- real-time computer systems
- the computing elements of real-time systems
- software for real-time applications - some general comments. Part 2 The search for dependable software: what do we want in our software?
- software errors
- the basic of good software. Part 3 First steps - requirements analysis and specification: the software life cycle
- the importance of the requirements states
- making mistakes - sources and causes
- a practical approach to analysis and specification
- communication aspects - the role of prototyping. Part 4 Program design concepts: design fundamentals
- the elements of modular design
- program control structures - the influence of structured programming
- functional structuring of software designs
- object-structured (oriented) design
- data structures design
- building the software - alternative techniques. Part 5 Diagramming - an introduction: diagrams - why?
- the essentials of software diagrams
- practical diagramming techniques. Part 6 Diagramming methodologies in software design: context and entity relationship diagrams
- data flow diagrams
- process structure diagram
- program structure diagrams
- event-dependent diagrams
- structure diagrams
- producing diagrams. Part 7 Formal specification methods, Paul Robinson, Rolls Royce and Associates Ltd., and M. Bushel, Computing Services Ltd: formal methods - are they useful?
- the specification problem - again
- why mathematics?
- formal methods - general concepts
- VDM
- X. Part 8 Languages for real-time systems: choosing a programming language - the real questions
- high-level languages - requirements
- program syntax and layout rules - the readability factor
- program design and compilation methods
- variable usage - scope, visibility, lifetime and declaration
- data types - concepts and uses
- program flow control
- interfacing to other languages
- exception handling
- accessing processor hardware - low level facilities
- miscellaneous items
- languages for real-time systems - survey
- a comparison of Ada, C, and Modula-2/Pascal
- assembly language programming. Part 9 Operating systems for real-time embedded: why use an operating system?
- basic features of embedded operating systems
- scheduling - concepts
- scheduling - implementation
- control of shared resources - mutual exclusion
- intertask communication
- memory management
- standard executives - software in silicon. Part 10 Software analysis and design - methods, methodologies and tools: the development process
- controlled requirements expression - core
- Yourdon structured method - YSM
- Jackson system development - JSD
- MASCOT
- hood - hierachical object-oriented design
- software tools - an overview.
- 巻冊次
-
: us ISBN 9780442311742
内容説明
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.
目次
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.
「Nielsen BookData」 より