Digitale Hardware/Software-Systeme: Spezifikation und Verifikation

سیستم های جاسازی شده به بخشی جدایی ناپذیر از زندگی روزمره ما تبدیل شده اند. به دلیل تخصص آنها، اینها به طور فزاینده ای از تعامل اجزای سخت افزاری و نرم افزاری درک می شوند. این امر مستلزم درک جامعی از مشکل تأیید است که فراتر از مرزهای سخت افزاری و نرم افزاری است. این کتاب درسی به عنوان مقدمه ای برای تأیید سیستماتیک سیستم های تعبیه شده، هم برای رویه های تخصصی برای تأیید سخت افزار و نرم افزار و هم برای تأیید رابط ها عمل می کند. تمام مراحل در یک نماد یکنواخت برای سخت افزار و نرم افزار توضیح داده شده است. جنبه‌های اساسی، از مشخصات، از تأیید عملکرد تا بررسی رفتار زمانی، دامنه را شامل می‌شوند. این کتاب به دانشجویان علوم کامپیوتر، مهندسی برق، فناوری اطلاعات و مکاترونیک دانش عمیق ارائه می دهد و همچنین یک مرجع ارزشمند برای توسعه دهندگان سیستم های جاسازی شده است.

Eingebettete Systeme sind aus unserem täglichen Leben nicht mehr wegzudenken. Aufgrund ihrer Spezialisiertheit werden diese zunehmend aus interagierenden Hardware- und Software-Komponenten realisiert. Dies macht ein ganzheitliches, über Hardware- und Softwaregrenzen hinausgehendes Verständnis der Verifikationsproblematik erforderlich. Das vorliegende Lehrbuch dient als Einführung in die systematische Verifikation eingebetteter Systeme, sowohl bei spezialisierten Verfahren zur Hardware- und Software-Verifikation als auch bei der Verifikation der Schnittstellen. Alle Verfahren werden in einer einheitlichen Notation für Hard- und Software beschrieben. Die wesentlichen Aspekte reichen, angefangen bei der Spezifikation, von der Verifikation der Funktionalität bis hin zur Überprüfung des Zeitverhaltens. Das vorliegende Buch bietet Studierenden der Informatik, Elektrotechnik, Informationstechnik und Mechatronik fundiertes Wissen und ist zugleich ein wertvolles Referenz- und Nachschlagewerk für Entwickler eingebetteter Systeme.