Real-Time Systems, Kopetz

Автор: Qing Li
Название: Real-Time Concepts for Embedded Systems
ISBN: 1578201241 ISBN-13(EAN): 9781578201242
Издательство: Taylor&Francis
Рейтинг:
Цена: 60220.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: `... a very good balance between the theory and practice of real-time embedded system designs.` -Jun-ichiro itojun Hagino, Ph.D., Research Laboratory, Internet Initiative Japan Inc

Автор: Bertolotti
Название: Real-Time Embedded Systems
ISBN: 1439841543 ISBN-13(EAN): 9781439841549
Издательство: Taylor&Francis
Рейтинг:
Цена: 224570.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: From the Foreword: "…the presentation of real-time scheduling is probably the best in terms of clarity I have ever read in the professional literature. Easy to understand, which is important for busy professionals keen to acquire (or refresh) new knowledge without being bogged down in a convoluted narrative and an excessive detail overload. The authors managed to largely avoid theoretical-only presentation of the subject, which frequently affects books on operating systems. … an indispensable [resource] to gain a thorough understanding of the real-time systems from the operating systems perspective, and to stay up to date with the recent trends and actual developments of the open-source real-time operating systems." —Richard Zurawski, ISA Group, San Francisco, California, USA Real-time embedded systems are integral to the global technological and social space, but references still rarely offer professionals the sufficient mix of theory and practical examples required to meet intensive economic, safety, and other demands on system development. Similarly, instructors have lacked a resource to help students fully understand the field. The information was out there, though often at the abstract level, fragmented and scattered throughout literature from different engineering disciplines and computing sciences. Accounting for readers’ varying practical needs and experience levels, Real Time Embedded Systems: Open-Source Operating Systems Perspective offers a holistic overview from the operating-systems perspective. It provides a long-awaited reference on real-time operating systems and their almost boundless application potential in the embedded system domain. Balancing the already abundant coverage of operating systems with the largely ignored real-time aspects, or "physicality," the authors analyze several realistic case studies to introduce vital theoretical material. They also discuss popular open-source operating systems—Linux and FreRTOS, in particular—to help embedded-system designers identify the benefits and weaknesses in deciding whether or not to adopt more traditional, less powerful, techniques for a project.

Автор: Mikael Berndtsson; J?rgen Hansson
Название: Active and Real-Time Database Systems (ARTDB-95)
ISBN: 3540199837 ISBN-13(EAN): 9783540199830
Издательство: Springer
Рейтинг:
Цена: 121110.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: These conference proceedings cover topics such as: the impact of active databases on commercial practice; the optimization of active database transactions; the need for better language, compiler and tool support for real-time databases; and more.

Автор: Paul Lokuciejewski; Peter Marwedel
Название: Worst-Case Execution Time Aware Compilation Techniques for Real-Time Systems
ISBN: 9400733682 ISBN-13(EAN): 9789400733688
Издательство: Springer
Рейтинг:
Цена: 130590.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book 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.

Автор: Benny Akesson; Kees Goossens
Название: Memory Controllers for Real-Time Embedded Systems
ISBN: 1461430097 ISBN-13(EAN): 9781461430094
Издательство: Springer
Рейтинг:
Цена: 113180.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Verification of real-time requirements in systems-on-chip becomes more complex as applications are integrated. This book explains the concepts of predictability and composability, and shows how to apply them to the design and analysis of a memory controller.

Автор: Cooling Jim
Название: The Complete Edition - Software Engineering for Real-Time Systems
ISBN: 1839216581 ISBN-13(EAN): 9781839216589
Издательство: Неизвестно
Рейтинг:
Цена: 60070.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: With this book, you will learn the fundamentals of developing a real-time system. The book relies heavily on diagrams to make the learning process easier and more interesting for you.

