Real-Time Systems

Design Principles for Distributed Embedded Applications

Author: Hermann Kopetz

Publisher: Springer Science & Business Media

ISBN: 9781441982377

Category: Computers

Page: 378

View: 3279

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.

Real-Time Systems

Author: Jane W. S. Liu

Publisher: N.A

ISBN: 9780130996510

Category: Computers

Page: 610

View: 7284

DOWNLOAD NOW »
This valuable reference provides a comprehensive treatment of the technology known as RMA (rate-monotonic analysis) method. It also covers the tremendous recent advances in real-time operating systems and communications networks—emphasizing research results that have been adopted in state-of-the-art systems. Describing how and discussing why, this book uses insightful illustrative examples to convey technology transition in the last ten years. Coverage includes commonly used approaches to hard real-time scheduling, clock-driven scheduling, scheduling aperiodic and sporadic jobs in priority-driven systems, resources and resource access control, real-time communications, and operating systems. For systems architects, designers, chief scientists and technologists, and systems analysts.

Real-Time Systems Design and Analysis

Author: Phillip A. Laplante

Publisher: John Wiley & Sons

ISBN: 9780471648284

Category: Science

Page: 480

View: 5280

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 Development

Author: Rob Williams

Publisher: Elsevier

ISBN: 0080456405

Category: Computers

Page: 320

View: 3370

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

Modeling and Verification of Real-time Systems

Formalisms and Software Tools

Author: Nicolas Navet,Stephan Merz

Publisher: John Wiley & Sons

ISBN: 1118623959

Category: Science

Page: 448

View: 1498

DOWNLOAD NOW »
This title is devoted to presenting some of the most importantconcepts and techniques for describing real-time systems andanalyzing their behavior in order to enable the designer to achieveguarantees of temporal correctness. Topics addressed include mathematical models of real-timesystems and associated formal verification techniques such as modelchecking, probabilistic modeling and verification, programming anddescription languages, and validation approaches based on testing.With contributions from authors who are experts in their respectivefields, this will provide the reader with the state of the art informal verification of real-time systems and an overview ofavailable software tools.

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: 1332

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.

Real-Time Systems

Scheduling, Analysis, and Verification

Author: Albert M. K. Cheng

Publisher: John Wiley & Sons

ISBN: 0471460842

Category: Computers

Page: 552

View: 7416

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

Implementation of Industrial Computerised Process Automation

Author: Wolfgang A. Halang,Krzysztof M. Sacha

Publisher: World Scientific

ISBN: 9789810210649

Category: Technology & Engineering

Page: 353

View: 3331

DOWNLOAD NOW »
This book represents the first comprehensive text in English on real-time and embedded computing systems. It is addressed to engineering students of universities and polytechnics as well as to practitioners and provides the knowledge required for the implementation of industrial computerized process control and manufacturing automation systems. The book avoids mathematical treatment and supports the relevance of the concepts introduced by practical examples and case studies. Special emphasis is placed on a sound conceptual basis and on methodologies and tools for the development of high quality control software, since software dependability has been identified as the major problem area of computerized process automation.

Real-Time Systems in Mechatronic Applications

Author: Jan Wikander,Bertil Svensson

Publisher: Springer Science & Business Media

ISBN: 0585352232

Category: Computers

Page: 136

View: 4941

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.

Fault-Tolerant Real-Time Systems

The Problem of Replica Determinism

Author: Stefan Poledna

Publisher: Springer Science & Business Media

ISBN: 0585295808

Category: Computers

Page: 147

View: 3520

DOWNLOAD NOW »
Real-time computer systems are very often subject to dependability requirements because of their application areas. Fly-by-wire airplane control systems, control of power plants, industrial process control systems and others are required to continue their function despite faults. Fault-tolerance and real-time requirements thus constitute a kind of natural combination in process control applications. Systematic fault-tolerance is based on redundancy, which is used to mask failures of individual components. The problem of replica determinism is thereby to ensure that replicated components show consistent behavior in the absence of faults. It might seem trivial that, given an identical sequence of inputs, replicated computer systems will produce consistent outputs. Unfortunately, this is not the case. The problem of replica non-determinism and the presentation of its possible solutions is the subject of Fault-Tolerant Real-Time Systems: The Problem of Replica Determinism. The field of automotive electronics is an important application area of fault-tolerant real-time systems. Systems like anti-lock braking, engine control, active suspension or vehicle dynamics control have demanding real-time and fault-tolerance requirements. These requirements have to be met even in the presence of very limited resources since cost is extremely important. Because of its interesting properties Fault-Tolerant Real-Time Systems gives an introduction to the application area of automotive electronics. The requirements of automotive electronics are a topic of discussion in the remainder of this work and are used as a benchmark to evaluate solutions to the problem of replica determinism.

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: 4300

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.

