Real-Time Systems Development

Author: Rob Williams

Publisher: Elsevier

ISBN: 0080456405

Category: Computers

Page: 320

View: 5386

DOWNLOAD NOW »
Real-Time Systems Development introduces computing students and professional programmers to the development of software for real-time applications. Based on the academic and commercial experience of the author, the book is an ideal companion to final year undergraduate options or MSc modules in the area of real-time systems design and implementation. Assuming a certain level of general systems design and programming experience, this text will extend students’ knowledge and skills into an area of computing which has increasing relevance in a modern world of telecommunications and ‘intelligent’ equipment using embedded microcontrollers. This book takes a broad, practical approach in discussing real-time systems. It covers topics such as basic input and output; cyclic executives for bare hardware; finite state machines; task communication and synchronization; input/output interfaces; structured design for real-time systems; designing for multitasking; UML for real-time systems; object oriented approach to real-time systems; selecting languages for RTS development; Linux device drivers; and hardware/software co-design. Programming examples using GNU/Linux are included, along with a supporting website containing slides; solutions to problems; and software examples. This book will appeal to advanced undergraduate Computer Science students; MSc students; and, undergraduate software engineering and electronic engineering students. * Concise treatment delivers material in manageable sections * Includes handy glossary, references and practical exercises based on familiar scenarios * Supporting website contains slides, solutions to problems and software examples

Real-Time Systems Design and Analysis

Author: Phillip A. Laplante

Publisher: John Wiley & Sons

ISBN: 9780471648284

Category: Science

Page: 480

View: 3354

DOWNLOAD NOW »
The leading guide to real-time systems design-revised andupdated This third edition of Phillip Laplante's bestselling, practicalguide to building real-time systems maintains its predecessors'unique holistic, systems-based approach devised to help engineerswrite problem-solving software. Dr. Laplante incorporates a surveyof related technologies and their histories, complete withtime-saving practical tips, hands-on instructions, C code, andinsights into decreasing ramp-up times. Real-Time Systems Design and Analysis, Third Edition is essentialfor students and practicing software engineers who want improveddesigns, faster computation, and ultimate cost savings. Chaptersdiscuss hardware considerations and software requirements, softwaresystems design, the software production process, performanceestimation and optimization, and engineering considerations. This new edition has been revised to include: * Up-to-date information on object-oriented technologies forreal-time including object-oriented analysis, design, and languagessuch as Java, C++, and C# * Coverage of significant developments in the field, such as: New life-cycle methodologies and advanced programming practices forreal-time, including Agile methodologies Analysis techniques for commercial real-time operating systemtechnology Hardware advances, including field-programmable gate arrays andmemory technology * Deeper coverage of: Scheduling and rate-monotonic theories Synchronization and communication techniques Software testing and metrics Real-Time Systems Design and Analysis, Third Edition remains anunmatched resource for students and practicing software engineerswho want improved designs, faster computation, and ultimate costsavings.

Real-Time Systems

Scheduling, Analysis, and Verification

Author: Albert M. K. Cheng

Publisher: John Wiley & Sons

ISBN: 0471460842

Category: Computers

Page: 552

View: 3122

DOWNLOAD NOW »
The first book to provide a comprehensive overview of the subject rather than a collection of papers. The author is a recognized authority in the field as well as an outstanding teacher lauded for his ability to convey these concepts clearly to many different audiences. A handy reference for practitioners in the field.

Real-Time Systems

Design Principles for Distributed Embedded Applications

Author: Hermann Kopetz

Publisher: Springer Science & Business Media

ISBN: 9781441982377

Category: Computers

Page: 378

View: 7087

DOWNLOAD NOW »
"This book is a comprehensive text for the design of safety critical, hard real-time embedded systems. It offers a splendid example for the balanced, integrated treatment of systems and software engineering, helping readers tackle the hardest problems of advanced real-time system design, such as determinism, compositionality, timing and fault management. This book is an essential reading for advanced undergraduates and graduate students in a wide range of disciplines impacted by embedded computing and software. Its conceptual clarity, the style of explanations and the examples make the abstract concepts accessible for a wide audience." Janos Sztipanovits, Director E. Bronson Ingram Distinguished Professor of Engineering Institute for Software Integrated Systems Vanderbilt University Real-Time Systems focuses on hard real-time systems, which are computing systems that must meet their temporal specification in all anticipated load and fault scenarios. The book stresses the system aspects of distributed real-time applications, treating the issues of real-time, distribution and fault-tolerance from an integral point of view. A unique cross-fertilization of ideas and concepts between the academic and industrial worlds has led to the inclusion of many insightful examples from industry to explain the fundamental scientific concepts in a real-world setting. Compared to the first edition, new developments in complexity management, energy and power management, dependability, security, and the internet of things, are addressed. The book is written as a standard textbook for a high-level undergraduate or graduate course on real-time embedded systems or cyber-physical systems. Its practical approach to solving real-time problems, along with numerous summary exercises, makes it an excellent choice for researchers and practitioners alike.

