Distributed Real-Time Architecture for Mixed-Criticality Systems, Ahmadian, Hamidreza
Автор: Miquel Bertran; Teodor Rus Название: Transformation-Based Reactive Systems Development ISBN: 3540630104 ISBN-13(EAN): 9783540630104 Издательство: Springer Рейтинг: Цена: 81050.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: Presented in this book are 24 papers selected from those given at an international conference on real-time systems and concurrent and distributed software. Issues in the field of formal methods for real-time systems and distributed and concurrent systems are addressed.
Автор: K. Erciyes Название: Distributed Real-Time Systems ISBN: 3030225690 ISBN-13(EAN): 9783030225698 Издательство: Springer Рейтинг: Цена: 65210.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This classroom-tested textbook describes the design and implementation of software for distributed real-time systems, using a bottom-up approach. The text addresses common challenges faced in software projects involving real-time systems, and presents a novel method for simply and effectively performing all of the software engineering steps. Each chapter opens with a discussion of the core concepts, together with a review of the relevant methods and available software. This is then followed with a description of the implementation of the concepts in a sample kernel, complete with executable code.Topics and features: introduces the fundamentals of real-time systems, including real-time architecture and distributed real-time systems; presents a focus on the real-time operating system, covering the concepts of task, memory, and input/output management; provides a detailed step-by-step construction of a real-time operating system kernel, which is then used to test various higher level implementations; describes periodic and aperiodic scheduling, resource management, and distributed scheduling; reviews the process of application design from high-level design methods to low-level details of design and implementation; surveys real-time programming languages and fault tolerance techniques; includes end-of-chapter review questions, extensive C code, numerous examples, and a case study implementing the methods in real-world applications; supplies additional material at an associated website.Requiring only a basic background in computer architecture and operating systems, this practically-oriented work is an invaluable study aid for senior undergraduate and graduate-level students of electrical and computer engineering, and computer science. The text will also serve as a useful general reference for researchers interested in real-time systems.
Автор: Erciyes K. Название: Distributed Real-Time Systems: Theory and Practice ISBN: 3030225720 ISBN-13(EAN): 9783030225728 Издательство: Springer Рейтинг: Цена: 46570.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This is then followed with a description of the implementation of the concepts in a sample kernel, complete with executable code.Topics and features: introduces the fundamentals of real-time systems, including real-time architecture and distributed real-time systems;
Автор: Kopetz Название: Real-Time Systems ISBN: 3031119916 ISBN-13(EAN): 9783031119910 Издательство: Springer Рейтинг: Цена: 46570.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: "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 Second Edition, new developments in communication standards for time-sensitive networks, such as TSN and Time-Triggered Ethernet are addressed. Furthermore, this edition includes a new chapter on real-time aspects in cloud and fog computing. 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.
Автор: Sven Goossens; Karthik Chandrasekar; Benny Akesson Название: Memory Controllers for Mixed-Time-Criticality Systems ISBN: 3319320939 ISBN-13(EAN): 9783319320939 Издательство: Springer Рейтинг: Цена: 107130.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book discusses the design and performance analysis of SDRAM controllers that cater to both real-time and best-effort applications, i.e.
Автор: Zubair Iftikhar Название: Charge Quantization and Kondo Quantum Criticality in Few-Channel Mesoscopic Circuits ISBN: 3030068994 ISBN-13(EAN): 9783030068998 Издательство: Springer Рейтинг: Цена: 102480.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This thesis explores several fundamental topics in mesoscopic circuitries that incorporate few electronic conduction channels. It reports a series of long-awaited experiments that establish a new state of the art.The first experiments address the quantized character of charge in circuits. We demonstrate the charge quantization criterion, observe the predicted charge quantization scaling and a crossover toward a universal behavior as temperature is increased.The second set of experiments addresses the unconventional quantum critical physics that arises in the multichannel Kondo model. We observe the predicted universal Kondo fixed points and validate the numerical renormalization group scaling curves. Away from the quantum critical point, we obtain a direct visualization of the development of a second-order quantum phase transition.
Автор: Iftikhar Название: Charge Quantization and Kondo Quantum Criticality in Few-Channel Mesoscopic Circuits ISBN: 3319946846 ISBN-13(EAN): 9783319946849 Издательство: Springer Рейтинг: Цена: 93160.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: We demonstrate the charge quantization criterion, observe the predicted charge quantization scaling and a crossover toward a universal behavior as temperature is increased.The second set of experiments addresses the unconventional quantum critical physics that arises in the multichannel Kondo model.
Название: Advanced distributed measuring systems - exhibits of applications ISBN: 8792329721 ISBN-13(EAN): 9788792329721 Издательство: Taylor&Francis Рейтинг: Цена: 99010.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: Measuring systems are an essential part of all automated production systems. They can serve to ensure the quality of production, or they can be used to assure the reliability and safety in various areas. The same applies in principle for fields of telecommunication, energy production and distribution, health care, etc. Similarly, no serious scientific research in the field of natural and technical sciences can be performed without objective data about the investigated object, which is usually acquired using measuring system. Demands on the speed and accuracy of measurement increase in all areas in general. These are the grounds for publishing this book.
Advanced Distributed Measuring Systems: Exhibits of Application offers eight up-to-date examples of typical laboratory, industrial, and biomedical applications of advanced measuring and information systems, including virtual instrumentation. The book arose based on the most interesting papers from this area published at IDAACS 2011 conference. However, single chapters include not only system design solution in wider context but also relevant theoretical parts, achieved results, and possible future ways of design and development.
Technical topics discussed in the book include: - embedded applications; - small distributed systems; - automotive distributed system; - distributed monitoring systems based on wireless networks; - synchronization in large DAQ systems; - virtual instrumentation.
Advanced Distributed Measuring Systems: Exhibits of Application is ideal for personnel of firms dealing with control systems, automotive electronics, airspace instrumentation, health care technology, etc. as well as academic staff and postgraduate students in electrical, control, and computer engineering.
Автор: Kamran Iqbal Название: A First Course in Control System Design ISBN: 8793609051 ISBN-13(EAN): 9788793609051 Издательство: Taylor&Francis Рейтинг: Цена: 81650.00 T Наличие на складе: Невозможна поставка. Описание: Discusses control systems design from a model-based perspective as applicable to single-input single-output systems. The emphasis in this book is on understanding and applying the techniques that enable the design of effective control systems.
Автор: Andrea Bondavalli, Francesco Brancati Название: Certifications of Critical Systems: The CECRIS Experience ISBN: 8793519567 ISBN-13(EAN): 9788793519565 Издательство: Taylor&Francis Рейтинг: Цена: 83690.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: Documents the main insights on Cost Effective Verification and Validation processes that were gained during work in the European Research Project CECRIS (Certification of Critical Systems). The objective of the research was to tackle the challenges of certification by focusing on those aspects that turn out to be more difficult/important for current and future critical systems industry: the effective use of methodologies, processes and tools.
Автор: Buschmann, Frank Henney, Kevlin Schmidt, Douglas C. Название: Pattern-oriented software architecture ISBN: 0470059028 ISBN-13(EAN): 9780470059029 Издательство: Wiley Рейтинг: Цена: 43290.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: The eagerly awaited Pattern-Oriented Software Architecture (POSA) Volume 4 is about a pattern language for distributed computing. The authors will guide you through the best practices and introduce you to key areas of building distributed software systems.
