دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
دسته بندی: کامپیوتر ویرایش: 1 نویسندگان: Colin Atkinson, Christian Bunse, Christian Peper, Hans-Gerhard Gross (auth.), Colin Atkinson, Christian Bunse, Hans-Gerhard Gross, Christian Peper (eds.) سری: Lecture Notes in Computer Science 3778 : Programming and Software Engineering ISBN (شابک) : 3540306447, 9783540306443 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2005 تعداد صفحات: 353 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 7 مگابایت
کلمات کلیدی مربوط به کتاب توسعه نرم افزار مبتنی بر کامپوننت برای سیستم های جاسازی شده: مروری بر روند تحقیقات فعلی: مهندسی نرم افزار، سیستم عامل
در صورت تبدیل فایل کتاب Component-Based Software Development for Embedded Systems: An Overview of Current Research Trends به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب توسعه نرم افزار مبتنی بر کامپوننت برای سیستم های جاسازی شده: مروری بر روند تحقیقات فعلی نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
سیستم های تعبیه شده در همه جا وجود دارند. آنها در تلفن های همراه، اجاق های مایکروویو، یخچال ها، لوازم الکترونیکی مصرفی، اتومبیل ها و جت ها ظاهر می شوند. برخی از این سازههای تعبیهشده از نظر ایمنی یا امنیت حیاتی هستند، مانند تجهیزات پزشکی، نیروگاههای هستهای و سیستمهای کنترل X-by-wire در حملونقل دریایی، زمینی و هوافضا - وسایل نقلیه. با تغییر مداوم از سخت افزار به نرم افزار، سیستم های جاسازی شده به طور فزاینده ای تحت سلطه نرم افزارهای جاسازی شده قرار می گیرند. نرم افزار تعبیه شده پیچیده است. مهندسی آن ذاتاً شامل یک تعامل چند رشته ای با فیزیک سیستم یا محیط تعبیه شده است. نرم افزارهای جاسازی شده نیز در تعداد و تنوع بیشتری عرضه می شوند. نسل بعدی خودروهای پریمیوم دارای حدود یک گیگابایت کد باینری خواهند بود. زیردریایی پیشنهادی DDX ایالات متحده در واقع یک سیستم نرم افزاری تعبیه شده است که شامل 30 میلیارد خط کد نوشته شده در بیش از 100 زبان برنامه نویسی است. نرم افزار تعبیه شده گران است. برآورد هزینه در حدود 15 تا 30 دلار آمریکا در هر خط (از شروع تا حمل و نقل) ذکر شده است. در حوزه دفاعی، هزینه ها می تواند تا 100 دلار باشد، در حالی که برای برنامه های بسیار حیاتی، مانند شاتل فضایی، هزینه هر خط تقریباً 1000 دلار است. با توجه به افزایش تصاعدی پیچیدگی، هزینههای پیشبینیشده نرمافزار تعبیهشده در آینده سرسامآور است.
Embedded systems are ubiquitous. They appear in cell phones, microwave ovens, refrigerators, consumer electronics, cars, and jets. Some of these embedded s- tems are safety- or security-critical such as in medical equipment, nuclear plants, and X-by-wire control systems in naval, ground and aerospace transportation - hicles. With the continuing shift from hardware to software, embedded systems are increasingly dominated by embedded software. Embedded software is complex. Its engineering inherently involves a mul- disciplinary interplay with the physics of the embedding system or environment. Embedded software also comes in ever larger quantity and diversity. The next generation of premium automobiles will carry around one gigabyte of binary code. The proposed US DDX submarine is e?ectively a ?oating embedded so- ware system, comprising 30 billion lines of code written in over 100 programming languages. Embedded software is expensive. Cost estimates are quoted at around US$15– 30 per line (from commencement to shipping). In the defense realm, costs can range up to $100, while for highly critical applications, such as the Space Shuttle, the cost per line approximates $1,000. In view of the exponential increase in complexity, the projected costs of future embedded software are staggering.
Front Matter....Pages -
Component-Based Software Development for Embedded Systems – An Introduction....Pages 1-7
Specification and Verification of Applications Based on Function Blocks....Pages 8-34
A Model-Based Approach to Formal Specification and Verification of Embedded Systems Using Colored Petri Nets....Pages 35-58
Modular Verification of Reconfigurable Components....Pages 59-81
Behavioral Types for Embedded Software – A Survey....Pages 82-106
Assessing Real-Time Component Contracts Through Built-in Evolutionary Testing....Pages 107-122
Platform-Independent Specification of Component Architectures for Embedded Real-Time Systems Based on an Extended UML....Pages 123-142
Model Driven Software Development in the Context of Embedded Component Infrastructures....Pages 143-163
A Component Framework for Consumer Electronics Middleware....Pages 164-184
Connecting Embedded Devices Using a Component Platform for Adaptable Protocol Stacks....Pages 185-208
CoConES : An Approach for Components and Contracts in Embedded Systems....Pages 209-231
Adopting a Component-Based Software Architecture for an Industrial Control System – A Case Study....Pages 232-248
Specification and Evaluation of Safety Properties in a Component-Based Software Engineering Process....Pages 249-274
Performance Evaluation Approaches for Software Architects....Pages 275-295
Component-Based Engineering of Distributed Embedded Control Software....Pages 296-319
Component-Based Development of Dependable Systems with UML....Pages 320-344
Back Matter....Pages -