Книга "Embedded Systems" описывает развитие встроенных систем с момента появления первой такой системы в 1960-х годах и до наших дней. Встроенные системы используются во многих областях нашей жизни и предоставляют все большее количество услуг. Однако разработка таких систем является сложной задачей, которая до сих пор не имеет общего решения. Эти системы работают в реальном мире, который не является дискретным (как в общепринятом понимании вычислительной техники), а имеет разнообразное поведение, иногда затрудняя формулирование упрощающих предположений из-за их автономной природы и возможности столкновения с непредвиденными ситуациями (например, инцидентами), или даже ситуациями, выходящими за рамки исходных конструктивных предпосылок.
Книга представляет современные методы разработки встроенных систем, сосредотачиваясь на моделировании и анализе этих систем с использованием "модельно-ориентированной инженерии" (MDE2): SysML, UML/MARTE и AADL. В книге приводится пример на основе искусственного сердечного ритма, который помогает читателю понять, как различные аспекты системы рассматриваются с помощью разных подходов. Все три системы важны, так как они предоставляют читателю общую картину своих возможностей и демонстрируют вклад каждого подхода на разных этапах жизненного цикла программного обеспечения. Книга также включает главы, посвященные анализу спецификации и генерации кода.
Авторы книги - Фабрис Кордон, Жером Юг, Агусти Каналс и Ален Доэ - являются экспертами в области встроенных систем и модельно-ориентированной инженерии. Книга адресована как исследователям, так и практикам, занимающимся разработкой встроенных систем.
Embedded Systems, Авторы: Коллектив авторов Если вы еще не знакомы с этой книгой, позвольте объяснить вам ее. Это просто пересказ: Начиная с первого встроенного системного устройства, созданного в 1960-х годах, количество встроенных систем неуклонно растет. Они предоставляют все возрастающий набор услуг и являются частью нашей повседневной жизни. Разработка этих систем - непростая задача, которая все еще не имеет глобального решения. Еще одна сложность заключается в том, что системы помещаются в реальный мир, который не дискретен (как обычно понимается в компьютерах), но имеет разнообразие поведения, которое иногда мешает формулированию упрощающих предположений из-за их в основном автономной природы, и они должны справляться с возможно непредвиденными ситуациями (например, инцидентами) или даже ситуациями, выходящими за рамки начальных проектных предположений. "Embedded Systems" представляет современный взгляд на разработку встроенных систем, и, в частности, фокусируется на моделировании и анализе этих систем через "Model-Driven Engineering" (MDE). Рассмотрение включает в себя такие системы, как SysML (Systems Modeling Language), UML/MATE (Unified Modeling Language/Meta-Object Facility for Architecture Description Languages) и AADL (Architecture Analysis & Description Language). Пример исследования (основанный на кардиостимуляторе) предоставляет читателю возможность видеть, как разные аспекты системы обрабатываются с помощью разных подходов. Каждая система важна тем, что она предоставляет глобальную картину их возможностей и показывает влияние каждого подхода на разных стадиях жизненного цикла программного обеспечения. Главы также посвящены анализу спецификации и генерации кода. Содержание: Предисловие Бриана Р. Ларсона Предисловие Доминика Потие Введение Фабриса Кордона, Жермины Югу, Агустина Каналя и Алена Дохата Часть 1. Генеральные концепции 1 Элементы для проектирования компьютерных систем встроены Фабрис Кордон, Жермина Югу, Агюстин Каналь и Ален Дохате 2 Пример исследования: кардиостимулятор Фабрис Коргон, Жермин Югу, Агостин Каннель и Ален Кактикают Часть 2. Системная модель 3 Представление концепций системной модели Жан-Мишель Брюэль и Паскаль Рок 4 Моделирование примерного исследования с использованием системной модели Лоик Фезоз, Филипп Лебланк и Агустин Кантель 5 Анализ требований Луи Морис Апвли и Пьер Де Саки Саннес Часть 3. МСАТЭ 6 Введение в концепции МСАТЭ Себастьян Герард и Франсуа Терьер 7 Моделирование примерной системы с использованием МСАТЭ Жером Дилатор и Джоэл Шамбо 8 Модель основания.
Электронная Книга «Embedded Systems» написана автором Группа авторов в году.
Минимальный возраст читателя: 0
Язык: Английский
ISBN: 9781118569771
Описание книги от Группа авторов
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
