Distributed Embedded Controller Development with Petri Nets: Application to Globally-Asynchronous Locally-Synchronous Systems
Название:Distributed Embedded Controller Development with Petri Nets: Application to Globally-Asynchronous Locally-Synchronous Systems
Автор Moutinho, Filipe, Gomes, Luís
Издательство: Springer
Серия:SpringerBriefs in Electrical and Computer Engineering
Год: 2016
Страниц: 79
Язык: English
Формат: pdf
Размер: 3 Mb
Uses a graphical and intuitive modeling formalism supported by design automation tools
Enables verification, ensuring that the distributed controller was correctly specified
Provides flexibility in the implementation and maintenance phases to achieve desired constraints (high performance, low power consumption, reduced costs), enabling porting to different platforms using different communication nodes, without changing the underlying behavioral model
This book describes a model-based development approach for globally-asynchronous locally-synchronous distributed embedded controllers. This approach uses Petri nets as modeling formalism to create platform and network independent models supporting the use of design automation tools. To support this development approach, the Petri nets class in use is extended with time-domains and asynchronous-channels. The authors’ approach uses models not only providing a better understanding of the distributed controller and improving the communication among the stakeholders, but also to be ready to support the entire lifecycle, including the simulation, the verification (using model-checking tools), the implementation (relying on automatic code generators), and the deployment of the distributed controller into specific platforms.
Uses a graphical and intuitive modeling formalism supported by design automation tools;
Enables verification, ensuring that the distributed controller was correctly specified;
Provides flexibility in the implementation and maintenance phases to achieve desired constraints (high performance, low power consumption, reduced costs), enabling porting to different platforms using different communication nodes, without changing the underlying behavioral model.
depositfiles.com
| Рейтинг: | 4.8 баллов / 2537 оценок |
| Формат: | Книга |
| Уже скачали: | 12780 раз |
Похожие Книги
Нам показалось, что Книги ниже Вас заинтересуют не меньше. Эти издания Вы так же можете скачивать и читать совершенно бесплатно на сайте!
-
Сальватор
ЛУЧШИЕ ПРИКЛЮЧЕНЧЕСКИЕ РОМАНЫНазвание:СальваторАвтор::Александр ДюмаЖанр: Историко - приключенческий романОписание:Франция, 1827 года. Король бессилен и равнодушен. Министры цепляются за власть. Полиц . . .
-
Могикане Парижа
ЛУЧШИЕ ПРИКЛЮЧЕНЧЕСКИЕ РОМАНЫНазвание: Могикане ПарижаАвтор:Александр ДюмаЖанр: Исторические приключенияОписание: Действие происходит во времена правления короля Карла X, борьбы с бонапартизмом, и нач . . .
-
Шевалье де Сент-Эрмин
ЛУЧШИЕ ПРИКЛЮЧЕНЧЕСКИЕ РОМАНЫНазвание:Шевалье де Сент-ЭрминАвтор:Александр ДюмаЖанр: Исторический приключенческий романОписание:“Шевалье де Сент-Эрмин” — начало огромной эпопеи, герой которой потом пе . . .
-
Графиня Солсбери
ЛУЧШИЕ ИСТОРИЧЕСКИЕ РОМАНЫНазвание:Графиня СолсбериАвтор: Александр ДюмаЖанр: Исторический приключенческий романОписание:Действие романа "Графиня Солсбери" начинается 25 сентября 1338 года в бальной з . . .
-
Дюма продолжал во всех произведениях развивать идею свободы, без которой любовь не может существовать, и привел ее к кульминаци
ЭРОТИЧЕСКИЙ РОМАН ДЮМАДюма продолжал во всех произведениях развивать идею свободы, без которой любовь не может существовать, и привел ее к кульминации в написанном незадолго до смерти единственном сво . . .
-
Графиня де Шарни
ЛУЧШИЕ ПРИКЛЮЧЕНЧЕСКИЕ РОМАНЫНазвание:Графиня де ШарниАвтор:Александр ДюмаЖанр:Историко - приключенческий романОписание: Действие романа происходит во время Великой французской революции, в период с 6 . . .
-
Капитан Ришар
ЛУЧШИЕ ПРИКЛЮЧЕНЧЕСКИЕ РОМАНЫНазвание:Капитан РишарАвтор:Александр ДюмаЖанр: Исторический приключенческий романОписание:Интригой романа является его тесная связь с историческими событиями и некоторыми . . .
-
Шевалье д'Арманталь
ЛУЧШИЕ ПРИКЛЮЧЕНЧЕСКИЕ РОМАНЫНазвание:Шевалье д'АрмантальАвтор:Александр ДюмаЖанр: Исторический приключенческий романОписание:«Шевалье д’Арманталь» — один из наиболее занимательных историко-приключенч . . .
-
Изабелла Баварская
ЛУЧШИЕ ПРИКЛЮЧЕНЧЕСКИЕ РОМАНЫНазвание:Изабелла БаварскаяАвтор:Александр ДюмаЖанр: Исторический приключенческий романОписание:"Изабелла Баварская" - исторический роман Александра Дюма (1802-1870), дейс . . .
-
Волонтер девяносто второго года
РОМАНЫ О ВЕЛИКОЙ ФРАНЦУЗСКОЙ РЕВОЛЮЦИИНазвание: Волонтер девяносто второго годаАвтор: Александр ДюмаЖанр: Историко - приключенческий романОписание: «Волонтёр девяносто второго года» — книга Дюма, в ко . . .
Вы не зарегистрированы!
Если вы хотите скачивать книги, журналы и аудиокниги бесплатно, без рекламы и без смс, оставлять комментарии и отзывы, учавствовать в различных интересных мероприятиях, получать скидки в книжных магазинах и многое другое, то Вам необходимо зарегистрироваться в нашей Электронной Библиотеке.
Отзывы читателей
Ой!
К сожалению, в нашей Бесплатной Библиотеке пока нет отзывов о Книге Distributed Embedded Controller Development with Petri Nets: Application to Globally-Asynchronous Locally-Synchronous Systems. Помогите нам и другим читателям окунуться в сюжет Книги и узнать Ваше мнение. Оставьте свой отзыв или обзор сейчас, это займет у Вас всего-лишь несколько минут.