 |
 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
 |
 |
 |
 |
|
|
|
|
|
|
 |
 |
|
|
 |
 |
 |
 |
|
|
|
|
||||
 |
 |
 |
 |
|
BooksHere we will guide you through some interesting books on real-time systems. This list is by no means exhaustive and any suggestions about additional books are very much appreciated. The books are ordered alphabetically by author.
Authors : Mark H. Klein, Thomas Ralya, Bill Pollak, Ray Obenza, Michael Gonzalez Harbour, Carnegie Mellon University/Software Engineering Institute, Pittsburgh, PA, USA A Practitioner's Handbook for Real-Time Analysis: Guide to Rate Monotonic Analysis for Real-Time Systems contains an invaluable collection of quantitative methods that enable real-time system developers to understand, analyze, and predict the timing behavior of many real-time systems. The methods are practical and theoretically sound, and can be used to assess design tradeoffs and to troubleshoot system timing behavior. This collection of methods is called rate monotonic analysis (RMA). The Handbook includes a framework for describing and categorizing the timing aspects of real-time systems, step-by-step techniques for performing timing analysis, numerous examples of real-time situations to which the techniques can be applied, and two case studies. A Practitioner's Handbook for Real-Time Analysis: Guide to Rate Monotonic Analysis for Real-Time Systems has been created to serve as a definitive source of information and a guide for developers as they analyze and design real-time systems using RMA. The Handbook is an excellent reference, and may be used as the text for advanced courses on the subject. Author: J.E. Cooling Covering both the fundamentals of software design and modern design methodologies, this book deals with the development of software for real-time applications. It guides the reader through the steps of a total design approach, from initial definition of the task, the fundamentals of analysis, specification and design through design methods and development tools, to documentation. A number of high level languages suitable for real-time applications are evaluated whilst software reliability and the importance of properly structured design are emphasized throughout. This book, which provides unique comparisons of different development methods and tools, is written mainly for software engineers, electronic engineers and computer scientists. However, it will be of considerable interest to engineers in other disciplines (e.g., mechanical, aeronautical, chemical and civil engineering, etc.) who are responsible for computer software and system design. Author: Hassan Gomaa of George Mason University In this book, Gomaa outlines the characteristics of concurrent, real-time, and distributed systems, describing the concepts most important in their design, and surveys the design methods available for them. Drawing on his experience in industry, he takes two related object-oriented methods - ADARTS (Ada-based Design Approach for Real-Time Systems) and CODARTS (Concurrent Design Approach for Real-Time Systems) - and shows in detail how they can be applied. Details: 441 pages, ISBN: 0-201-52577-1, published by Addison-Wesley. Authors: Yann Hang Lee and C.M. Krishna This volume is developed from a special issue of Computer magazine , the IEEE Computer Society's flagship periodical. That is, the editors have chosen articles to produce both a special issue of Computer and, subsequently, a Readings in volume. The articles in Computer provide a tutorial introduction to the subject matter, and target an audience with a broad background. The papers in this Readings in series provide a wider perspective of the subject and significantly greater coverage. Topics covered are: hard real-time architectures, real-time operating systems, real-time software, real-time databases and performance modeling. Author: Mathai Joseph, University of Warwick This exciting new book provides a detailed account of real-time systems: program structures for real-time, timing analysis using scheduling theory and specification and verification in different frameworks. The presentation makes extensive use of recent research which has demonstrated the effectiveness and applicability of mathematically based methods for real-time system design. A large case study is analyzed using different formal frameworks. The book has been used for teaching advanced courses on real-time systems and serves also as a source-book and reference. Author: Krishna M. Kavi This tutorial text includes a survey of articles specifically written for the tutorial and a collection of major research publications that address formalisms, languages, and design methodologies used in Real-time systems. The tutorial is divided into four chapters: Real-Time Systems: Perspectives , Real-Time Specification and Verification, Real-Time Languages and Real-Time Systems Design Methodologies. Author: Phillip Laplante An indispensable reference tool for practising software engineers. This comprehensive guide to the practical design and analysis of real-time systems covers the essential aspects of real-time software design including: computer architecture, operating systems, programming languages, software engineering, and systems integration. It is especially useful for new real-time systems designers who need to get "up to speed" very quickly. Author: David L. Ripps Ideal for those who have some familiarity with programming in general, this self-contained tutorial demonstrates how to write good, robust real-time programs. The guide discusses real-time programming in terms of the features and facilities of a general, real-time operating system-MTOS-UX-and uses C and Ada, the two most important languages for real-time work, to illustrate applications calls to the operating system. Topics are: summary of OS concepts and services, developing real-time, requirements, tasking, basic task services, time and time of day, event flags, message buffers and mailboxes, semaphores and controlled shared variables & task co-ordination and communication via signals, co-ordination: specific methods, general principles, memory pools, physical I/O, file system, multiprocessing, debugging and exception recovery and ada as the tasking language. Authors: Tom Shanley and Don Anderson from Mindshare. PCI System Architecture describes revision 2.1 of the Peripheral Component Interconnect (PCI) bus specification, providing a clear, concise explanation of PCI's relationship to the rest of the system. This book has been updated and revised to include in-depth treatment of PCI to PCI bridges, the PCI BIOS, the 66MHz PCI bus, and more. PCI experts Tom Shanley and Don Anderson provide a comprehensive treatment of the bus including: reflected-wave switching, shared resource acquisition, signal groups, 64-bit extension, bus arbitration, add-in cards and connectors, command set, configuration, read and write transfers, expansion ROMs, premature transaction termination and cacheable memory support. This book also examines the VLSI Technology VL82C59x chipset to illustrate an example PCI bus implementation. Authors: Ken Shumate and Marilyn Keller This book addresses the full spectrum of software specification and design in the context of the construction of large hardware/software systems with significant interaction between systems and software engineering. The disciplined approach underlying the specification and design methods provides lessons for the successful management of projects; it can provide a technical foundation for high levels of process maturity consistent with the model advanced by the Software Engineering Institute, and under development by the National Council on Systems Engineering. An important part of the presentation is the explicit consideration of the transition from requirements to design. That is, what goes on, or should go on, in the designer's mind during the process of solution (the design) of the problem (the specification). This portion of the presentation discusses how the software specification may be influenced by object-oriented concepts in order to smooth the creation of the design, and how an object-oriented design results from the combination of specification and design methods. Author: Edward Solari This is a book that provides authoritative and detailed timing specifications for the ISA and EISA Buses in a clear way. This replaces Ed's famous AT Bus Design. Contents: Architectural Overview; Memory and I/O Address Space; Generic Bus Cycles; Interaction Among ISA, E-ISA, and EISA Add-On Cards and Platform Resources; Signal Line Definition; Bus Access Cycles; DMA Transfer Bus Cycles; refresh Cycles; Arbitration Cycles; Bus Integrity; Performance; Configuration Space; Power and Initialization; Mechanical Notes; Appendices (Fast EISA, PC/96 Bus, PC/104 Bus, PCXI Passive Backplane). All with easy to understand diagrams. Authors: Edward Solari and George Willse This book covers both the hardware and software aspects of the PCI Local Bus. Free from the space limitations of a formal specification, they have gone beyond the PCI Local Bus Specification to describe conditions that you likely will meet in your day-to-day design and programming tasks. PCI Hardware and Software provides a complete PCI overview, including its relationship to the ISA bus and the Plug and Play architecture.
|
