Четверг, 3 июля 2025 — 17:30
USD: 78.65 р. EUR: 92.68 р.
03.07.2025
СкидкаГИД

Embedded Systems. Analysis and Modeling with SysML UML and AADL (Группа авторов); John Wiley & Sons Limited

Книга: Embedded Systems. Analysis and Modeling with SysML UML and AADL (Группа авторов); John Wiley & Sons Limited

  • Издатель: John Wiley & Sons Limited

  • ISBN: 9781118569771

  • EAN: 9781118569771

  • Книги: Техническая литература

  • ID: 6003738

  • Добавлено: 30.04.2020


Описание


Since the construction of the first embedded system in the 1960s, embedded systems have continued to spread. They provide a continually increasing number of services and are part of our daily life. The development of these systems is a difficult problem which does not yet have a global solution. Another difficulty is that systems are plunged into the real world, which is not discrete (as is generally understood in computing), but has a richness of behaviors which sometimes hinders the formulation of simplifying assumptions due to their generally autonomous nature and they must face possibly unforeseen situations (incidents, for example), or even situations that lie outside the initial design assumptions. Embedded Systems presents the state of the art of the development of embedded systems and, in particular, concentrates on the modeling and analysis of these systems by looking at “model-driven engineering”, (MDE2): SysML, UML/MARTE and AADL. A case study (based on a pacemaker) is presented which enables the reader to observe how the different aspects of a system are addressed using the different approaches. All three systems are important in that they provide the reader with a global view of their possibilities and demonstrate the contributions of each approach in the different stages of the software lifecycle. Chapters dedicated to analyzing the specification and code generation are also presented. Contents Foreword, Brian R. Larson. Foreword, Dominique Potier. Introduction, Fabrice Kordon, Jérôme Hugues, Agusti Canals and Alain Dohet. Part 1. General Concepts 1. Elements for the Design of Embedded Computer Systems, Fabrice Kordon, Jérôme Hugues, Agusti Canals and Alain Dohet. 2. Case Study: Pacemaker, Fabrice Kordon, Jérôme Hugues, Agusti Canals and Alain Dohet. Part 2. SysML 3. Presentation of SysML Concepts, Jean-Michel Bruel and Pascal Roques. 4. Modeling of the Case Study Using SysML, Loïc Fejoz, Philippe Leblanc and Agusti Canals. 5. Requirements Analysis, Ludovic Apvrille and Pierre De Saqui-Sannes. Part 3. MARTE 6. An Introduction to MARTE Concepts, Sébastien Gérard and François Terrier. 7. Case Study Modeling Using MARTE, Jérôme Delatour and Joël Champeau. 8. Model-Based Analysis, Frederic Boniol, Philippe Dhaussy, Luka Le Roux and Jean-Charles Roger. 9. Model-Based Deployment and Code Generation, Chokri Mraidha, Ansgar Radermacher and Sébastien Gérard. Part 4. AADL 10. Presentation of the AADL Concepts, Jérôme Hugues and Xavier Renault. 11. Case Study Modeling Using AADL, Etienne Borde. 12. Model-Based Analysis, Thomas Robert and Jérôme Hugues. 13. Model-Based Code Generation, Laurent Pautet and Béchir Zalila. About the Authors Fabrice Kordon is Professor at University Pierre and Marie Curie in Paris, France, where he is in charge of the team “Modélisation et vérification” of the LIP6. His research field is at the crossroads of distributed systems, software engineering and formal methods. Jérôme Hugues is lecturer-researcher at the Institut Supérieur de l’Aéronautique et de l’Espace (ISAE) in Toulouse, France and has been a member of the language standardization committee (AADL) since 2006. His research fields cover the engineering of embedded systems and the generation of automatic code of these systems from modeling languages, integrating verification and analysis tools on the model and code level. Agusti Canals is a software engineer and has worked at CS “Communication et Systèmes” in Paris, France since 1981. He is deputy director of the “Direction de la Qualité et des Audits Technique

Развернуть фото

Смотри также о книге.

СкидкаГИД инфо +

Сервис сравнения цен СкидкаГИД предлагает сравнить цены на товар «Книга: Embedded Systems. Analysis and Modeling with SysML UML and AADL (Группа авторов); John Wiley & Sons Limited»

По данным нашего сервиса товар предлагался к продаже в 1 магазине. В данный момент у нас нет информации о наличии данного товара в магазинах. Цена на данный товар варьировалась от 13096 р. до 13096 р. Вы можете поискать его на других площадках ниже, а также ознакомиться с ценами на Яндекс.Маркет. Также вы можете подписаться на сообщение о наличии товара используя сервис «Сообщить о поступлении» - мы оповестим вас как только товар появится в продаже. Если товар снят с производства, сервис «История цены» поможет соориентироваться на вторичном рынке.

Кроме сервиса сравнеция цен, наш сайт также позволяет экономить еще двумя способами: промокодный сервис (информация о промокодах, а также скидки и акции на товары), а также собственный кэшбэк сервис.

Чтобы сделать правильный выбор у нас есть подборка видео обзоров.

О книге

Основные характеристики товара
ПараметрЗначение
ISBN978-1-118-56977-1
Автор(ы)
ИздательJohn Wiley & Sons Limited

Видео обзоры

HAMR - High-Assurance Modeling and Rapid Engineering for Embedded Systems Using AADL

HAMR - High-Assurance Modeling and Rapid Engineering for Embedded Systems Using AADLзапуск видео

Условия использования YouTube / Конфиденциальность Google

Где купить

Как купить или где мы находимся +

Последняя известная цена от 13096 руб до 13096 руб в 1 магазине

В данный момент у нас нет информации о наличии данного товара в магазинах. Вы можете поискать его на других площадках ниже, а также ознакомиться с ценами на Яндекс.Маркет.

Также вы можете ознакомиться с нашей подборкой:
Книги: Технические науки - издательство "John Wiley & Sons Limited"
Книги: Технические науки с ценой 10476 р. - 15715 р.


сообщить о поступлении
Книга: Embedded Systems. Analysis and Modeling with SysML UML and AADL (Группа авторов); John Wiley & Sons Limited
МагазинЦенаНаличие
Яндекс.Маркет

5/5

Кэшбэк до 3.8%

Промокоды на скидку

Avito

5/5

Avito доставка позволит получить любой товар, не выходя из дома

Кэшбэк 57 

История цены

МагазинПоследняя известная ценаОбновлено
ЛитРес
13096 
15.08.2024

Кэшбэк сервис СкидкаГИД

Кэшбэк – это возврат части денег, потраченных Вами в интернет-магазинах. Всего на нашем сайте более 500 магазинов, с многими из которых Вы наверняка уже знакомы. У каждого магазина свои условия. Кто-то возвращает процент от покупки, а кто-то фиксированную сумму.

Заказывайте он-лайн и получайте часть денег обратно, подробнее..


Отзывы (0)

    Добавить отзыв



     

    Книги: Технические науки - издательство "John Wiley & Sons Limited"

    Категория 10476 р. - 15715 р.

    Техническая литература - издательство "John Wiley & Sons Limited" »

    Книги: Технические науки

    Категория 10476 р. - 15715 р.

    ADS
    закладки (0) сравнение (0)

     

    подписаться на новинки, скидки
    preloader

    3608