Embedded Systems
Description
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
Technical Details
age: | 0 |
author: | Группа авторов |
genres_list: | 5763 |
ISBN: | 9781118569771 |
lang: | en |
publisher: | John Wiley & Sons Limited |
Type: | book |
Форматы: |
Price history chart & currency exchange rate
Customers also viewed

40,178.72 руб.
БЕСПЛАТНЫЙ КОНТРОЛЛЕР Функция MPPT Высокоскоростной солнечный насос DC24V Солнечный насос для бассейна 100% медный двигатель Солнечный насос постоянного тока для орошения
aliexpress.com
2,998.01 руб.
Аксессуары портативный автомобильный пылесос 7500 ПА Мощное всасывание ручной беспроводной пылесос двойного назначения для автомобиля домашнего рабочего стола
aliexpress.com
2,541.95 руб.
Мини-плиссированное сексуальное женское вечернее платье в стиле бохо с белым бантом и квадратным вырезом, новое хлопковое летнее платье
aliexpress.com
1,027.96 руб.
Люси Хартфилия аниме Fairy Tail домашние хлопковые тапочки на заказ мужские и женские сандалии плюшевая повседневная теплая обувь термотапочки
aliexpress.com
1,774.83 руб.
Angeleyes Aluminum Alloy Focusing Fishbone Plate 230-280mm Astronomical Photography Accessories Astronomical Telescope Accessory
aliexpress.com
1,197.26 руб.
Marching Drum Set Snare Drum Percussion Musical Instrument With Drumsticks Drum Belt Ceremonial Gloves
aliexpress.com
1,360.89 руб.
watch dial NH35 dial Custom logo No logo Green Luminous 28.5mm dial for NH35 NH36 movement watch accessories
aliexpress.com
1,678.43 руб.
Rebecca Pixie Short Cut Wave Wig Human Hair Wigs For Women Brazilian Curly Wave Human Hair Wig Full Machine Made Wig
aliexpress.com
130.42 руб.
Buckle Preserved Flower Gift Box Gifts Bouquet Supplies Railing White Paper Travel
aliexpress.com
24,400.47 руб.
Modern Office Chair Back Rest Antisweat Executive Living Room Chairs Recliner Lounge Sillon Reclinables Garden Furniture Sets
aliexpress.com
281.09 руб.
Buzzers Alarm Sound Button Stickers Party Prank Aldult Game Plastic Funny Child
aliexpress.com
656.95 руб.
Civilize The Mind, But Make Savage The Body Tapestry Wall Decoration Home Decorating Carpet Wall Home Decorators Tapestry
aliexpress.com
1,700.31 руб.
Laptop Stand,Tablet,Notebook Holder foldable Stand Cooling Pad Compatible with MacBook Air Pro, iPad, Dell XPS, HP, Lenovo
aliexpress.com
2,429.35 руб.
WOPOW Neckband Wireless Bluetooth Headset B03 HD Sound 11 Hours Battery Life BT5.0 Earphone Magnetic Smart 2in1 Sports Headphone
aliexpress.com
128.80 руб.
Exquisite Adjustable Colorful Rope Knitting Dog Puppy Pet Collars Leather Woven Jewelry Fashion Pets Essential Accessories
aliexpress.com
242.21 руб.
Soul Eater anime Phone Case Transparent for Xiaomi redmi note x f poco 10 11 9 7 8 3 i t s pro cover shell coque
aliexpress.com
110.98 руб.
10pcs Random Colors Hook Strong Adhesive Sticking Wall Kitchen Cute Hook Seamless No-Punch Sticky Hook
aliexpress.com
201.70 руб.
Women's Nightie Lace Pad Sleepwear Sexy Lingerie Women's Underwear Nightwear Nightgowns Sexy Night Dress Hot Nightdress Homewear
aliexpress.com
4,194.46 руб.
H81G Motherboard LGA 1150 M-ATX DDR3 Supports 16GB for Core Celeron/Pentium E3 V3 Processor
aliexpress.com
956.67 руб.
Свадебные аксессуары для волос для подружек невесты ювелирные изделия ручной работы с жемчугом керамический цветок Свадебная расческа для...
aliexpress.com
279.47 руб.
LED Lighted Gift Box For Jewellery Ring Box Earring Organizer Ring Container Trinket Box Organizador De Joyas Para Colgar
aliexpress.com
218.71 руб.
Metal cutting dies cut die mold animal bird decoration Scrapbook paper craft knife mould blade punch stencils
aliexpress.com
111.79 руб.
Wholesale 4mm 6mm 8mm 10mm 12mm 14 16mm Natural Black Volcanic Lava Stone Round Loose Beads for Jewelry Making Diy
aliexpress.com
1,587.71 руб.
Milestone Baby Blanket Flannel Summer Monthly Record Growth Portable Lightweight Throw Blankets for Bedding Office Bedspread
aliexpress.com
3,726.25 руб.
Retro Saddle Women's Handbags sac Genuine Leather Casual Solid Flap Pocket Messenger Shoulder Bags Purses Crossbody Bolsa Mujer
aliexpress.com
2,060.78 руб.
Wide-Angle Macro Glass Filter for FIMI PALM Pocket Camera Accessories ND Filter
aliexpress.com
6,124.01 руб.
VOCR 1ZZ-FE 3ZZ-FE 4ZZ-FE Engine Timing Chain Repair Tensioner Kits For Toyota Corolla RAV4 Celica Overlord Car Accessories
aliexpress.com