توضیحات
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, Jrme Hugues, Agusti Canals and Alain Dohet.
Part 1. General Concepts
1. Elements for the Design of Embedded Computer Systems, Fabrice Kordon, Jrme Hugues, Agusti Canals and Alain Dohet.
2. Case Study: Pacemaker, Fabrice Kordon, Jrme 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, Loc 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, Sbastien Grard and Franois Terrier.
7. Case Study Modeling Using MARTE, Jrme Delatour and Jol 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 Sbastien Grard.
Part 4. AADL
10. Presentation of the AADL Concepts, Jrme Hugues and Xavier Renault.
11. Case Study Modeling Using AADL, Etienne Borde.
12. Model-Based Analysis, Thomas Robert and Jrme Hugues.
13. Model-Based Code Generation, Laurent Pautet and Bchir 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 Modlisation et vrification of the LIP6. His research field is at the crossroads of distributed systems, software engineering and formal methods.
Jrme Hugues is lecturer-researcher at the Institut Suprieur de lAronautique et de lEspace (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 Systmes in Paris, France since 1981. He is deputy director of the Direction de la Qualit et des Audits Techniques (DQAT) of CS and an expert in software engineering (certified UML Professional and SysML Builder by OMG).
Alain Dohet is a general armament engineer at the Direction Gnrale pour lArmement (organization of the French Defense Minister ensuring the conduct of system programs), where he is in charge of guiding activities, skills, methods and tools in the fields of systems of systems (SoS), systems engineering, analysis for certification purposes, operational safety of embedded computing systems and critical software.ترجمه ماشینی :
از زمان ساخت اولین سیستم تعبیه شده در دهه 1960، سیستم های تعبیه شده به گسترش خود ادامه دادند. آنها به طور مداوم تعداد فزاینده ای از خدمات را ارائه می دهند و بخشی از زندگی روزمره ما هستند. توسعه این سیستم ها مشکلی دشوار است که هنوز راه حل جهانی ندارد. مشکل دیگر این است که سیستمها به دنیای واقعی فرو میروند، دنیایی که گسسته نیست (همانطور که عموماً در محاسبات درک میشود)، اما دارای رفتارهای فراوانی است که گاهی اوقات به دلیل ماهیت عموماً مستقل خود مانع از فرمولبندی مفروضات سادهکننده میشود و احتمالاً باید با آن مواجه شوند. موقعیتهای پیشبینینشده (مثلاً حوادث)، یا حتی موقعیتهایی که خارج از مفروضات طراحی اولیه قرار دارند.
سیستمهای تعبیهشده وضعیت هنر توسعه سیستمهای تعبیهشده را ارائه میکند و بهویژه، بر مدلسازی و تحلیل آن تمرکز میکند. این سیستم ها با نگاهی به مهندسی مدل محور، (MDE2): SysML، UML/MARTE و AADL. یک مطالعه موردی (بر اساس یک ضربانساز) ارائه شده است که خواننده را قادر میسازد تا نحوه پرداختن به جنبههای مختلف یک سیستم را با استفاده از رویکردهای مختلف مشاهده کند. هر سه سیستم از این جهت مهم هستند که دیدی کلی از امکانات خود در اختیار خواننده قرار می دهند و سهم هر رویکرد را در مراحل مختلف چرخه عمر نرم افزار نشان می دهند. فصول اختصاص یافته به تجزیه و تحلیل مشخصات و تولید کد نیز ارائه شده است.
محتوا
پیشگفتار، برایان آر. لارسون.
پیشگفتار، دومینیک پوتیه.
مقدمه، Fabrice Kordon، Jrme Hugues، Agusti Canals و Alain Dohet.
بخش 1. مفاهیم کلی
1. عناصری برای طراحی سیستم های کامپیوتری جاسازی شده، فابریس کوردون، جرمه هوگ، کانال آگوستی و آلن دوهت.
2. مطالعه موردی: پیس میکر، فابریس کوردون، جرمه هوگ، کانال آگوستی و آلن دوهت.
بخش 2. SysML
3. ارائه مفاهیم SysML، Jean-Michel Bruel و Pascal Roques.
4. مدلسازی مطالعه موردی با استفاده از کانالهای SysML، Loc Fejoz، Philippe Leblanc و Agusti.
5. تجزیه و تحلیل نیازمندی ها، لودویک آپوریل و پیر دی ساکی-سانس.
بخش 3. MARTE
6. مقدمه ای بر مفاهیم MARTE، Sbastien Grard و Franois Terrier.
7. مدلسازی مطالعه موردی با استفاده از MARTE، Jrme Delatour و Jol Champeau.
8. تحلیل مبتنی بر مدل، فردریک بونیول، فیلیپ داوسی، لوکا لو روکس و ژان چارلز راجر.
9. استقرار مبتنی بر مدل و تولید کد، Chokri Mraidha، Ansgar Radermacher و Sbastien Grard.
بخش 4. AADL
10. ارائه مفاهیم AADL، Jrme Hugues و Xavier Renault.
11. مدلسازی مطالعه موردی با استفاده از AADL، Etienne Borde.
12. تحلیل مبتنی بر مدل، توماس رابرت و جرم هیگ.
13. تولید کد مبتنی بر مدل، لوران پاوت و بچیر زالیلا.
درباره نویسندگان
فابریس کوردون، استاد دانشگاه پیر و ماری کوری در پاریس، فرانسه است، جایی که او مسئول آن است. تیم Modlisation et vrification LIP6. زمینه تحقیقاتی او در تقاطع سیستمهای توزیعشده، مهندسی نرمافزار و روشهای رسمی است.
Jrme Hugues مدرس-محقق در Institut Suprieur de lAronautique et de lEspace (ISAE) در تولوز، فرانسه است و عضوی از کمیته استانداردسازی زبان (AADL) از سال 2006. زمینه های تحقیقاتی او مهندسی سیستم های تعبیه شده و تولید کد خودکار این سیستم ها از زبان های مدل سازی، ادغام ابزارهای تایید و تحلیل در سطح مدل و کد را شامل می شود.
کانال آگوستی او یک مهندس نرم افزار است و از سال 1981 در CS Communication et Systmes در پاریس، فرانسه کار کرده است. او معاون مدیر تکنیک های کنترل کیفیت و حسابرسی (DQAT) CS و متخصص در مهندسی نرم افزار (دارای گواهینامه UML Professional و SysML Builder) است. توسط OMG).
آلن دوهت یک مهندس عمومی تسلیحات در Direction Gnrale pour lArmement (سازمان وزیر دفاع فرانسه که اجرای برنامه های سیستم را تضمین می کند) است، جایی که او مسئول هدایت فعالیت ها، مهارت ها، روش ها و ابزار است. در زمینه های سیستم های سیستم ها (SoS)، مهندسی سیستم ها، تجزیه و تحلیل برای اهداف صدور گواهینامه، ایمنی عملیاتی سیستم های محاسباتی جاسازی شده و نرم افزارهای حیاتی.
tag : دانلود کتاب سیستم های جاسازی شده: تجزیه و تحلیل و مدل سازی با SysML، UML و AADL , Download سیستم های جاسازی شده: تجزیه و تحلیل و مدل سازی با SysML، UML و AADL , دانلود سیستم های جاسازی شده: تجزیه و تحلیل و مدل سازی با SysML، UML و AADL , Download Embedded Systems: Analysis and Modeling with SysML, UML and AADL Book , سیستم های جاسازی شده: تجزیه و تحلیل و مدل سازی با SysML، UML و AADL دانلود , buy سیستم های جاسازی شده: تجزیه و تحلیل و مدل سازی با SysML، UML و AADL , خرید کتاب سیستم های جاسازی شده: تجزیه و تحلیل و مدل سازی با SysML، UML و AADL , دانلود کتاب Embedded Systems: Analysis and Modeling with SysML, UML and AADL , کتاب Embedded Systems: Analysis and Modeling with SysML, UML and AADL , دانلود Embedded Systems: Analysis and Modeling with SysML, UML and AADL , خرید Embedded Systems: Analysis and Modeling with SysML, UML and AADL , خرید کتاب Embedded Systems: Analysis and Modeling with SysML, UML and AADL ,
نقد و بررسیها
هنوز بررسیای ثبت نشده است.