Strategies For Real Time System Specification


Strategies For Real Time System Specification
Author: Derek Hatley
Publisher: Addison-Wesley
ISBN: 0133492354
Size: 68.25 MB
Format: PDF, ePub
View: 6473
Get Books

Strategies For Real Time System Specification

eBook File: Strategies-for-real-time-system-specification.PDF Book by Derek Hatley, Strategies For Real Time System Specification Books available in PDF, EPUB, Mobi Format. Download Strategies For Real Time System Specification books, This is the digital version of the printed book (Copyright © 1987). Here is a casebook, a practical reference, and an indispensable guide for creating a systematic, formal methodology for large, real-time, software-based systems. The book introduces the widely implemented Hatley/Pirbhai methods, a major extension of the DeMarco analysis method describing how external events control the system's operating behavior. The techniques are used in major avionics and electronics companies worldwide, and are automated by most major CASE tools, including TurboCASE/Sys by StructSoft, Inc. Large software-based systems, especially those for real-time applications, require multi-mode operation, direct interaction with a rapidly changing physical environment, and fast response times. In the past, the development of such systems was prone to massive cost and schedule overruns, and to inadequate performance and reliability. Strategies for Real-Time System Specification addresses these problems by integrating a finite-state machine structure into classical analysis methods. The book contains nearly 200 diagrams, many of which illustrate the requirements specification of a flight management system for a major avionics developer.


