دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Verteilte Laufzeitverifikation auf eingebetteten Systemen: Logiken und Monitorkonstruktionen für asynchrone Prozesse
دانلود کتاب تأیید زمان اجرا توزیع شده در سیستم های جاسازی شده: ساختارهای منطقی و نظارتی برای فرآیندهای ناهمزمان
مشخصات کتاب
Verteilte Laufzeitverifikation auf eingebetteten Systemen: Logiken und Monitorkonstruktionen für asynchrone Prozesse
ویرایش: 1
نویسندگان: Malte Schmitz (auth.)
سری: BestMasters
ISBN (شابک) : 9783658128517, 9783658128524
ناشر: Springer Vieweg
سال نشر: 2016
تعداد صفحات: 186
زبان: German
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 2 مگابایت
قیمت کتاب (تومان) : 32,000
کلمات کلیدی مربوط به کتاب تأیید زمان اجرا توزیع شده در سیستم های جاسازی شده: ساختارهای منطقی و نظارتی برای فرآیندهای ناهمزمان: تئوری محاسبات، مهندسی نرم افزار/برنامه نویسی و سیستم های عامل، سازمان سیستم های کامپیوتری و شبکه های ارتباطی
در صورت تبدیل فایل کتاب Verteilte Laufzeitverifikation auf eingebetteten Systemen: Logiken und Monitorkonstruktionen für asynchrone Prozesse به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب تأیید زمان اجرا توزیع شده در سیستم های جاسازی شده: ساختارهای منطقی و نظارتی برای فرآیندهای ناهمزمان نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب تأیید زمان اجرا توزیع شده در سیستم های جاسازی شده: ساختارهای منطقی و نظارتی برای فرآیندهای ناهمزمان
در کار خود، مالت اشمیتز در نظر می گیرد که چگونه می توان صحت سیستم های توزیع شده را در زمان اجرا کنترل کرد. برای این منظور، او انواع مختلف منطق زمانی خطی (LTL) و ساختارهای مانیتور مرتبط را برای استفاده در تأیید زمان اجرا سیستم‌های توزیع‌شده، ناهمزمان و تعبیه‌شده بررسی و توسعه می‌دهد. کنترل ایمن و صحیح کارخانه های صنعتی با کمک مفاهیم نظارتی نوآورانه در زمان اجرا به عنوان یک مطالعه موردی عمل می کند. نویسنده پروژه خود را به عنوان یک مدل به منظور ارزیابی ساختارهای مختلف مانیتور و تزریق مانیتور از طریق تبدیل برنامه در استفاده عملی اجرا کرده است.
توضیحاتی درمورد کتاب به خارجی
In seiner Arbeit betrachtet Malte Schmitz, wie die Korrektheit von verteilten Systemen zur Laufzeit überwacht werden kann. Dazu untersucht und entwickelt er verschiedene Varianten der linearen Temporallogik (LTL) und zugehörige Monitorkonstruktionen für den Einsatz zur Laufzeitverifikation verteilter, asynchroner, eingebetteter Systeme. Als Fallstudie dient dabei die sichere und korrekte Steuerung von Industrieanlagen mithilfe von innovativen Überwachungskonzepten zur Laufzeit. Der Autor hat sein Projekt modellhaft realisiert, um die verschiedenen Monitorkonstruktionen und die Monitorinjektion durch Programmtransformation im praktischen Einsatz zu evaluieren.
فهرست مطالب
Front Matter....Pages i-xxiii
Einleitung....Pages 1-6
Logiken....Pages 7-50
Monitore....Pages 51-95
Implementierung....Pages 97-152
Zusammenfassung und Ausblick....Pages 153-156
Back Matter....Pages 157-163