Автор: Reinhard Gotzhein
Название: Real-time Communication Protocols for Multi-hop Ad-hoc Networks
ISBN: 3030333183 ISBN-13(EAN): 9783030333188
Издательство: Springer
Рейтинг:
Цена: 55890.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book focuses on core functionalities for wireless real-time multi-hop networking with TDMA (time-division multiple access) and their integration into a flexible, versatile, fully operational, self-contained communication system. The use of wireless real-time communication technologies for the flexible networking of sensors, actuators, and controllers is a crucial building block for future production and control systems. WirelessHART and ISA 100.11a, two technologies that have been developed predominantly for industrial use, are currently available. However, a closer analysis of these approaches reveals certain deficits. Current research on wireless real-time communication systems shows potential to remove these limitations, resulting in flexible, versatile, and robust solutions that can be implemented on today’s low-cost and resource-constrained hardware platforms.Unlike other books on wireless communication, this book presents protocols located on MAC layer and above, and build on the physical (PHY) layer of standard wireless communication technologies.

Автор: Edward Curry
Название: Real-time Linked Dataspaces
ISBN: 3030296644 ISBN-13(EAN): 9783030296643
Издательство: Springer
Рейтинг:
Цена: 46570.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This open access book explores the dataspace paradigm as a best-effort approach to data management within data ecosystems.

Автор: Cliff Jones; Ji Wang; Naijun Zhan
Название: Symposium on Real-Time and Hybrid Systems
ISBN: 3030014606 ISBN-13(EAN): 9783030014605
Издательство: Springer
Рейтинг:
Цена: 46570.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This volume is published in honor of Professor Chaochen Zhou’s 80th birthday. The Festschrift contains 13 refereed papers by leading researchers who were among the participants of the celebratory conference in Changsha, China that took place in October 2017. The papers cover a broad spectrum of subjects related to Formal Methods for the development of computer systems. Topics include Probabilistic Programming, Concurrency, Quantum Computing, Domain Engineering, Real-time and Hybrid Systems, and Cloud Computing. Chaochen Zhou is internationally recognized for his own contributions and for the wide influence that he has had through his appointments in Oxford (UK) where he collaborated with Professor Tony Hoare, Lyngby (Denmark) where he worked with Professor Dines Bj?rner, UNU-IIST (Macau) where he moved from being Principal Research Fellow to his appointed as Director of the Institute, as well as in Beijing. His book on the Duration Calculus (joint with Michael Hansen) made a seminal contribution to specifying and reasoning about real-time systems. Chaochen Zhou’s contributions have been marked by his election as a member of the Chinese Academy of Sciences.

Автор: Zhe Ma; Pol Marchal; Daniele Paolo Scarpazza; Peng
Название: Systematic Methodology for Real-Time Cost-Effective Mapping of Dynamic Concurrent Task-Based Systems on Heterogenous Platforms
ISBN: 1402063288 ISBN-13(EAN): 9781402063282
Издательство: Springer
Рейтинг:
Цена: 135090.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: A genuinely useful text that gives an overview of the state-of-the-art in system-level design trade-off explorations for concurrent tasks running on embedded heterogeneous multiple processors. This material is mainly based on research at IMEC and its international university network partners in this area over the last decade.

Автор: Bengt Jonsson; Joachim Parrow
Название: Formal Techniques in Real-Time and Fault-Tolerant Systems
ISBN: 3540616489 ISBN-13(EAN): 9783540616481
Издательство: Springer
Рейтинг:
Цена: 83850.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: These conference proceedings contain 22 revised full papers, three invited contributions and five tools demonstrations. The papers are organized into sections on state charts, timed automata, duration calculus, case studies, scheduling, fault tolerance, specification, and verification.

Автор: Hans Langmaack; Willem-Paul de Roever; Jan Vytopil
Название: Formal Techniques in Real-Time and Fault-Tolerant Systems
ISBN: 3540584684 ISBN-13(EAN): 9783540584681
Издательство: Springer
Рейтинг:
Цена: 121110.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This volume describes how formal techniques constitute the foundation for the design of real-time, fault-tolerant and hybrid systems. It explores their use throughout the entire engineering process, from specification and design through coding and computation to the hardware itself.