ایمنی کارکردی برای سیستم‌های نهفته ۲۰۲۳
Functional Safety for Embedded Systems 2023

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

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

هدف این اثر، ارائه مرجعی مرتبط برای دانشجویان، محققان، مهندسان و متخصصانی است که در این زمینه مشغول به کار هستند یا به روش‌های طراحی بهینه‌سازی هزینه سخت‌افزار و روش‌های طراحی بهینه‌سازی هزینه توسعه بر اساس تضمین ایمنی عملکردی علاقه‌مندند.

This book uses automotive embedded systems as an example to introduce functional safety assurance and safety-aware cost optimization. The book explores functional safety assurance from the perspectives of verification, enhancement, and validation.

The functional safety assurance methods implement a safe and efficient assurance system that integrates safety verification, enhancement, and validation. The assurance methods offered in this book could provide a reasonable and scientific theoretical basis for the subsequent formulation of automotive functional safety standards. The safety-aware cost optimization methods divide cost types according to the essential differences of various costs in system design and establish reasonable models based on different costs. The cost optimization methods provided in this book could give appropriate cost optimization solutions for the cost-sensitive automotive industry, thereby achieving effective cost management and control. Functional safety assurance methods and safety-aware cost optimization support each other and jointly build the architecture of functional safety design methodologies for automotive embedded systems.

The work aspires to provide a relevant reference for students, researchers, engineers, and professionals working in this area or those interested in hardware cost optimization and development cost optimization design methods based on ensuring functional safety in general.