شبکه: اینترنت

سیستم های بلادرنگ: مشخصات رسمی و تأیید خودکار

Real-Time Systems: Formal Specification and Automatic Verification

دانلود کتاب Real-Time Systems: Formal Specification and Automatic Verification (به فارسی: سیستم های بلادرنگ: مشخصات رسمی و تأیید خودکار) نوشته شده توسط «Ernst-Rüdiger Olderog – Henning Dierks»

اطلاعات کتاب سیستم های بلادرنگ: مشخصات رسمی و تأیید خودکار

موضوع اصلی: کامپیوتر – شبکه

نوع: کتاب الکترونیکی

ناشر: Cambridge University Press

نویسنده: Ernst-Rüdiger Olderog – Henning Dierks

زبان: english

فرمت کتاب: PDF (قابل تبدیل به سایر فرمت ها)

سال انتشار: 2008

تعداد صفحه: 338

حجم فایل: 1.73 مگابایت

کد کتاب: 0521883334 , 9780521883337

نوبت چاپ: 1

توضیحات کتاب سیستم های بلادرنگ: مشخصات رسمی و تأیید خودکار

سیستم های بلادرنگ باید در محدوده زمانی معین به محرک های ورودی خاصی واکنش نشان دهند. به عنوان مثال، یک کیسه هوا در یک خودرو باید در عرض 300 میلی ثانیه در یک تصادف باز شود. بسیاری از برنامه‌های کاربردی حیاتی تعبیه‌شده برای ایمنی وجود دارد و هر کدام به تکنیک‌های مشخصه در زمان واقعی نیاز دارند. این متن سه تا از این تکنیک‌ها را بر اساس منطق و خودکار معرفی می‌کند: محاسبات مدت، خودکارهای زمان‌دار و خودکارهای PLC. این تکنیک‌ها گرد هم آمده‌اند تا یک جریان طراحی یکپارچه، از الزامات بلادرنگ مشخص‌شده در محاسبات مدت زمان را تشکیل دهند. از طریق طرح های مشخص شده توسط PLC-automata. و به کد منبع برای پلتفرم های سخت افزاری سیستم های تعبیه شده تبدیل شود. نحو، معناشناسی، و روش های اثبات تکنیک های مشخصات معرفی شده است. مهمترین ویژگی های آنها ایجاد می شود. و مثال های واقعی استفاده از آنها را نشان می دهد. مطالعات موردی و تمرین های مفصل هر فصل را به پایان می رساند. ایده آل برای دانشجویان سیستم های بلادرنگ یا سیستم های تعبیه شده، این متن برای محققان و متخصصان حمل و نقل و اتوماسیون نیز بسیار جالب خواهد بود.

Real-time systems need to react to certain input stimuli within given time bounds. For example, an airbag in a car has to unfold within 300 milliseconds in a crash. There are many embedded safety-critical applications and each requires real-time specification techniques. This text introduces three of these techniques, based on logic and automata: duration calculus, timed automata, and PLC-automata. The techniques are brought together to form a seamless design flow, from real-time requirements specified in the duration calculus; via designs specified by PLC-automata; and into source code for hardware platforms of embedded systems. The syntax, semantics, and proof methods of the specification techniques are introduced; their most important properties are established; and real-life examples illustrate their use. Detailed case studies and exercises conclude each chapter. Ideal for students of real-time systems or embedded systems, this text will also be of great interest to researchers and professionals in transportation and automation.

دانلود کتاب «سیستم های بلادرنگ: مشخصات رسمی و تأیید خودکار»

مبلغی که بابت خرید کتاب می‌پردازیم به مراتب پایین‌تر از هزینه‌هایی است که در آینده بابت نخواندن آن خواهیم پرداخت.

برای دریافت کد تخفیف ۲۰ درصدی این کتاب، ابتدا صفحه اینستاگرام کازرون آنلاین (@kazerun.online ) را دنبال کنید. سپس، کلمه «بلیان» را در دایرکت ارسال کنید تا کد تخفیف به شما ارسال شود.

برچسب ها

دیدگاهتان را بنویسید

مبلغی که بابت خرید کتاب می‌پردازیم به مراتب پایین‌تر از هزینه‌هایی است که در آینده بابت نخواندن آن خواهیم پرداخت.
کتابخانه دیجیتال بَلیان