دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
ویرایش: 1 نویسندگان: Eike Best (auth.), Fevzi Belli, Silvia Pfleger, Manfred Seifert (eds.) سری: Informatik-Fachberichte 83 ISBN (شابک) : 9783540133834, 9783642697050 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 1984 تعداد صفحات: 306 زبان: German فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 16 مگابایت
در صورت ایرانی بودن نویسنده امکان دانلود وجود ندارد و مبلغ عودت داده خواهد شد
کلمات کلیدی مربوط به کتاب تحمل خطا و قابلیت اطمینان نرم افزار: مهندسی نرم افزار، شبکه های ارتباطی کامپیوتری، الکترونیک و میکروالکترونیک، ابزار دقیق
در صورت تبدیل فایل کتاب Software-Fehlertoleranz und -Zuverlässigkeit به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب تحمل خطا و قابلیت اطمینان نرم افزار نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
این گزارش در مورد تحمل خطا و قابلیت اطمینان نرمافزار به یکی از موضوعات گستردهتر تحمل خطا در سیستمهای محاسباتی میپردازد که در سالهای اخیر اهمیت و علاقه فزایندهای پیدا کرده است. در حالی که در گذشته یکی از تمرکز مفاهیم و پیاده سازی های تحمل خطا افزایش قابلیت اطمینان سیستم های محاسباتی با اتخاذ اقداماتی برای جلوگیری از خرابی قطعات سخت افزاری بود، نیاز روزافزونی به گنجاندن نرم افزار نیز در این تلاش ها وجود دارد. با استفاده از سیستم های محاسباتی در زمینه های مختلف، تعداد و وسعت برنامه های کاربردی حیاتی و در نتیجه الزامات برای قابلیت اطمینان نرم افزار مورد استفاده نیز افزایش می یابد. بنابراین، تکنیکهایی که امکان ایجاد نرمافزارهای بدون خطا، مقاوم در برابر خطا و مقاوم را فراهم میکنند، عملکرد کلیدی جدیدی برای سیستمهای آینده دارند. با این حال، قبل از پرداختن به مسائل خاص تحمل خطای نرم افزار و قابلیت اطمینان نرم افزار، به نظر می رسد مهم است که وضعیت هنر را در تئوری و عمل ثبت کنیم و سعی کنیم فعالیت های در حال انجام را بررسی کنیم. این جلد یک نمای اولیه ارائه می دهد و هدف آن ایجاد زمینه ای برای بحث های بیشتر است. اساساً از مشارکت در کارگاه آموزشی در دانشگاه برمرهاون نشات گرفته است. هدف از این کارگاه تبادل اطلاعات و بحث در مورد مشکل فوق الذکر و موضوعات مرتبط بود. 63 کارشناس از حوزه های آموزشی، پژوهشی و صنعتی شرکت کردند.
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.
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