Real-Time Systems

Formal Specification and Automatic Verification

Author: Ernst-Rüdiger Olderog,Henning Dierks

Publisher: Cambridge University Press

ISBN: 113947460X

Category: Computers

Page: N.A

View: 5780

DOWNLOAD NOW »
Real-time systems need to react to certain input stimuli within given time bounds. For example, an airbag in a car has to unfold within 300 milliseconds in a crash. There are many embedded safety-critical applications and each requires real-time specification techniques. This text introduces three of these techniques, based on logic and automata: duration calculus, timed automata, and PLC-automata. The techniques are brought together to form a seamless design flow, from real-time requirements specified in the duration calculus; via designs specified by PLC-automata; and into source code for hardware platforms of embedded systems. The syntax, semantics, and proof methods of the specification techniques are introduced; their most important properties are established; and real-life examples illustrate their use. Detailed case studies and exercises conclude each chapter. Ideal for students of real-time systems or embedded systems, this text will also be of great interest to researchers and professionals in transportation and automation.

Software Engineering for Real-time Systems

Author: J. E. Cooling

Publisher: Pearson Education

ISBN: 9780201596205

Category: Computers

Page: 800

View: 603

DOWNLOAD NOW »
The comprehensive coverage and real-world perspective makes the book accessible and appealing to both beginners and experienced designers. Covers both the fundamentals of software design and modern design methodologies Provides comparisons of different development methods, tools and languages Blends theory and practical experience together Emphasises the use of diagrams and is highly illustrated

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: 4682

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.

Real-time Systems' Quality of Service

Introducing Quality of Service Considerations in the Life Cycle of Real-time Systems

Author: Roman Gumzej

Publisher: Springer Science & Business Media

ISBN: 1848828489

Category: Technology & Engineering

Page: 131

View: 711

DOWNLOAD NOW »
"Real-time Systems’ Quality of Service" examines the attainability of efficiency, economy, and ease of use, which make up the quality of service of technologically advanced products. "Real-time Systems’ Quality of Service" reviews the state of the art in quality of service evaluation for real-time systems. It gives a classification of the relevant parameters for quality of service evaluation and also determines the critical points in the design and development process of real-time systems – where performance criteria should be applied or checked. Then, software development and certification standards are assessed, and finally the authors elaborate on how the suggested criteria should be applied to the design, development, and certification process of real-time systems. "Real-time Systems’ Quality of Service" will guide researchers and postgraduates in embedded and real-time systems through the process of introducing quality of service parameters into real-time systems.

Resource Management in Real-time Systems and Networks

Author: C. Siva Ram Murthy,Chebiyyam Siva Ram Murthy,G. Manimaran,G. ... Manimaran

Publisher: MIT Press

ISBN: 9780262133760

Category: Business & Economics

Page: 450

View: 5057

DOWNLOAD NOW »
This book introduces the concepts and state-of-the-art research developments of resource management in real-time systems and networks. Real-time systems and networks are of increasing importance in many applications, including automated factories, telecommunication systems, defense systems, and space systems. This book introduces the concepts and state-of-the-art research developments of resource management in real-time systems and networks. Unlike other texts in the field, it covers the entire spectrum of issues in resource management, including task scheduling in uniprocessor real-time systems; task scheduling, fault-tolerant task scheduling, and resource reclaiming in multiprocessor real-time systems; conventional task scheduling and object-based task scheduling in distributed real-time systems; message scheduling; QoS routing; dependable communication; multicast communication; and medium access protocols in real-time networks. It provides algorithmic treatments for all of the issues addressed, highlighting the intuition behind each algorithm and giving examples. The book also includes two chapters of case studies.

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: 5376

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 Engineering and Applications

Engineering and Applications

Author: Michael Schiebe,Saskia Pferrer

Publisher: Springer Science & Business Media

ISBN: 0585323143

Category: Computers

Page: 444

View: 6214

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.