کلمات کلیدی : PLC, IEC 61131, modeling, automata, verification, model checking, nuXmv,کنترلر های منطقی برنامه پذیر
توضیحات :
<style>
#filesell_pps_div1{margin:5px auto;padding:5px;min-width:300px;max-width:500px;border:1px solid #a9a9a9 !important;background-color:#ffffff !important;color:#000000 !important;font-family:tahoma !important;font-size:13px !important;line-height:140% !important;border-radius:5px;}
</style>
<section id="filesell_pps_div1" dir="rtl">
<h1 style="font-size:14px !important;font-family:tahoma;color:navy !important;padding:5px;margin:0px;"><a style="color:navy !important;text-decoration:none !important;font-weight:bold;" href="https://ifreepaper.sellfile.ir/prod-368063-بکارگیری+بررسی+مدل+برای+برنامه+های+PLC+در+اندازه+و+سطوح+صنعتی.html?r=14253"> بکارگیری بررسی مدل برای برنامه های PLC در اندازه و سطوح صنعتی </a></h1>
<img src="https://ifreepaper.sellfile.ir/prod-images/thumb/368063x150.jpg" border="0" align="right" width="150" style="padding:5px;">
Abstract—Programmable Logic Controllers (PLCs) are embedded computers widely used in industrial control systems. Ensuring that a PLC software complies with its specification is a challenging task. Formal verification has become a recommended practice to ensure the correctness of safety-critical software but is still underused in industry due to the complexity of building and managing formal models of real applications. In this paper, we propose a general methodology to perform automated model checking of complex properties expressed in temporal logics (e.g., CTL, LTL) on PLC programs. This methodology is based on an Intermediate Model (IM), meant to transform PLC programs written in various standard languages (ST, SFC, etc.) to different modeling languages of verification tools. We present the syntax and semantics of the IM and the transformation rules of the ST and SFC languages to the nuXmv model checker passing through the intermediate model. Finally, two real cases st ...<br clear="both">
<div style="border-radius:3px;border:1px solid #0066aa;font-size:20px;font-family:arial;color:#ffffff !important;padding:5px;margin:0px;background-color:#0066cc;width:100px;margin:5px auto;text-align:center;"><a style="color:#ffffff !important;text-decoration:none !important;font-weight:bold;" href="http://ifreepaper.sellfile.ir/prod-368063-بکارگیری+بررسی+مدل+برای+برنامه+های+PLC+در+اندازه+و+سطوح+صنعتی.html?r=14253" target="_blank"> دریافت فایل </a></div>
</section>