Real-Time Systems Design and Analysis

Real-Time Systems Design and Analysis

Author: Phillip A. Laplante

Publisher: John Wiley & Sons

ISBN: 9780471648284

Category: Science

Page: 480

View: 339

Get eBOOK →
The leading guide to real-time systems design-revised and updated This third edition of Phillip Laplante's bestselling, practical guide to building real-time systems maintains its predecessors' unique holistic, systems-based approach devised to help engineers write problem-solving software. Dr. Laplante incorporates a survey of related technologies and their histories, complete with time-saving practical tips, hands-on instructions, C code, and insights into decreasing ramp-up times. Real-Time Systems Design and Analysis, Third Edition is essential for students and practicing software engineers who want improved designs, faster computation, and ultimate cost savings. Chapters discuss hardware considerations and software requirements, software systems design, the software production process, performance estimation and optimization, and engineering considerations. This new edition has been revised to include: * Up-to-date information on object-oriented technologies for real-time including object-oriented analysis, design, and languages such as Java, C++, and C# * Coverage of significant developments in the field, such as: New life-cycle methodologies and advanced programming practices for real-time, including Agile methodologies Analysis techniques for commercial real-time operating system technology Hardware advances, including field-programmable gate arrays and memory 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 an unmatched resource for students and practicing software engineers who want improved designs, faster computation, and ultimate cost savings.

Real-Time Systems

Real-Time Systems

Author: Rajib Mall

Publisher: Pearson Education India

ISBN: 8131700690

Category: Computers

Page: 248

View: 565

Get eBOOK →
The presence and use of real-time systems is becoming increasingly common. Examples of such systems range from nuclear reactors, to automotive controllers, and also entertainment software such as games and graphics animation. The growing importance of rea.

Fault-Tolerant Real-Time Systems

Fault-Tolerant Real-Time Systems

Author: Stefan Poledna

Publisher: Springer Science & Business Media

ISBN: 9780585295800

Category: Computers

Page: 147

View: 132

Get eBOOK →
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.

Specification and Compositional Verification of Real-Time Systems

Specification and Compositional Verification of Real-Time Systems

Author: Jozef Hooman

Publisher: Springer Science & Business Media

ISBN: 3540549471

Category: Computers

Page: 254

View: 824

Get eBOOK →
The research described in this monograph concerns the formal specification and compositional verification of real-time systems. A real-time programminglanguage is considered in which concurrent processes communicate by synchronous message passing along unidirectional channels. To specifiy functional and timing properties of programs, two formalisms are investigated: one using a real-time version of temporal logic, called Metric Temporal Logic, and another which is basedon extended Hoare triples. Metric Temporal Logic provides a concise notationto express timing properties and to axiomatize the programming language, whereas Hoare-style formulae are especially convenient for the verification of sequential constructs. For both approaches a compositional proof system has been formulated to verify that a program satisfies a specification. To deduce timing properties of programs, first maximal parallelism is assumed, modeling the situation in which each process has itsown processor. Next, this model is generalized to multiprogramming where several processes may share a processor and scheduling is based on priorities. The proof systems are shown to be sound and relatively complete with respect to a denotational semantics of the programming language. The theory is illustrated by an example of a watchdog timer.

Real-time Systems

Real-time Systems

Author: Wolfgang A. Halang

Publisher: World Scientific

ISBN: 9810210647

Category: Technology & Engineering

Page: 388

View: 418

Get eBOOK →
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.

DSP for Embedded and Real-Time Systems

DSP for Embedded and Real-Time Systems

Author: Robert Oshana

Publisher: Elsevier

ISBN: 9780123865366

Category: Technology & Engineering

Page: 656

View: 384

Get eBOOK →
This Expert Guide gives you the techniques and technologies in digital signal processing (DSP) to optimally design and implement your embedded system. Written by experts with a solutions focus, this encyclopedic reference gives you an indispensable aid to tackling the day-to-day problems you face in using DSP to develop embedded systems. With this book you will learn: A range of development techniques for developing DSP code Valuable tips and tricks for optimizing DSP software for maximum performance The various options available for constructing DSP systems from numerous software components The tools available for developing DSP applications Numerous practical guidelines from experts with wide and lengthy experience of DSP application development Features: Several areas of research being done in advanced DSP technology Industry case studies on DSP systems development DSP for Embedded and Real-Time Systems is the reference for both the beginner and experienced, covering most aspects of using today’s DSP techniques and technologies for designing and implementing an optimal embedded system. The only complete reference which explains all aspects of using DSP in embedded systems development making it a rich resource for every day use Covers all aspects of using today’s DSP techniques and technologies for designing and implementing an optimal embedded system Enables the engineer to find solutions to all the problems they will face when using DSP