Strategies for Real-Time System Specification
Language: en
Pages: 440
Authors: Derek Hatley, Imtiaz Pirbhai
Categories: Computers
Type: BOOK - Published: 2013-07-19 - Publisher: Addison-Wesley
This is the digital version of the printed book (Copyright © 1987). Here is a casebook, a practical reference, and an indispensable guide for creating a systematic, formal methodology for large, real-time, software-based systems. The book introduces the widely implemented Hatley/Pirbhai methods, a major extension of the DeMarco analysis method describing how external events control the system's operating behavior. The techniques are used in major avionics and electronics companies worldwide, and are automated by most major CASE tools, including TurboCASE/Sys by StructSoft, Inc. Large software-based systems, especially those for real-time applications, require multi-mode operation, direct interaction with a rapidly changing physical environment, and fast response times. In the past, the development of such systems was prone to massive cost and schedule overruns, and to inadequate performance and reliability. Strategies for Real-Time System Specification addresses these problems by integrating a finite-state machine structure into classical analysis methods. The book contains nearly 200 diagrams, many of which illustrate the requirements specification of a flight management system for a major avionics developer.
Requirements-Engineering systematisch
Language: de
Pages: 328
Authors: Helmuth Partsch
Categories: Computers
Type: BOOK - Published: 2013-03-14 - Publisher: Springer-Verlag
Books about Requirements-Engineering systematisch
Fourth Euromicro Workshop on Real Time Systems
Language: en
Pages: 208
Authors: Institute of Electrical and Electronics Engineers, IEEE Computer Society
Categories: Real-time data processing
Type: BOOK - Published: 1992 - Publisher: IEEE Computer Society
The proceedings of the workshop held in Athens, Greece, June 1992, comprise papers on topics in: hardware architectures for embedded systems, transputers and their applications, languages and operating systems, communication systems for real-time control, timed process algebras, real-time logics and"
Real-Time Systems
Language: en
Pages: 329
Authors: Ian Pyle, Peter Hruschka, Ken Jackson, Michel Lissandre
Categories: Computers
Type: BOOK - Published: 1993-08-31 - Publisher: John Wiley & Sons Incorporated
The result of a large research project conducted by a multinational team of practicing systems developers. Using an industrial perspective, they describe problems encountered in the creation of real-time systems. Demonstrates the deficiencies of the tools and techniques available along with problems to be overcome. Includes actual case studies which provide insights to necessary solutions.
Real-time Systems Education III
Language: en
Pages: 162
Authors: Jerzy Nawrocki, Jean-Jacques Schwarz, Janusz Zalewski
Categories: Computers
Type: BOOK - Published: 1999 - Publisher: IEEE
Poznan, Poland was selected as the site of the third annual workshop on this topic to coincide with the Software Engineering Education Symposium (SEES'98), and also to establish an international presence in Central Europe "although we are not an event on the scale of olympic games." Twenty-six participants (pictured) present papers related to: real-time systems programs and curricula, teaching RT systems design and verification, components of RT labs, RT systems in control engineering education and in other disciplines. Also includes invited talks on RT devices at practical prices and the essentials of RT education. For the uninitiated, IEEE stands for the Institute of Electrical and Electronic Engineers. Author index only. Annotation copyrighted by Book News, Inc., Portland, OR.
Process for System Architecture and Requirements Engineering
Language: en
Pages: 456
Authors: Derek Hatley, Peter Hruschka, Imtiaz Pirbhai
Categories: Computers
Type: BOOK - Published: 2013-08-02 - Publisher: Addison-Wesley
This is the digital version of the printed book (Copyright © 2000). Derek Hatley and Imtiaz Pirbhai—authors of Strategies for Real-Time System Specification—join with influential consultant Peter Hruschka to present a much anticipated update to their widely implemented Hatley/Pirbhai methods. Process for System Architecture and Requirements Engineering introduces a new approach that is particularly useful for multidisciplinary system development: It applies equally well to all technologies and thereby provides a common language for developers in widely differing disciplines. The Hatley-Pirbhai-Hruschka approach (H/H/P) has another important feature: the coexistence of the requirements and architecture methods and of the corresponding models they produce. These two models are kept separate, but the approach fully records their ongoing and changing interrelationships. This feature is missing from virtually all other system and software development methods and from CASE tools that only automate the requirements model. System managers, system architects, system engineers, and managers and engineers in all of the diverse engineering technologies will benefit from this comprehensive, pragmatic text. In addition to its models of requirements and architecture and of the development process itself, the book uses in-depth case studies of a hospital monitoring system and of a multidisciplinary groundwater analysis system to illustrate the
Real-Time Technology and Applications
Language: en
Pages: 272
Authors: Institute of Electrical and Electronics Engineers, Inc. Staff
Categories: Computers
Type: BOOK - Published: 1995-02-28 - Publisher: Institute of Electrical & Electronics Engineers(IEEE)
The purpose of the May 1995 symposium was to bring together developers and researchers from universities, industry, and government to advance real-time technology and its applications. The proceedings comprise papers and posters that reflect recent developments in operating systems and scheduling, f
Proceedings, Third International Workshop on Object-oriented Real-time Dependable Systems
Language: en
Pages: 356
Authors: Institute of Electrical and Electronics Engineers, Inc. Staff
Categories: Computers
Type: BOOK - Published: 1997 - Publisher: IEEE Computer Society
Proceedings of the February 1997 workshop, WORDS'97, include one panel discussion--selecting quality of service in a heterogeneous environment: bandwidth, security, fault tolerance and real-time behavior. The rest of the 45 papers are organized in sessions on models/language, operating systems/architecture, system engineering, system validation and verification, applications, dependability and fault tolerance, and communication. Two early bird sessions covered a variety of topics, including object-based checkpoints in distributed systems and time-bounded cooperative recovery with the distributed real-time application. No index. Annotation copyrighted by Book News, Inc., Portland, OR.
Embedded Real-Time Systems
Language: en
Pages: 647
Authors: Jean Paul Calvez, Alan Wyche
Categories: Computers
Type: BOOK - Published: 1993-05-05 - Publisher: John Wiley & Sons Incorporated
Offers a comprehensive overview of real-time system design procedures and techniques for industrial and manufacturing processes plus an introduction to MCSE methodology. Includes case studies and end-of-chapter summaries of the key points covered.
Jahrbuch
Language: de
Pages:
Authors: Deutsche Gesellschaft für Luft- und Raumfahrt
Categories: Aeronautics
Type: BOOK - Published: 1998 - Publisher:
Books about Jahrbuch