Modeling And Analysis Of Real-Time And Embedded Systems With Uml And Marte, Selic,Bran
Автор: Kordon Название: Modeling Unbedded Systems ISBN: 1848215002 ISBN-13(EAN): 9781848215009 Издательство: Wiley Рейтинг: Цена: 22010.00 р. Наличие на складе: Поставка под заказ.
Автор: Ajit Singh, Singh Название: Object Oriented Modeling and Design with UML ISBN: 1796369217 ISBN-13(EAN): 9781796369212 Издательство: Неизвестно Рейтинг: Цена: 2693.00 р. Наличие на складе: Нет в наличии.
Описание: The combination of VLSI process technology and real-time digital signal processing (DSP) has brought a break-through in information technology. This book deals with the modeling, timing verification and analysis, and the automatic synthesis of integrated real-time DSP systems.
Описание: This book takes embedded system developers through the complete process of developing systems based on field-programmable gate arrays (FPGAs). You`ll not only understand the concepts underlying embedded systems and FPGAs but also explore the powerful free FPGA tools to design electronic circuits and construct and debug prototype embedded devices.
Автор: Mourad Debbabi; Fawzi Hassa?ne; Yosr Jarraya; Andr Название: Verification and Validation in Systems Engineering ISBN: 3642423167 ISBN-13(EAN): 9783642423161 Издательство: Springer Рейтинг: Цена: 11586.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: As well as an overview of UML and the more recent SysML, Debbabi and his co-authors investigate varied methodologies and techniques for the automatic verification and validation of systems engineering design models expressed in standardized modeling languages.
Автор: Grant Martin; Wolfgang M?ller Название: UML for SOC Design ISBN: 144193829X ISBN-13(EAN): 9781441938299 Издательство: Springer Рейтинг: Цена: 14817.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 1. When worlds collide (Martin, Mьller) 2. Why SoC needs more UML (Mellor, Wolfe, McCausland) 3. UML as a framework for combining different models of computation (Green) 4. A Generic Model Execution Platform for the Design of Hardware and Software(Schattowsky, Mьller, Rettberg) 5. Hardware/Software Codesign of Reconfigurable Architectures Using UML (Steinbach, Frцhlich, Beierlein) 6. A Methodology for Bridging the Gap between UML and Codesign (Basu, Lajolo, Prevostini) 7. UML Tailoring for SystemC and ISA Modelling (Agosta, Bruschi, Sciuto) 8. Model-Driven SoC Design (Nguyen, Sun, Thiagarajan, Wong) 9. A Comparison between UML and Function Blocks (Brisolara, Becker, Carro, Wagner, Pereira) 10. A Model-Driven Development Process for Low Power SoC Using UML(Vanderperren, Dehaene)
Автор: Qiu Название: Real-Time Embedded Systems ISBN: 143981760X ISBN-13(EAN): 9781439817605 Издательство: Taylor&Francis Рейтинг: Цена: 22202.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание:
Ubiquitous in today's consumer-driven society, embedded systems use microprocessors that are hidden in our everyday products and designed to perform specific tasks. Effective use of these embedded systems requires engineers to be proficient in all phases of this effort, from planning, design, and analysis to manufacturing and marketing.
Taking a systems-level approach, Real-Time Embedded Systems: Optimization, Synthesis, and Networking describes the field from three distinct aspects that make up the three major trends in current embedded system design.
The first section of the text examines optimization in real-time embedded systems. The authors present scheduling algorithms in multi-core embedded systems, instruct on a robust measurement against the inaccurate information that can exist in embedded systems, and discuss potential problems of heterogeneous optimization. The second section focuses on synthesis-level approaches for embedded systems, including a scheduling algorithm for phase change memory and scratch pad memory and a treatment of thermal-aware multiprocessor synthesis technology. The final section looks at networking with a focus on task scheduling in both a wireless sensor network and cloud computing. It examines the merging of networking and embedded systems and the resulting evolution of a new type of system known as the cyber physical system (CPS).
Encouraging readers to discover how the computer interacts with its environment, Real-Time Embedded Systems provides a sound introduction to the design, manufacturing, marketing, and future directions of this important tool.
Описание: This book constitutes the proceedings of the 22st International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation, SAMOS 2021, which took place in July 2022 in Samos, Greece. The 21 full papers presented in this volume were carefully reviewed and selected from 44 submissions. The papers are organized in topics as follows: High level synthesis; memory systems; processor architecture; embedded software systems and beyond; deep learning optimization; extra-functional property estimation; innovative architectures and tools for security; european research projects on digital systems, services, and platforms.
Описание: This book constitutes the refereed proceedings of the 19th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2021, held in Paris, France, in August 2021. The 8 full papers that were carefully reviewed and selected from 19 submissions are presented in this volume with 2 invited talks.
Автор: Dionisios N. Pnevmatikatos; Maxime Pelcat; Matthia Название: Embedded Computer Systems: Architectures, Modeling, and Simulation ISBN: 3030275612 ISBN-13(EAN): 9783030275617 Издательство: Springer Рейтинг: Цена: 6097.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed proceedings of the 19th International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation, SAMOS 2019, held in Pythagorion, Samos, Greece, in July 2019. The 21 regular papers presented were carefully reviewed and selected from 55 submissions.
Название: Power systems resilience. ISBN: 331994441X ISBN-13(EAN): 9783319944418 Издательство: Springer Рейтинг: Цена: 18294.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание:
This book presents intuitive explanations of the principles and applications of power system resiliency, as well as a number of straightforward and practical methods for the impact analysis of risk events on power system operations. It also describes the challenges of modelling, distribution networks, optimal scheduling, multi-stage planning, deliberate attacks, cyber-physical systems and SCADA-based smart grids, and how to overcome these challenges. Further, it highlights the resiliency issues using various methods, including strengthening the system against high impact events with low frequency and the fast recovery of the system properties.
A large number of specialists have collaborated to provide innovative solutions and research in power systems resiliency. They discuss the fundamentals and contemporary materials of power systems resiliency, theoretical and practical issues, as well as current issues and methods for controlling the risk attacks and other threats to AC power systems. The book includes theoretical research, significant results, case studies, and practical implementation processes to offer insights into electric power and engineering and energy systems.
Showing how systems should respond in case of malicious attacks, and helping readers to decide on the best approaches, this book is essential reading for electrical engineers, researchers and specialists. The book is also useful as a reference for undergraduate and graduate students studying the resiliency and reliability of power systems.
Автор: Gomaa Название: Real-Time Software Design for Embedded Systems ISBN: 1107041090 ISBN-13(EAN): 9781107041097 Издательство: Cambridge Academ Рейтинг: Цена: 12672.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This tutorial reference takes the reader from use cases to complete architectures for real-time embedded systems using SysML, UML, and MARTE, including complete case studies using the COMET/RTE design methods. Its modular presentation of the design stages makes it perfect for students as well as experienced software engineers.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
