دانلود کتاب Software-Fehlertoleranz und -Zuverlässigkeit
کتاب تحمل خطا و قابلیت اطمینان نرم افزار نسخه زبان اصلی
دانلود کتاب تحمل خطا و قابلیت اطمینان نرم افزار بعد از پرداخت مقدور خواهد بود
توضیحات کتاب در بخش جزئیات آمده است و می توانید موارد را مشاهده فرمایید
در صورت ایرانی بودن نویسنده امکان دانلود وجود ندارد و مبلغ عودت داده خواهد شد
توضیحاتی در مورد کتاب Software-Fehlertoleranz und -Zuverlässigkeit
نام کتاب : Software-Fehlertoleranz und -Zuverlässigkeit
ویرایش : 1
عنوان ترجمه شده به فارسی : تحمل خطا و قابلیت اطمینان نرم افزار
سری : Informatik-Fachberichte 83
نویسندگان : Eike Best (auth.), Fevzi Belli, Silvia Pfleger, Manfred Seifert (eds.)
ناشر : Springer-Verlag Berlin Heidelberg
سال نشر : 1984
تعداد صفحات : 306
ISBN (شابک) : 9783540133834 , 9783642697050
زبان کتاب : German
فرمت کتاب : pdf
حجم کتاب : 16 مگابایت
بعد از تکمیل فرایند پرداخت لینک دانلود کتاب ارائه خواهد شد. درصورت ثبت نام و ورود به حساب کاربری خود قادر خواهید بود لیست کتاب های خریداری شده را مشاهده فرمایید.
توضیحاتی در مورد کتاب :
1 این گزارش در مورد تحمل خطا و قابلیت اطمینان نرم افزار به یک منطقه مشکل از مبحث گسترده تحمل خطا در سیستم های محاسباتی می پردازد، که در سال های اخیر به طور فزاینده ای مهم و جالب شده است. در حالی که در گذشته تمرکز مفاهیم و پیاده سازی های تحمل خطا بر افزایش قابلیت اطمینان سیستم های محاسباتی از طریق اقداماتی برای جلوگیری از خرابی قطعات سخت افزاری بود، نیاز به گنجاندن نرم افزار نیز در این تلاش ها به طور فزاینده ای در حال افزایش است. با استفاده از سیستم های محاسباتی در زمینه های مختلف، تعداد و وسعت برنامه های کاربردی حیاتی و در نتیجه الزامات برای قابلیت اطمینان نرم افزار مورد استفاده نیز افزایش می یابد. بنابراین، تکنیک‌هایی که امکان ایجاد نرم‌افزارهای بدون خطا، مقاوم در برابر خطا و قوی را فراهم می‌کنند، عملکرد کلیدی جدیدی برای سیستم‌های آینده دارند. با این حال، قبل از پرداختن به مسائل خاص تحمل خطا و قابلیت اطمینان نرم‌افزار، به نظر می‌رسد که ارزیابی وضعیت هنر در تئوری و عمل و تلاش برای بررسی فعالیت‌های جاری مهم باشد. این جلد یک نمای اولیه ارائه می دهد و هدف آن ایجاد زمینه ای برای بحث های بیشتر است. اساساً از مشارکت در کارگاه آموزشی در دانشگاه در برمرهاون ناشی شد. هدف این کارگاه تبادل اطلاعات و بحث در مورد مشکل فوق الذکر و موضوعات مرتبط بود. 63 کارشناس از حوزه های آموزشی، پژوهشی و صنعتی شرکت کردند.
فهرست مطالب :
Front Matter....Pages I-VII
Formale Methoden Zur Erstellung Robuster Software....Pages 1-9
Studieren geht über Probieren oder Didaktik und Methodik der fehlerpräventiven Programmentwicklung....Pages 10-23
Ein Schritt in Richtung Auf Fail-Safe Software....Pages 24-38
Aspekte der Konstruktion robuster Software....Pages 39-50
Ein effizientes Verfahren zur Fehlererkennung in sortierten Feldern und Listen....Pages 51-62
Zur Verwendung fehlertoleranter Datenstrukturen im Arbeitsplatz-Rechner ATTEMPTO....Pages 63-72
Fehlermodellierung bei Simulation und Verifikation von Fehlertoleranz-Algorithmen für Verteilte Systeme....Pages 73-88
Error Recovery in einer verteilten Systemarchitektur....Pages 89-98
Reliable Remote Procedure Calls (Extended Abstract)....Pages 99-104
Strategien zur Festlegung von Rücksetzpunkten in Prozeβ-Systemen unter Berücksichtigung der Programm-Redundanz zur Ausnahmebehandlung....Pages 105-117
Implementierte Checkpoint/Restart Fehlertoleranztechnik in der Praxis....Pages 118-132
Experimente Mit N-Version Programmierung auf Dem Dirmu Multiprozessorsystem....Pages 133-142
Votierung in PDV-Systemen mit diversitärer Redundanz....Pages 143-154
Der Einsatz von Software-Diversität in Systemen mit hohen Zuverlässigkeitsanforderungen....Pages 155-165
CPS 32, ein neues Computer-Konzept für Fehlertoleranz und Erweiterbarkeit....Pages 166-169
VISO-DATA — Fehlertoleranter Systemverbund....Pages 170-179
Das Fehlertolerante Informationssystem 8832 Das Fehlertoleranzkonzept....Pages 180-188
Das Fehlertolerante System Tandem T16....Pages 189-200
Recovery-Verfahren bei UDS ab Version V4.0, darqestellt anhand ausgewählter Problemfälle....Pages 201-213
Rechnerarchitekturen zur Unterstützung korrekter und transparenter Programmierung....Pages 214-225
Die Fehlertoleranzeigenschaften der Puffermaschine....Pages 226-243
Leistungsbreite von automatischen Analyse- und Testwerkzeugen für FORTRAN und PL/1 — Ein Erfahrungsbericht....Pages 244-252
Ein Bündel heuristischer Methoden zur kostenoptimalen Bestimmung und Sicherung von Software-Zuverlässigkeit....Pages 253-267
Methoden zur Erstellung und Prüfung von Software für sicherheitsrelevante Prozeßrechnersysteme....Pages 268-280
Beurteilung von Verfahren zur Tolerierung von Softwarefehlern....Pages 281-292
Formale Methoden oder pragmatisches Vorgehen für die Software-Fehlertoleranz und -Zuverlässigkeit?....Pages 293-297
توضیحاتی در مورد کتاب به زبان اصلی :
1m vorliegenden Bericht tiber Software-Fehlertoleranz und -Zuverlassigkeit wird ein Problemkreis aus dem weitgefacherten Themenkomplex der Fehlertoleranz in Rechensystemen aufgegriffen, der in den letzten Jahren zunehmend an Bedeutung und Interesse gewonnen hat. Wahrend in der Vergangenheit ein Schwerpunkt der Fehlertoleranz-Konzepte und -Realisierungen darin lag, die Zuverlassigkeit von Rechensystemen durch MaBnahmen gegen den Ausfall von Hardware-Komponenten zu erhohen, wachst zusehends der Bedarf, auch Software in diese Bemtihungen mit einzubeziehen. Mit dem Einsatz von Rechensystemen in verschiedensten Bereichen steigen auch die Zahl und das AusmaB kritischer Anwendungen und somit die Anforderungen an die Zuverlassigkeit der eingesetzten Software. Techniken, die es gestatten, fehlerfreie, fehlertolerante und robuste Software zu erstellen, kommt daher eine neue Schltisselfunktion ftir zuklinftige Systeme zu. Bevor man jedoch spezielle Fragestellungen der Software-Fehlertoleranz und Software-Zuverlassigkeit angeht, erscheint es wichtig, den Stand der Technik in Theorie und Praxis zu erfassen und eine Bestandsaufnahme von laufenden Aktivitaten zu versuchen. Dieser Band gibt einen ersten Uberblick und will eine Basis ftir weitere Diskussionen schaffen. Er entstand im wesentlichen aus Beitragen zu einem Workshop an der Hochschule in Bremerhaven. Ziel des Workshops war der Informationsaustausch und die Diskussion zum oben erwahnten Problemkreis und zu verwandten Themen. Es nahmen 63 Fachleute aus den Bereichen Lehre, Forschung und Industrie teil.
پست ها تصادفی