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

1,952.04 руб.
Car Ignition Coil Black Ignition Coil replacement V52-70-0022 27301-23410 2730123400 880366A 880366 IIS550
aliexpress.com
839.96 руб.
Winter 3Pairs/Lot 95% Pure Cotton Socks Men Business Dress Anti-bacterial Long Socks Soft Breathable Spring Tube Casual Sock
aliexpress.com
1,519.43 руб.
P30 PROSmart Mini Projector Android 11 WiFi6 Support 4K 1080P BT5.0 Projector 1280*720P Home Cinema Portable Projector
aliexpress.com
1,625.34 руб.
1PC GHXAMP 3-Inch Ultra-Thin Passive Subwoofer 2.1 Amplifier - Seat Cannon Mid-Bass DIY Speaker System Enhanced Audio 310*160mm
aliexpress.com
1,213.10 руб.
2025 New ABY Channel Switches Effect Pedal ABY Line Selector AB Switches Small Guitar Effect Pedal True Bypass Enduring
aliexpress.com
2,509.30 руб.
QUEED PRO3 Portable Bluetooth Speaker Mini Wireless Bass Speaker with LED Light Waterproof Design for Outdoor Camping Hiking
aliexpress.com
321.81 руб.
Builders Home Tradesmen Workshop DIY Enthusiasts Cutting Disc Grinding Wheel Resin Tools 32 Mm Angle Grinder Black
aliexpress.com
775.60 руб.
Pure Handmade Fabric Zodiac Bracelet Year Of The Snake Woven Red Gold Ingot Knot Hand Rope Wearable Gifts
aliexpress.com
2,632.32 руб.
Motorcycle Parts Front Rear Left Right Pedal Foot Rest Peg Bracket Footrest Footpeg For CFMOTO 250SR My22 CF250SR CF MOTO SR250
aliexpress.com
2,036.77 руб.
Z13865 Set 19" 20mm Natural Natural Blue Lapis Lazuli Square Coin Red Round Agate Necklace Bracelet Earring Custom Jewelry
aliexpress.com
2,754.53 руб.
4X Front Bumper Splitter Spoiler Canardr Lip Vents Trim For Mercedes-Benz A Class W177 A180 A200 A220 A250 AMG 2019+-A61E
aliexpress.com
143.39 руб.
Novelty Book Shaped Jewelry Box Magnetic Closure Flip Cover Jewelry Displasy Holder Bracelets Portable Rings Earrings Organizer
aliexpress.com
2,849.85 руб.
2025 Summer New High-End Children's Dress Dress Light Luxury Western Style Girl Host Princess Pettiskirt
aliexpress.com
518.15 руб.
Multifunctional Anti Leak Oil Dispensers Tank Spray Olive Oil Spray Bottle In Dual Purpose Spray Bottle Kitchen Tools Tableware
aliexpress.ru
168.64 руб.
2 Pcs Toddler Microwave Gloves Child Kids Mittens Oven Mitts Polyester Kitchen Baking
aliexpress.ru
816.35 руб.
1pair stainless steel minimal hoop earrings crystal zirconia small huggie thin cartilage earrings helix tragus piercing jewelry
fordeal.com
80.66 руб.
Kids Sticky Ball Dart Target Board, Creative Throw Ball Target Sticky, Outdoor Sports Indoor Cloth Toys, Educational Board Games
temu.com
290.18 руб.
2pcs Luxury Synthetic Zirconia Wedding Ring Romantic Promise Ring For Bride Engagement/wedding Wear
temu.com
7,902.67 руб.
150pcs Free shipping Christmas Hair Clip - Glitter Snowman - Red, Green Clippie
aliexpress.com
74.14 руб.
10Pcs/set LED Flashing Shiny Lights Beam Torch Kids Fashion Light Glow Accessories Red Blue White Green For Party
aliexpress.com
2,189.12 руб.
Мужская мода кроссовки высокого качества на нескользящей подошве; Прогулочная обувь; Мужская модная тенденция, повседневная обувь на шнуро...
aliexpress.com
1,857.53 руб.
Yoga shirt short sleeve important seamless women's fitness crop top workout tops gym clothes sportswear running t-shirt
aliexpress.com
2,189.12 руб.
5PCS, Colour Bracelet Open Size Luxury Brand Bangle For Women Girls Best Gift For Friends
aliexpress.com
1,692.96 руб.
Vintage Retro Space ship Tin toys Classic Clockwork Wind Up satellite Tin Toy For Adult Kids Collectible Gift
aliexpress.com
1,494.99 руб.
for 360 S6 Robot Vacuum Cleaner Accessories Dust Box Filter Home Replacement Sweeper Hepa Spare Parts
aliexpress.com
1,336.12 руб.
70CM-120CM boys and girls sweater knitted turtleneck sweater pullovers in children's solid color base
aliexpress.com
318.55 руб.
Magic Luminous Drawing Board Daw With Light-fun Sketchpad Board Fluorescent Toy And Developing Light Up Toy Big Pack 1pen / Set
aliexpress.com
1,610.68 руб.
1 Set Handheld Vacuum Cleaner Hepa Filter Sponge Filter Kit & 1 Set Replacement Spare Parets Hepa Filter
aliexpress.com
743.83 руб.
Kids DIY Doodle Hand-Painted Graffiti Car 3D Origami Paper Art Craft Assemble Toys Baby Educational Interactive Toys
aliexpress.com
1,420.85 руб.
Hawaiian Men's Shirts Cardigan Summer Short Sleeve Beach Shirts For Men Flower Turn-down Collar Blouse Men Shirt Chemise Homme
aliexpress.com
382.91 руб.
Warm Light Atmosphere Vinyl Art Cloth Photography Background Backdrop Photo Prop
aliexpress.com
248.49 руб.
9.1m Drift Boat Anchor Tow Traction Rope Throw Line Portable Float Buoy Ball Kit Boat Buoyant Accessory Kit
aliexpress.com
1,204.14 руб.
Washer Kit Sprocket Clutch 3/8\\\" FOR Stihl 021 023 025 S170 MS180 MS210
aliexpress.com
5,417.81 руб.
Classic Business Men Suits for Wedding Party Suit Slim Fit for Men Notch Lapel 3 Pieces mens suits (Jacket+Vest+Pants )
aliexpress.com
2,029.29 руб.
Жен. Ботинки Туфли на танкетке Круглый носок Замша Наступила зима Черный / Коричневый / Желтый
lightinthebox.com
2,632.32 руб.
Black/White Coffee Tamper Base – Universal Espresso Tamping Station for 51/54/58mm Portafilters & Tampers – Essential Accessory
aliexpress.com
7,518.94 руб.
Pink A-Line Evening Dresses Sweetheart with Slit Party Dresses Pleated Formal Dresses Chiffon Vestidos De Fiesta فساتين السهرة
aliexpress.com