Soft Real-Time Systems: Predictability vs. Efficiency

Predictability Vs. Efficiency

Author: Giorgio Buttazzo,Giuseppe Lipari,Luca Abeni,Marco Caccamo

Publisher: Springer Science & Business Media

ISBN: 9780387237015

Category: Computers

Page: 275

View: 7402

DOWNLOAD NOW »
Hard real-time systems are very predictable, but not sufficiently flexible to adapt to dynamic situations. This monograph provides methods for building flexible, predictable soft real-time systems, in order to optimize resources and reduce costs. It is a useful reference for developers, as well as researchers and students in Computer Science.

Structured Development for Real-Time Systems, Vol. III

Implementation Modeling Techniques

Author: Paul T. Ward,Stephen J. Mellor

Publisher: Pearson Education

ISBN: 0768685214

Category: Computers

Page: 168

View: 8821

DOWNLOAD NOW »
In the first two volumes of Structured Development for Real Time Systems, authors Paul Ward and Stephen Mellor described a comprehensive modeling notation and a set of guidelines for using the notation to build an essential model. In this final volume, the guidelines are extended to encompass the building of an implementation model, and the notation is extended to include a hierarchical description of code organization.

Advances in Real-Time Systems

Author: Samarjit Chakraborty,Jörg Eberspächer

Publisher: Springer Science & Business Media

ISBN: 3642243487

Category: Technology & Engineering

Page: 358

View: 3017

DOWNLOAD NOW »
This volume contains the lectures given in honor to Georg Färber as tribute to his contributions in the area of real-time and embedded systems. The chapters of many leading scientists cover a wide range of aspects, like robot or automotive vision systems or medical aspects.

Real-Time Systems Engineering and Applications

Engineering and Applications

Author: Michael Schiebe,Saskia Pferrer

Publisher: Springer Science & Business Media

ISBN: 0585323143

Category: Computers

Page: 444

View: 4674

DOWNLOAD NOW »
Real-Time Systems Engineering and Applications is a well-structured collection of chapters pertaining to present and future developments in real-time systems engineering. After an overview of real-time processing, theoretical foundations are presented. The book then introduces useful modeling concepts and tools. This is followed by concentration on the more practical aspects of real-time engineering with a thorough overview of the present state of the art, both in hardware and software, including related concepts in robotics. Examples are given of novel real-time applications which illustrate the present state of the art. The book concludes with a focus on future developments, giving direction for new research activities and an educational curriculum covering the subject. This book can be used as a source for academic and industrial researchers as well as a textbook for computing and engineering courses covering the topic of real-time systems engineering.

Real-time Systems and Programming Languages

Ada 95, Real-time Java, and Real-time POSIX

Author: Alan Burns,Andrew J. Wellings

Publisher: Pearson Education

ISBN: 9780201729887

Category: Computers

Page: 738

View: 1648

DOWNLOAD NOW »
Introduction to real-time systems - Designing real-time systems - Programming in the small - Programming in the large - Reliability and fault tolerance - Exceptions and exception handling - Concurrent programming - Shared variable-based synchronization and communication - Message-based synchronization and communication - Atomic actions, concurrent processes and reliability - Resource control - Real-time facilities - Scheduling - Distributed systems - Low-level programming - The execution environment - A case study in ada.

Realtime Systems

Author: Nimal Nissanke

Publisher: N.A

ISBN: 9780136512745

Category: Computers

Page: 441

View: 8625

