دانلود کتاب Platzierung von Softwarekomponenten auf Mehrkernprozessoren: Automatisierte Konstruktion und Analyse für funktionssichere Systeme
کتاب قرار دادن اجزای نرم افزار بر روی پردازنده های چند هسته ای: ساخت و تجزیه و تحلیل خودکار برای سیستم های قابل اعتماد عملکردی نسخه زبان اصلی
دانلود کتاب قرار دادن اجزای نرم افزار بر روی پردازنده های چند هسته ای: ساخت و تجزیه و تحلیل خودکار برای سیستم های قابل اعتماد عملکردی بعد از پرداخت مقدور خواهد بود
توضیحات کتاب در بخش جزئیات آمده است و می توانید موارد را مشاهده فرمایید
توضیحاتی در مورد کتاب Platzierung von Softwarekomponenten auf Mehrkernprozessoren: Automatisierte Konstruktion und Analyse für funktionssichere Systeme
نام کتاب : Platzierung von Softwarekomponenten auf Mehrkernprozessoren: Automatisierte Konstruktion und Analyse für funktionssichere Systeme
ویرایش : 1
عنوان ترجمه شده به فارسی : قرار دادن اجزای نرم افزار بر روی پردازنده های چند هسته ای: ساخت و تجزیه و تحلیل خودکار برای سیستم های قابل اعتماد عملکردی
سری :
نویسندگان : Robert Hilbrich (auth.)
ناشر : Springer Vieweg
سال نشر : 2015
تعداد صفحات : 253
ISBN (شابک) : 9783658111724 , 9783658111731
زبان کتاب : German
فرمت کتاب : pdf
حجم کتاب : 5 مگابایت
بعد از تکمیل فرایند پرداخت لینک دانلود کتاب ارائه خواهد شد. درصورت ثبت نام و ورود به حساب کاربری خود قادر خواهید بود لیست کتاب های خریداری شده را مشاهده فرمایید.
توضیحاتی در مورد کتاب :
این کار یک روش مبتنی بر مدل را برای قرار دادن خودکار اجزای نرم افزار با در نظر گرفتن الزامات زمان واقعی و قابلیت اطمینان در هوافضا ارائه می دهد. این بر اساس لایت موتیف "درست بودن توسط ساخت" است و مسئله پیچیده را بر روی یک مشکل رضایت محدودیت ترسیم می کند. این فرآیند به عنوان یک ابزار نرم افزاری پیاده سازی شده و استفاده از آن با استفاده از دو مطالعه موردی از هوافضا نشان داده شده است. نویسنده نشان می‌دهد که این کار پر زحمت و پرخطا را می‌توان خودکار کرد تا مکان‌های صحیحی برای سیستم‌های با اندازه واقعی در عرض چند دقیقه روی رایانه‌های رومیزی معمولی ایجاد شود.
فهرست مطالب :
Front Matter....Pages I-XIII
Einführung....Pages 1-9
Grundlagen....Pages 11-26
Verwandte Arbeiten....Pages 27-53
Beitrag zur Theorieentwicklung der Platzierung von Softwarekomponenten....Pages 55-86
Automatisierung der räumlichen Platzierung....Pages 87-128
Automatisierung der zeitlichen Platzierung....Pages 129-153
Fallbeispiele....Pages 155-197
Zusammenfassung und Ausblick....Pages 199-211
Back Matter....Pages 213-247
توضیحاتی در مورد کتاب به زبان اصلی :
In dieser Arbeit wird ein modellbasiertes Verfahren zur automatisierten Platzierung von Softwarekomponenten unter Berücksichtigung der Echtzeit- und Zuverlässigkeitsanforderungen in der Luft- und Raumfahrt vorgestellt. Es orientiert sich am Leitmotiv „Correctness by Construction“ und bildet die komplexe Problematik auf ein Constraint Satisfaction Problem ab. Das Verfahren wird als Softwarewerkzeug realisiert und dessen Einsatz anhand von zwei Fallbeispielen aus der Luft- und Raumfahrt demonstriert. Der Autor zeigt, dass diese aufwändige und fehlerträchtige Aufgabe automatisierbar ist, sodass korrekte Platzierungen für Systeme realer Größe innerhalb weniger Minuten auf regulären Desktop-Computern konstruiert werden können.
پست ها تصادفی