Dynamic Reconfiguration in Real-Time Systems

Dynamic Reconfiguration in Real-Time Systems

Author: Weixun Wang

Publisher: Springer Science & Business Media

ISBN: 9781461402787

Category: Technology & Engineering

Page: 216

View: 586

Get eBOOK →
Given the widespread use of real-time multitasking systems, there are tremendous optimization opportunities if reconfigurable computing can be effectively incorporated while maintaining performance and other design constraints of typical applications. The focus of this book is to describe the dynamic reconfiguration techniques that can be safely used in real-time systems. This book provides comprehensive approaches by considering synergistic effects of computation, communication as well as storage together to significantly improve overall performance, power, energy and temperature.

Advances in Real-Time Systems

Advances in Real-Time Systems

Author: Samarjit Chakraborty

Publisher: Springer Science & Business Media

ISBN: 9783642243486

Category: Technology & Engineering

Page: 354

View: 664

Get eBOOK →
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

Real-Time Systems Engineering and Applications

Author: Michael Schiebe

Publisher: Springer Science & Business Media

ISBN: 9780792391968

Category: Computers

Page: 449

View: 445

Get eBOOK →
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.

Debugging Embedded and Real-Time Systems

Debugging Embedded and Real-Time Systems

Author: Arnold S. Berger

Publisher: Newnes

ISBN: 9780128178126

Category: Computers

Page: 302

View: 306

Get eBOOK →
Debugging Embedded and Real-Time Systems: The Art, Science, Technology and Tools of Real-Time System Debugging gives a unique introduction to debugging skills and strategies for embedded and real-time systems. Practically focused, it draws on application notes and white papers written by the companies who create design and debug tools. Debugging Embedded and Real Time Systems presents best practice strategies for debugging real-time systems, through real-life case studies and coverage of specialized tools such as logic analysis, JTAG debuggers and performance analyzers. It follows the traditional design life cycle of an embedded system and points out where defects can be introduced and how to find them and prevent them in future designs. It also studies application performance monitoring, the execution trace recording of individual applications, and other tactics to debug and control individual running applications in the multitasking OS. Suitable for the professional engineer and student, this book is a compendium of best practices based on the literature as well as the author’s considerable experience as a tools’ developer. Provides a unique reference on Debugging Embedded and Real-Time Systems Presents best practice strategies for debugging real-time systems Written by an author with many years of experience as a tools developer Includes real-life case studies that show how debugging skills can be improved Covers logic analysis, JTAG debuggers and performance analyzers that are used for designing and debugging embedded systems

Structured Development for Real-Time Systems

Structured Development for Real-Time Systems

Author: Paul T. Ward

Publisher: Pearson Education

ISBN: 9780768685176

Category: Computers

Page: 229

View: 820

Get eBOOK →
Real-time and embedded systems are in widespread use in the modern world. From the microprocessor controller in a camera, through "smart" traffic lights and production control systems, to large defense systems, computer technology is increasingly a part of systems that control and respond to their environments in real-time. As the technology has improved, we have come to rely on these systems more and more --- we have even put our lives in their hands. Airplanes, biomedical accelerators, nuclear power plants, and the like all depend on real-time control to operate safely. A failure in a control system, such as not responding correctly to faults in the environment, could endanger many lives. Unfortunately, there is a tendency for developers to focuse too heavily on the intrcacies of the engineering and computer technology, to the detriment of understanding the real-world problem at hand. At best, this wastes time and resouces and at worst it is dangerous in light of the life-critical nature of today's systems. This misplaced focus can result at least partly from the lack of a comprehensive set of modeling tools and techniques fitted to the real-time development environment. This book provides the tools and techniques needed for visualizing and verifying the operation of a real-time system prior to construction, and demonstrates their usefulness.