HRT-HOODTM: A Structured Design Method for Hard Real-Time Ada Systems PDF Download
Are you looking for read ebook online? Search for your book and save it on your Kindle device, PC, phones or tablets. Download HRT-HOODTM: A Structured Design Method for Hard Real-Time Ada Systems PDF full book. Access full book title HRT-HOODTM: A Structured Design Method for Hard Real-Time Ada Systems by A. Burns. Download full books in PDF and EPUB format.
Author: A. Burns
Publisher: Elsevier
ISBN: 9780080551838
Category : Computers
Languages : en
Pages : 312
Get Book
Book Description
The increasing use of computers for real-time control on board spacecrafts has brought with it a greater emphasis on the development methodology used for such systems. By their nature, spacecraft control computers have to operate unattended for long periods and because of the programmatics of space, systems are subject to a long development cycle. As a result, there are two distinct concerns, the first being that the development approach guarantees functional and timing correctness, the second being that problems, particularly those associated with timing, are considered as early as possible in the spacecraft development life cycle. The European Space Agency has, for a number of years, encouraged the development of software using HOOD. It was thus a natural next step to investigate the incorporation of time within the existing HOOD framework. This has proven to be very beneficial and this book describes the approach developed by the authors for handling Hard Real-Time applications. It describes both the background scheduling theory, provides practical examples of its application to real life problems, and demonstrates how it is used in the various phases of the development of Hard Real-Time systems.
Author: A. Burns
Publisher: Elsevier
ISBN: 9780080551838
Category : Computers
Languages : en
Pages : 312
Get Book
Book Description
The increasing use of computers for real-time control on board spacecrafts has brought with it a greater emphasis on the development methodology used for such systems. By their nature, spacecraft control computers have to operate unattended for long periods and because of the programmatics of space, systems are subject to a long development cycle. As a result, there are two distinct concerns, the first being that the development approach guarantees functional and timing correctness, the second being that problems, particularly those associated with timing, are considered as early as possible in the spacecraft development life cycle. The European Space Agency has, for a number of years, encouraged the development of software using HOOD. It was thus a natural next step to investigate the incorporation of time within the existing HOOD framework. This has proven to be very beneficial and this book describes the approach developed by the authors for handling Hard Real-Time applications. It describes both the background scheduling theory, provides practical examples of its application to real life problems, and demonstrates how it is used in the various phases of the development of Hard Real-Time systems.
Author: Jean-Pierre Rosen
Publisher: Springer Science & Business Media
ISBN: 3540403760
Category : Business & Economics
Languages : en
Pages : 442
Get Book
Book Description
The refereed proceedings of the 8th International Conference on Reliable Software Technologies, Ada-Europe 2003, held in Toulouse, France in June 2003. The 29 revised full papers presented together with 3 invited papers were carefully reviewed and selected from numerous submissions. The papers are organized in topical sections on Ravenscar, language issues, static analysis, distributed information systems, software metrics, software components, formal specification, real-time kernel, software testing, and real-time systems design.
Author:
Publisher:
ISBN:
Category : Ada (Computer program language)
Languages : en
Pages : 460
Get Book
Book Description
Author:
Publisher:
ISBN:
Category : Computer networks
Languages : en
Pages : 372
Get Book
Book Description
Author: Marian Adamski
Publisher: Elsevier Science & Technology
ISBN: 9780080442037
Category : Computers
Languages : en
Pages : 220
Get Book
Book Description
Author:
Publisher:
ISBN: 9780818684302
Category : CORBA (Computer architecture)
Languages : en
Pages : 510
Get Book
Book Description
Author: Carlos Eduardo Pereira
Publisher: Pergamon
ISBN:
Category : Real-time programming
Languages : en
Pages : 166
Get Book
Book Description
Paperback. This volume contains the proceedings of the 21st IFAC/IFIP Workshop on Real Time Programming (WRTP'96) held in Gramado, Brazil on 4-6 November 1996. Over the years, this series of annual workshops has become an excellent forum for exchanging information on technological advances and practices in real time computing - a field that is rapidly becoming an essential enabling discipline in computer science and engineering.The technical programme of the workshop maintained the outstanding quality of the series and covered all the latest research and developments in scheduling, operating systems, communications, timing analysis, system development, databases, formal methods and applications. In addition to high quality papers, the programme featured three world class keynote speakers and some poster presentations. These proceedings, therefore, comprise 21 full papers, three keynote addresses and five short contributions.
Author:
Publisher:
ISBN:
Category : Computer engineering
Languages : en
Pages : 420
Get Book
Book Description
Author: Per Brinch Hansen
Publisher: Prentice Hall
ISBN:
Category : Computers
Languages : en
Pages : 396
Get Book
Book Description
The main theme of the book is that operating systems are not radically different from other programs. The difficulties encountered in the design of efficient, reliable operating systems are the same as those one encounters in the design of other large programs, such as compilers or payroll programs. This book tries to give students of computer science and professional programmers a general understanding of operating systems - the programs that enable people to share computers efficiently.
Author: R. J. A. Buhr
Publisher: Prentice Hall
ISBN:
Category : Computers
Languages : en
Pages : 282
Get Book
Book Description