DOWNLOAD NOW »
Real-Time computing is one of th most demanding and challenging areas in computing. It is also of great importance, since real-time software is indispensable to all ultra-reliable and safety critical applications. The objective of this book is to provide an introduction to the whole area of real-time computing. Although it boundaries are bit well defined, the body of knowledge relevant to the study of real-time systems encompasses a whole range of topics. There are issues such as clocks, specificiation, design and modelling of real-time systems which are exclusive to the study of real-time systems. There are also a number of fairly independant topics having applications outside real-time systems, but with a deinite real-time dimension. The book supplies a framework for the study of real-time systems, facilitating a higher level of abstraction and a sharper focus on concepts and issued. Invariably this framework relies on mathematics, but the mathematics are explained and kept to the minimum. Most chapters are self contained and each deals with a separate topic. The exceptions are Chapters 2 &4 since they contain notations and concepts used elsewhere. The occasional cross reference between chapters are intended to underlinethe coherence of the material rather than the depence of topics.

Deadline Scheduling for Real-Time Systems

EDF and Related Algorithms

Author: John A. Stankovic,Marco Spuri,Krithi Ramamritham,Giorgio Buttazzo

Publisher: Springer Science & Business Media

ISBN: 9780792382690

Category: Computers

Page: 273

View: 1970

DOWNLOAD NOW »
Many real-time systems rely on static scheduling algorithms. This includes cyclic scheduling, rate monotonic scheduling and fixed schedules created by off-line scheduling techniques such as dynamic programming, heuristic search, and simulated annealing. However, for many real-time systems, static scheduling algorithms are quite restrictive and inflexible. For example, highly automated agile manufacturing, command, control and communications, and distributed real-time multimedia applications all operate over long lifetimes and in highly non-deterministic environments. Dynamic real-time scheduling algorithms are more appropriate for these systems and are used in such systems. Many of these algorithms are based on earliest deadline first (EDF) policies. There exists a wealth of literature on EDF-based scheduling with many extensions to deal with sophisticated issues such as precedence constraints, resource requirements, system overload, multi-processors, and distributed systems. Deadline Scheduling for Real-Time Systems: EDF and Related Algorithms aims at collecting a significant body of knowledge on EDF scheduling for real-time systems, but it does not try to be all-inclusive (the literature is too extensive). The book primarily presents the algorithms and associated analysis, but guidelines, rules, and implementation considerations are also discussed, especially for the more complicated situations where mathematical analysis is difficult. In general, it is very difficult to codify and taxonomize scheduling knowledge because there are many performance metrics, task characteristics, and system configurations. Also, adding to the complexity is the fact that a variety of algorithms have been designed for different combinations of these considerations. In spite of the recent advances there are still gaps in the solution space and there is a need to integrate the available solutions. For example, a list of issues to consider includes: preemptive versus non-preemptive tasks, uni-processors versus multi-processors, using EDF at dispatch time versus EDF-based planning, precedence constraints among tasks, resource constraints, periodic versus aperiodic versus sporadic tasks, scheduling during overload, fault tolerance requirements, and providing guarantees and levels of guarantees (meeting quality of service requirements). Deadline Scheduling for Real-Time Systems: EDF and Related Algorithms should be of interest to researchers, real-time system designers, and instructors and students, either as a focussed course on deadline-based scheduling for real-time systems, or, more likely, as part of a more general course on real-time computing. The book serves as an invaluable reference in this fast-moving field.

Theories and Experiences for Real-Time System Development

Author: Teodor Rus,Charles Rattray

Publisher: World Scientific

ISBN: 9814501468

Category: Computers

Page: 444

View: 9299

DOWNLOAD NOW »
Our understanding of real-time systems is rapidly approaching a level of maturity which calls for a consolidation of our present knowledge and experience. Particularly effective in influencing our understanding has been the conjoining of universal algebra with the theory and practice of real-time system development. This interplay between algebraic methodology and software technology (AMAST) for real-time systems is the theme for this text. Each chapter, derived from papers presented at the all-invitation 1st AMAST International Workshop on Real-Time Systems (Iowa, 1993), is written by leaders in their field. The chapters form an intriguing mix of modeling, specification, verification, and implementation of “real” real-time systems. They cover untimed and timed systems, sequential, concurrent and embedded real-time processes, integrated models using state machines, temporal logic and algebraic data models, real-time CSP, verification tools, system design using temporal logic, symbolic checking of discrete time models, iterative symbolic approximation in timing verification and verification of audio protocols, timed full LOTOS and timed LOTOS extensions, LOTOS specification of telephone services and flight warning computers, and performance analysis. Contents:Real-Time System = Discrete System + Clock VariablesReal-Time CSPVisual Tools for Verifying Real-Time SystemsDesigning Supervisors for Real-Time SystemsReal-Time Symbolic Model Checking for Discrete Time ModelsVerification of an Audio Control ProtocolApproximations for Verifying Timing PropertiesA Timed Full LOTOS with Time/Action Tree SemanticsA Timed LOTOS ExtensionStatus-Oriented Telephone Service SpecificationExperimenting with LOTOS in the Aerospace IndustryPerformance Analysis and True Concurrency SemanticsState Machines, Temporal Logic and Algebraic Data ModelsAn Experiment in Developing Real-Time Systems Using Mec Readership: Computer scientists and software engineers. keywords:System, Time;Temporal Logic;Real Time System;Verification;Model Checking;Symbolic Model Checking;Control Protocol;Timing Properties;Performance Analysis;LOTOS;LOTOS Extension;State Machine;Visual Tools;Supervisory Tools;MEC System “… an interesting combination of papers devoted to the formal specification and verification of real-time systems. The diversity of approaches and the treatment of the subject from various angles work very much in its favour … recommend the book to anyone interested in the formal description of real-time systems' behavior.” Control Engineering Practice

