Analysis, Architectures and Modelling of Embedded Systems, Achim Rettberg; Mauro C. Zanella; Michael Amann; M
Автор: Bertolotti Название: Real-Time Embedded Systems ISBN: 1439841543 ISBN-13(EAN): 9781439841549 Издательство: Taylor&Francis Рейтинг: Цена: 33686.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.
Автор: Timo D. H?m?l?inen; Andy D. Pimentel; Jarmo Takala Название: Embedded Computer Systems: Architectures, Modeling, and Simulation ISBN: 354026969X ISBN-13(EAN): 9783540269694 Издательство: Springer Рейтинг: Цена: 13275.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Constitutes the proceedings of the 5th International Workshop on Systems, Architectures, Modeling, and Simulation, SAMOS 2005. The papers presented are selected from 114 submissions, and are organized in topical sections on reconfigurable system design and implementations, processor architectures, design and simulation, and system level design.
Описание: The Risk Assessment of ERTMS-Based Railway Systems from a Cyber SecurityPerspective: Methodology and Lessons Learned.- Using Formal Proof and B Method at System Level for Industrial Projects.- A Novel Approach to HW/SW Integration Testing of Route-Based Interlocking System Controllers.- A Formal Security Analysis of ERTMS Train to Trackside Protocols.- Operational Security - A Coming Evolution of Railway Operational Procedures under the IT Security Threat.- Risk Assessment of the 3Des in the ERTMS.- Failure Analysis of Chinese Train Control System Level 3 Based on Model Checking.- Correct Formalization of Requirement Specifications: A V-Model for Building Formal Methods.- Static Verification of Railway Scheme and Interlocking Design Data.- Verification of Railway Interlocking - Compositional Approach with OCRA.- Safety Verification of Heterogeneous Railway Networks.- Comparing Formal Verification Approaches of Interlocking Systems.- Predictive Reasoning and Machine Learning for the Enhancement of Reliability in Railway Systems.- Applying Abstract Interpretation to Verify EN-50128 Software Safety Requirements.- The PERF Approach for Formal Verification.- Abstract Software Specifications and Automatic Proof of Refinement.- S3: Proving the Safety of Critical Systems.- Increasing Proofs Automation Rate of Atelier-B Thanks to Alt-Ergo.
Автор: Prabhat Mishra; Nikil D. Dutt Название: Functional Verification of Programmable Embedded Architectures ISBN: 1489973362 ISBN-13(EAN): 9781489973368 Издательство: Springer Рейтинг: Цена: 15672.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: However, what is often not highlighted is the fact that in spite of the tremendous time and effort put into such efforts at the RTL and lower levels of abstraction, the complexity of contemporary embedded systems makes it difficult to guarantee functional correctness at the system level under all possible operational scenarios.
Автор: Andr? Seznec; Joel Emer; Michael O`Boyle; Margaret Название: High Performance Embedded Architectures and Compilers ISBN: 3540929894 ISBN-13(EAN): 9783540929895 Издательство: Springer Рейтинг: Цена: 12157.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Constitutes the refereed proceedings of the Fourth International Conference on High Performance Embedded Architectures and Compilers, HiPEAC 2009, held in Paphos, Cyprus, in January 2009. This title includes papers that are organized in topical sections on dynamic translation and optimization, and low level scheduling.
Автор: Kandel Название: Hybrid Architectures for Intelligent Systems ISBN: 0849342295 ISBN-13(EAN): 9780849342295 Издательство: Taylor&Francis Рейтинг: Цена: 38280.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Hybrid architecture for intelligent systems is a new field of artificial intelligence concerned with the development of the next generation of intelligent systems
Автор: Achim Rettberg; Mauro C. Zanella; Michael Amann; M Название: Analysis, Architectures and Modelling of Embedded Systems ISBN: 364204283X ISBN-13(EAN): 9783642042836 Издательство: Springer Рейтинг: Цена: 17043.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book presents the technical program of the International Embedded Systems Symposium (IESS) 2009. Embedded systems meet their performance goals, including real-time constraints, through a combination of special-purpose hardware and software components tailored to the system requirements.
Автор: Ian O`Connor; Gabriela Nicolescu Название: Integrated Optical Interconnect Architectures for Embedded Systems ISBN: 1489992049 ISBN-13(EAN): 9781489992048 Издательство: Springer Рейтинг: Цена: 16977.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book highlights current research in optical interconnect technologies and architectures. Particular emphasis is given to the ways photonic components are assembled into architectures to address the needs of data-intensive on-chip communication.
Автор: Koen Bertels; Nikitas Dimopoulos; Cristina Silvano Название: Embedded Computer Systems: Architectures, Modeling, and Simulation ISBN: 3642031374 ISBN-13(EAN): 9783642031373 Издательство: Springer Рейтинг: Цена: 10480.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 9th International Workshop SAMOS 2009 Samos Greece July 2023 2009 Proceedings. .
Описание: This book demonstrates how to apply modern approaches to complex system control in practical applications involving knowledge-based systems. Moreover, specialised forms of knowledge-based systems (like e-learning, social network, and production systems) are introduced with a new formal approach to knowledge system modelling.
Автор: Qing Li Название: Real-Time Concepts for Embedded Systems ISBN: 1578201241 ISBN-13(EAN): 9781578201242 Издательство: Taylor&Francis Рейтинг: Цена: 9033.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: `... 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
Автор: Bernd Kleinjohann; K.H. (Kane) Kim; Lisa Kleinjoha Название: Design and Analysis of Distributed Embedded Systems ISBN: 1402071566 ISBN-13(EAN): 9781402071560 Издательство: Springer Рейтинг: Цена: 21655.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Deals with specification methods and their analysis while concentrating on timing and performance analysis. This title describes approaches to system verification at different levels of abstraction. It also deals with fault tolerance and detection. It focuses on the distribution related topics such as partitioning, scheduling and communication.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
