Real-Time Systems

Design Principles for Distributed Embedded Applications

Author: Hermann Kopetz

Publisher: Springer Science & Business Media

ISBN: 9781441982377

Category: Computers

Page: 378

View: 9216

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.
Release

Real-Time Systems

Author: Jane W. S. Liu

Publisher: N.A

ISBN: 9780130996510

Category: Computers

Page: 610

View: 7573

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.
Release

Constructing Predictable Real Time Systems

Author: Alexander D. Stoyenko

Publisher: Springer Science & Business Media

ISBN: 9780792392026

Category: Computers

Page: 311

View: 5544

DOWNLOAD NOW »

Vorwort In der Natur entwickelten sich die Echtzeitsysteme seit einigen 100 Mil­ Honen Jahren. Tierische Nervensysteme haben zur Aufgabe, auf die Nachrichten aus der Umwelt die Steuerungsbefehle an die aktiven Or­ gane zu geben. Dabei spielen zum Beispiel bedingte Reflexe eine wichtige Rolle. Vielleicht kann man die Entstehung des Menschen etwa zu der Zeit ansetzen, als sein sich allmahlich entwickelndes Gehirn Gedanken entwickelte, deren Bedeutung in vorausplanender Weise iiber die gerade vorliegende Situation hinausging. Das fiihrte schliesslich unter anderem zum heutigen Wissenschaftler, der seine Theorien und Systeme aufgrund langwieriger Uberlegungen aufbaut. Die Entwicklung der Computer ging im wesentlichen den umgekehrten Weg. Zunachst diente sie nur der Durchfiihrung "starrer" Programme, wie z.B. das erste programmgesteuerte Rechengerat Z3, das der Unterzeichner im Jahre 1941 vorfiihren konnte. Es folgte unter an­ derem ein Spezialgerat zur Fliigelvermessung, das man als den ersten Prozessrechner bezeichnen kann. Es wurden etwa vierzig als Analog­ Digital-Wandler arbeitende Messuhren yom Rechnerautomaten abgele­ sen und im Rahmen eines Programms als Variable verarbeitet. Abel' auch das erfolgte noch in starrer Reihenfolge. Die echte Prozesssteuerung - heute auch Echtzeitsysteme genannt - erfordert aber ein Reagieren auf bestandig wechselnde Situationen.
Release

Real-Time Systems Design and Analysis

Author: Phillip A. Laplante

Publisher: John Wiley & Sons

ISBN: 9780471648284

Category: Science

Page: 480

View: 2441

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.
Release

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

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.
Release

Soft Real-Time Systems: Predictability vs. Efficiency

Predictability vs. Efficiency

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

Publisher: Springer Science & Business Media

ISBN: 0387281479

Category: Computers

Page: 275

View: 1727

DOWNLOAD NOW »

Hard real-time systems are very predictable, but not sufficiently flexible to adapt to dynamic situations. They are built under pessimistic assumptions to cope with worst-case scenarios, so they often waste resources. Soft real-time systems are built to reduce resource consumption, tolerate overloads and adapt to system changes. They are also more suited to novel applications of real-time technology, such as multimedia systems, monitoring apparatuses, telecommunication networks, mobile robotics, virtual reality, and interactive computer games. This unique monograph provides concrete methods for building flexible, predictable soft real-time systems, in order to optimize resources and reduce costs. It is an invaluable reference for developers, as well as researchers and students in Computer Science.
Release

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

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.
Release

Real-Time Systems

Scheduling, Analysis, and Verification

Author: Albert M. K. Cheng

Publisher: John Wiley & Sons

ISBN: 0471460842

Category: Computers

Page: 552

View: 757

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.
Release

Real-Time Systems Development

Author: Rob Williams

Publisher: Elsevier

ISBN: 0080456405

Category: Computers

Page: 320

View: 1147

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
Release