دانلود کتاب Next Generation Design and Verification Methodologies for Distributed Embedded Control Systems: Proceedings of the GM R&D Workshop, Bangalore, India, January 2007
کتاب روش‌های طراحی و تأیید نسل بعدی برای سیستمهای کنترل جاسازی شده توزیع شده: مجموعه مقالات کارگاه تحقیق و توسعه GM، بنگلور، هند، ژانویه 2007 نسخه زبان اصلی
دانلود کتاب روش‌های طراحی و تأیید نسل بعدی برای سیستمهای کنترل جاسازی شده توزیع شده: مجموعه مقالات کارگاه تحقیق و توسعه GM، بنگلور، هند، ژانویه 2007 بعد از پرداخت مقدور خواهد بود
توضیحات کتاب در بخش جزئیات آمده است و می توانید موارد را مشاهده فرمایید
در صورت ایرانی بودن نویسنده امکان دانلود وجود ندارد و مبلغ عودت داده خواهد شد
توضیحاتی در مورد کتاب Next Generation Design and Verification Methodologies for Distributed Embedded Control Systems: Proceedings of the GM R&D Workshop, Bangalore, India, January 2007
نام کتاب : Next Generation Design and Verification Methodologies for Distributed Embedded Control Systems: Proceedings of the GM R&D Workshop, Bangalore, India, January 2007
ویرایش : 1
عنوان ترجمه شده به فارسی : روش‌های طراحی و تأیید نسل بعدی برای سیستمهای کنترل جاسازی شده توزیع شده: مجموعه مقالات کارگاه تحقیق و توسعه GM، بنگلور، هند، ژانویه 2007
سری :
نویسندگان : Edmund M. Clarke, Flavio Lerda (auth.), Chairman S. Ramesh, Prahladavaradan Sampath (eds.)
ناشر : Springer Netherlands
سال نشر : 2007
تعداد صفحات : 303
ISBN (شابک) : 9781402062537 , 9781402062544
زبان کتاب : English
فرمت کتاب : pdf
حجم کتاب : 6 مگابایت
بعد از تکمیل فرایند پرداخت لینک دانلود کتاب ارائه خواهد شد. درصورت ثبت نام و ورود به حساب کاربری خود قادر خواهید بود لیست کتاب های خریداری شده را مشاهده فرمایید.
توضیحاتی در مورد کتاب :
این جلد مجموعه مقالات کارگاه «روش‌های طراحی و تأیید نسل بعدی برای سیستمهای کنترل جاسازی شده توزیع‌شده» است که توسط جنرال موتورز تحقیق و توسعه، آزمایشگاه علوم هند برگزار شده است. این کارگاه در 5-6 ژانویه 2007 در سالن NIAS، پردیس IISc، بنگلور، هند برگزار شد. این کارگاه اولین کارگاهی در نوع خود است که توسط یک رشته خودروسازی برای گرد هم آوردن رهبران در زمینه توسعه سیستم های جاسازی شده برای ارائه کارهای پیشرفته و بحث در مورد استراتژی های آینده برای پرداختن به پیچیدگی فزاینده تعبیه شده برگزار می شود. سیستمهای کنترل. این کارگاه شامل سخنرانی های دعوت شده توسط کارشناسان و محققان برجسته از سازمان های دانشگاهی و صنعتی بود. این کارگاه تمام زمینه های توسعه سیستم های جاسازی شده و به ویژه موارد زیر را پوشش داد:
- مشخصات رسمی و تأیید سیستم های توزیع شده، ناهمگن، تعبیه شده
- معناشناسی رسمی زبانهای مدلسازی
- مشخصات و آزمایش مبتنی بر مدل
- رسمی رویکرد توسعه مبتنی بر مولفه
- مهندسی خط تولید نرم افزار
- تولید کد خودکار برای توزیع شده، تعبیه شده سیستم ها.
فهرست مطالب :
Front-cover......Page 1
Front-matter......Page 2
Preface......Page 5
Acknowledgements......Page 7
Contents......Page 9
Contributors......Page 16
An Abstraction Technique for Real-Time Verification......Page 21
SCADE: Synchronous Design and Validation of Embedded Control Software......Page 38
Model-Based Development of Embedded Systems: The SysWeaver Approach......Page 53
Verification and Integration of Real-Time Control Software......Page 65
Merge Algorithms for Intelligent Vehicles......Page 68
All Those Duration Calculi: An Integrated Approach......Page 83
Adding Time to Scenarios∗......Page 98
Using System-Level Timing Analysis for the Evaluation and Synthesis of Automotive Architectures......Page 113
Verifiable Design of Asynchronous Software......Page 128
Approximate Symbolic Reachability of Networks of Transition Systems......Page 130
Schedule Verification and Synthesis for Embedded Real-Time Components∗......Page 150
An Instrumentation-Based Approach to Controller Validation......Page 167
A Design Methodology for Distributed Real-Time Automotive Applications∗......Page 168
Role of Formal Methods in the Automobile Industry......Page 186
Predicting Failures of and Repairing Inductive Proof Attempts∗......Page 187
Can Semi-Formal be Made More Formal?......Page 202
Beyond Satisfiability: Extensions and Applications∗......Page 221
Compositional Reactive Semantics of SystemC and Verification with RuleBase......Page 234
PSL: Beyond Hardware Verification......Page 251
On the Polychronous Approach to Embedded Software Design......Page 267
Scaling up Model-checking A Case Study......Page 280
Performance Debugging of Heterogeneous Real-Time Systems......Page 289
توضیحاتی در مورد کتاب به زبان اصلی :
This volume is the proceedings of the workshop “Next Generation Design and Verification Methodologies for Distributed Embedded Control Systems” organised by General Motors R&D, India Science Lab. The workshop was held on January 5-6 2007 at the NIAS auditorium, IISc campus, Bangalore, India. This workshop is the first of its kind to be organised by an automotive major to bring together the leaders in the field of embedded systems development to present state-of-the-art work, and to discuss future strategies for addressing the increasing complexity of embedded control systems. The workshop consisted of invited talks given by leading experts and researchers from academic and industrial organizations. The workshop covered all areas of embedded systems development and in particular:
- Formal specification and verification of distributed, heterogeneous, embedded systems
- Formal semantics of modeling languages
- Model-based specification and testing
- Formal approach to component based development
- Software product line engineering
- Automatic code generation for distributed, embedded systems.