Structured Development for Real-time Systems

Author: Paul T. Ward,Stephen J. Mellor

Publisher: Prentice Hall

ISBN: N.A

Category: Computers

Page: 168

View: 7178

DOWNLOAD NOW »
In the first two volumes of Structured Development for Real Time Systems, authors Paul Ward and Stephen Mellor described a comprehensive modeling notation and a set of guidelines for using the notation to build an essential model. In this final volume, the guidelines are extended to encompass the building of an implementation model, and the notation is extended to include a hierarchical description of code organization.

Real-Time Systems in Mechatronic Applications

Author: Jan Wikander,Bertil Svensson

Publisher: Springer Science & Business Media

ISBN: 0585352232

Category: Computers

Page: 136

View: 3487

DOWNLOAD NOW »
Real-Time Systems in Mechatronic Applications brings together in one place important contributions and up-to-date research results in this fast moving area. Real-Time Systems in Mechatronic Applications serves as an excellent reference, providing insight into some of the most challenging research issues in the field.

Worst-Case Execution Time Aware Compilation Techniques for Real-Time Systems

Author: Paul Lokuciejewski,Peter Marwedel

Publisher: Springer Science & Business Media

ISBN: 9789048199297

Category: Technology & Engineering

Page: 262

View: 4860

DOWNLOAD NOW »
For real-time systems, the worst-case execution time (WCET) is the key objective to be considered. Traditionally, code for real-time systems is generated without taking this objective into account and the WCET is computed only after code generation. Worst-Case Execution Time Aware Compilation Techniques for Real-Time Systems presents the first comprehensive approach integrating WCET considerations into the code generation process. Based on the proposed reconciliation between a compiler and a timing analyzer, a wide range of novel optimization techniques is provided. Among others, the techniques cover source code and assembly level optimizations, exploit machine learning techniques and address the design of modern systems that have to meet multiple objectives. Using these optimizations, the WCET of real-time applications can be reduced by about 30% to 45% on the average. This opens opportunities for decreasing clock speeds, costs and energy consumption of embedded processors. The proposed techniques can be used for all types real-time systems, including automotive and avionics IT systems.

Formal Methods for the Design of Real-Time Systems

International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-RT 2004. Revised Lectures

Author: International School on Formal Methods f,Marco Bernardo

Publisher: Springer Science & Business Media

ISBN: 3540230688

Category: Computers

Page: 293

View: 4005

DOWNLOAD NOW »
This book presents the revised versions of nine invited lectures presented by leading researchers at the fourth edition of the International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFT 2004, held in Bertinoro, Italy, September 2004. SFM 2004 is devoted to real-time systems. The lectures presented cover formal models and languages for the specification, modeling, analysis, and verification of time-critical systems, the expressiveness of such models and languages, as well as supporting tools and related applications in different domains. The book offers a unique and comprehensive state-of-the-art survey on real-time systems. Researchers and advanced students will appreciate the book as a valuable source of reference and a systematic guide to the use of formal methods for the specification, analysis, and verification of real-time systems.

Real-time Design Patterns

Robust Scalable Architecture for Real-time Systems

Author: Bruce Powel Douglass

Publisher: Addison-Wesley Professional

ISBN: 9780201699562

Category: Computers

Page: 500

View: 2038

DOWNLOAD NOW »
This revised and enlarged edition of a classic in Old Testament scholarship reflects the most up-to-date research on the prophetic books and offers substantially expanded discussions of important new insight on Isaiah and the other prophets.