دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
ویرایش: 1
نویسندگان: Malte Schmitz (auth.)
سری: BestMasters
ISBN (شابک) : 9783658128517, 9783658128524
ناشر: Springer Vieweg
سال نشر: 2016
تعداد صفحات: 186
زبان: German
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 2 مگابایت
کلمات کلیدی مربوط به کتاب تأیید زمان اجرا توزیع شده در سیستم های جاسازی شده: ساختارهای منطقی و نظارتی برای فرآیندهای ناهمزمان: تئوری محاسبات، مهندسی نرم افزار/برنامه نویسی و سیستم های عامل، سازمان سیستم های کامپیوتری و شبکه های ارتباطی
در صورت تبدیل فایل کتاب 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