کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
700639 | 890900 | 2007 | 13 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
Improving automation software dependability: A role for formal methods?
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
کلمات کلیدی
موضوعات مرتبط
مهندسی و علوم پایه
سایر رشته های مهندسی
مهندسی هوافضا
پیش نمایش صفحه اول مقاله
![عکس صفحه اول مقاله: Improving automation software dependability: A role for formal methods? Improving automation software dependability: A role for formal methods?](/preview/png/700639.png)
چکیده انگلیسی
The growth of manufacturing control software from simple NC and PLC-based systems to concurrent networked systems incorporating PCs, PLCs, CNCs, and enterprise databases has created new challenges to the design, implementation, and maintenance of safe and dependable manufacturing systems. Key milestones in this evolution, and the prospects for the use of formal verification methods in achieving enhanced dependability of future manufacturing software, are examined in this paper and presentation.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Control Engineering Practice - Volume 15, Issue 11, November 2007, Pages 1403–1415
Journal: Control Engineering Practice - Volume 15, Issue 11, November 2007, Pages 1403–1415
نویسندگان
Timothy L. Johnson,