کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
10332436 687468 2014 7 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
An integrated toolchain for model based functional safety analysis
ترجمه فارسی عنوان
یک ابزارچین یکپارچه برای تجزیه و تحلیل ایمنی عملکردی مبتنی بر مدل
کلمات کلیدی
شبکه های بیزی، تجزیه و تحلیل ایمنی، طراحی مبتنی بر مدل، تست عملکردی
ترجمه چکیده
افزایش قابل توجهی در پیچیدگی و استقلال سیستم های سخت افزاری، تأیید ایمنی کارکرد هر یک از اجزای فرد و همچنین کل سیستم را به یک کار پیچیده می دهد و نیاز به ابزارهای یکپارچه مبتنی بر مدل که به این روند کمک می کند، تأکید می کند. در این مقاله نویسندگان چنین ابزارهایی را ارائه می دهند، همراه با یک رویکرد به تجزیه و تحلیل ایمنی عملکرد، بر اساس ادغام آزمون های عملکردی به خود مدل. تجزیه و تحلیل مدل حاصل از طریق یک مدل بیسین تصادفی انجام شده است. این رویکرد تلاش می کند تا هر دو ضرورت را برای تست سخت افزار سخت افزاری دور بزند و تجزیه و تحلیل ایمنی عملکرد را به یک فرایند توسعه ی جزء بصری متصل سازد.
موضوعات مرتبط
مهندسی و علوم پایه مهندسی کامپیوتر نظریه محاسباتی و ریاضیات
پیش نمایش مقاله
یک ابزارچین یکپارچه برای تجزیه و تحلیل ایمنی عملکردی مبتنی بر مدل
چکیده انگلیسی
The significant increase in the complexity and autonomy of the hardware systems renders the verification of the functional safety of each individual component as well as of the entire system a complex task and underlines the need for integrated, model based tools that would assist this process. In this paper the authors present such a tool, coupled with an approach to functional safety analysis, based on the integration of functional tests into the model itself. The analysis of the resulting model is done through a stochastic Bayesian model. This approach strives to both bypass the necessity for costly hardware testing and integrate the functional safety analysis into an intuitive component development process.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Journal of Computational Science - Volume 5, Issue 3, May 2014, Pages 408-414
نویسندگان
, , , , ,