Скачать книгу - Communicating Embedded Systems
The increased complexity of embedded systems coupled with quick design cycles to accommodate faster time-to-market requires increased system design productivity that involves both model-based design and tool-supported methodologies. Formal methods are mathematically-based techniques and provide a clean framework in which to express requirements and models of the systems, taking into account discrete, stochastic and continuous (timed or hybrid) parameters with increasingly efficient tools. This book deals with these formal methods applied to communicating embedded systems by presenting the related industrial challenges and the issues of modeling, model-checking, diagnosis and control synthesis, and by describing the main associated automated tools.


Моделирование электротехнических устройств в Matlab, SimPowerSystems и Simulink Моделирование электротехнических устройств в Matlab, SimPowerSystems и Simulink

Автор: Черных И.В.

Год издания: 

В книге содержится описание прикладной программы Simulink и библиотеки блоков SimPowerSystems, предназначенной для моделирования электротехнических устройств и систем. Рассматривается методика создания моделей с помощью графического интерфейса программы, описаны методы расчета моделей, подробно освещена методика создания электротехнических блоков пользователя. Даны основные команды для управления моделью из ядра пакета MATLAB, рассмотрен механизм выполнения расчета модели, приводятся советы автора по применению программы. Книга включает в себя большое количество примеров, поясняющих работу блоков и методику создания модели.


Моделирование электротехнических устройств в MATLAB, SimPowerSystems и Simulink Моделирование электротехнических устройств в MATLAB, SimPowerSystems и Simulink

Автор: Илья Викторович Черных

Год издания: 

В книге содержится описание прикладной программы Simulink и библиотеки блоков SimPowerSystems, предназначенной для моделирования электротехнических устройств и систем. Рассматривается методика создания моделей с помощью графического интерфейса программы, описаны методы расчета моделей, подробно освещена методика создания электротехнических блоков пользователя. Даны основные команды для управления моделью из ядра пакета MATLAB, рассмотрен механизм выполнения расчета модели, приводятся советы автора по применению программы. Книга включает в себя большое количество примеров, поясняющих работу блоков и методику создания модели. Издание предназначено для инженеров, научных работников, аспирантов и студентов, занимающихся моделированием в области электротехники.


Windows Embedded CE 6.0 R2. Практическое руководство Windows Embedded CE 6.0 R2. Практическое руководство

Автор: П. В. Белевский

Год издания: 

Книга является практическим руководством по разработке образов ОС и приложений для Windows Embedded CE и содержит упражнения для выполнения на эмуляторе или аппаратной платформе. Книга создана в помощь разработчикам встраиваемых систем Windows и нацелена на ознакомление со средой разработки, понимание архитектуры системы и решение задач при разработке устройств на базе Windows Embedded CE. Для получения цельного представления о Windows Embedded CE рекомендуется также прочесть книгу «Введение в Windows Embedded CE 6.0 R2», авторов Станислава Павлова и Павла Белевского, вышедшую в 2008 году. (Компакт-диск прилагается только к печатному изданию.)


Основы Windows Embedded Standard 2009 Основы Windows Embedded Standard 2009

Автор: Станислав Павлов

Год издания: 

Книга написана как базовое руководство по разработке широкого класса решений на базе встраиваемой операционной системы Microsoft Windows Embedded Standard 2009. Она не только освещает все технологические аспекты, связанные с разработкой образа операционной системы для встраиваемых применений, но и содержит широкий спектр практической информации, обобщающей опыт автора в разработке решений. При последовательном чтении она может использоваться для пошагового изучения технологий Embedded Standard 2009. Кроме того, она может служить справочником по большинству аспектов Embedded Standard 2009. Данная книга адресована всем, кто разрабатывает или планирует разработку устройств на основе Windows Embedded Standard. Если вы только начинаете работу с операционной системой Windows Embedded Standard, книга послужит вам руководством к дальнейшим действиям, если вы уже знакомы с платформой, найдете в книге множество рекомендаций и советов по разработке, подкрепленных практическими работами.


Nahere Beleuchtung des Nichteinigung-Systems Nahere Beleuchtung des Nichteinigung-Systems

Автор: Karl Lippe-Wei?enfeld

Год издания: 

Полный вариант заголовка: «Nahere Beleuchtung des Nichteinigung-Systems : ein Bruchstuck fur die Geschichte der Zukunft / [K. C. ZurLippe]».