CIVILICA We Respect the Science
ناشر تخصصی کنفرانسهای ایران
عنوان
مقاله

تولید پایشگر درستی یابی زمان اجرای نیازمندی های ایمنی سیستم های واکنشی با استفاده ازشبکه های پتری رنگی زمان دار

اعتبار موردنیاز : ۱ | تعداد صفحات: ۲۱ | تعداد نمایش خلاصه: ۲۰۶ | نظرات: ۰
سال انتشار: ۱۳۹۴
کد COI مقاله: COMCONF01_365
زبان مقاله: فارسی
حجم فایل: ۱۰۲۱.۲۸ کیلوبایت (فایل این مقاله در ۲۱ صفحه با فرمت PDF قابل دریافت می باشد)

راهنمای دانلود فایل کامل این مقاله

اگر در مجموعه سیویلیکا عضو نیستید، به راحتی می توانید از طریق فرم روبرو اصل این مقاله را خریداری نمایید.
با عضویت در سیویلیکا می توانید اصل مقالات را با حداقل ۳۳ درصد تخفیف (دو سوم قیمت خرید تک مقاله) دریافت نمایید. برای عضویت در سیویلیکا به صفحه ثبت نام مراجعه نمایید. در صورتی که دارای نام کاربری در مجموعه سیویلیکا هستید، ابتدا از قسمت بالای صفحه با نام کاربری خود وارد شده و سپس به این صفحه مراجعه نمایید.
لطفا قبل از اقدام به خرید اینترنتی این مقاله، ابتدا تعداد صفحات مقاله را در بالای این صفحه کنترل نمایید.
برای راهنمایی کاملتر راهنمای سایت را مطالعه کنید.

خرید و دانلود فایل مقاله

با استفاده از پرداخت اینترنتی بسیار سریع و ساده می توانید اصل این مقاله را که دارای ۲۱ صفحه است در اختیار داشته باشید.

قیمت این مقاله : ۳,۰۰۰ تومان

آدرس ایمیل خود را در کادر زیر وارد نمایید:

مشخصات نویسندگان مقاله تولید پایشگر درستی یابی زمان اجرای نیازمندی های ایمنی سیستم های واکنشی با استفاده ازشبکه های پتری رنگی زمان دار

  ایمان کاظمینی مقدم - کارشناسی ارشدفناوری اطلاعات ازدانشگاه علوم و فنون مازندران
  بابک شیرازی - دکتری صنایع ازدانشگاه علوم و فنون مازندران
  خلیل شاکری - کارشناس ارشدعلوم کامپیوتر ازدانشگاه طبری بابل
    همایون موتمنی - دکتری مهندسی نرم افزار ازدانشگاه آزاد اسلامی واحد ساری

چکیده مقاله:

دراین مقاله روشی جهت ایجادپایشگر برای درستی یابی زمان اجرا برای سیستم های واکنشی تحت منطق بلادرنگ بااستفاده ازمدل سازی شبکه پتری زمانی رنگی ارایه شده است درساخت و مدل سازی نوع خاصی ازسیستم ها تحت عنوان سیستم های واکنشی شبکه های پتری به عنوان مدلسازی سیستم گذار بادربرداشتن قدرت بیان سیستم های همروند و ایجادرفتارپویا درمدلسازی کاررد موثری درایجادیک مدل مفهومی ازسیستم درسطح تعریف توسعه دهندگان دارد ایجادپایشگرهای درستی یاب بااستفاده ازاستنتاج قانون و تلفیق آن با روشهای توصیف بصری شبکه های پتری ماراقادر به درستی یابی سیستم های واکنشی خواهد کرد روش کارپیشرو از3 گام اصلی تشکیل میشود: ایجادمدل بااستفاده ازشبکه های پتری رنگی زمان دار/تبدیل مدل و دغدغه های ایمنی به توصیفات متنی درالگوی قانون استنتاج پایشگر بصورت هدف گرا ارایه یک مثال کاربردی درمورد زمان بندی پرواز فرودگاه ازدیگرمواردی است که عملا ازمونی جهت روش توسعه داده شده می باشد که درانتها به آن پرداخته خواهد شد

کلیدواژه‌ها:

درستی یابی زمان اجرا ، شبکه پتری رنگی زمان دار ، قیودایمنی ، سیستم های واکنشی

کد مقاله/لینک ثابت به این مقاله

برای لینک دهی به این مقاله، می توانید از لینک زیر استفاده نمایید. این لینک همیشه ثابت است و به عنوان سند ثبت مقاله در مرجع سیویلیکا مورد استفاده قرار میگیرد:
https://www.civilica.com/Paper-COMCONF01-COMCONF01_365.html
کد COI مقاله: COMCONF01_365

نحوه استناد به مقاله:

در صورتی که می خواهید در اثر پژوهشی خود به این مقاله ارجاع دهید، به سادگی می توانید از عبارت زیر در بخش منابع و مراجع استفاده نمایید:
کاظمینی مقدم, ایمان؛ بابک شیرازی؛ خلیل شاکری و همایون موتمنی، ۱۳۹۴، تولید پایشگر درستی یابی زمان اجرای نیازمندی های ایمنی سیستم های واکنشی با استفاده ازشبکه های پتری رنگی زمان دار، کنفرانس بین المللی یافته های نوین پژوهشی درمهندسی برق و علوم کامپیوتر، تهران، موسسه آموزش عالی نیکان، https://www.civilica.com/Paper-COMCONF01-COMCONF01_365.html

در داخل متن نیز هر جا که به عبارت و یا دستاوردی از این مقاله اشاره شود پس از ذکر مطلب، در داخل پارانتز، مشخصات زیر نوشته می شود.
برای بار اول: (کاظمینی مقدم, ایمان؛ بابک شیرازی؛ خلیل شاکری و همایون موتمنی، ۱۳۹۴)
برای بار دوم به بعد: (کاظمینی مقدم؛ شیرازی؛ شاکری و موتمنی، ۱۳۹۴)
برای آشنایی کامل با نحوه مرجع نویسی لطفا بخش راهنمای سیویلیکا (مرجع دهی) را ملاحظه نمایید.

مراجع و منابع این مقاله:

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

  • M. Bozzano and A. Villafioruta, Design and Safety Assessment of ...
  • O. Grumber and H. Veith, 25 Years of Model Checking, ...
  • J. C. Huang, Software error detection through testing and analysis. ...
  • M. Leucker and . Schallhart, _ brief account of runtime ...
  • J. Harrison, Handbook of practical logic and automated reasoning. New ...
  • a. K. Ghosh, J. Wanken, and F. Charron, "Detecting anomalous ...
  • todd m. Austin, S. E. Breach, and S. S. Gurindar, ...
  • F. Chen and G. Rosu, "Mop: an efficient and generic ...
  • Y. Zhao and F. Rammig, "Model-based Runtime Verification Framework, " ...
  • D. Harel and A. Pnueli, "Logics and models of concurrent ...
  • D. Harel and M. Politi, "Modelling Reactive Systems with Statecharts ...
  • H. Alla and R. David, Continuous and Hybrid Petri Nets. ...
  • W. Damm and D Harel, "LSCs: Breathing life into message ...
  • State Machines, " Springer- Verlag Berlin Heidelb., Abstract:ه [14] Borger ...
  • R. Milner, communiction and cocurrency. Prentice hall, 1989. ...
  • J. Bengtsson, J. Bengtsson, W. Yi, and W. Yi, "Timed ...
  • H. Thane, "Monitoring and Debugging of Distributed Real-Time Systems, " ...
  • K. Andro outsopoulos, "Specification and verification of Reactive Systems with ...
  • A. M. K. Cheng, Real-Time Systems: Scheduling, Analysis and Verification. ...
  • J. Eriksson, "Real-time and active databases: A Survey, " Int. ...
  • A. Ligeza, Logical Foundations for Rule-Based Systems, Second edi. new ...
  • J. Y. Jung, J. Park, S. K. Han, and K. ...
  • W. Beer, V. Christian, and A. Ferscha, "Modeling context-aware behavior ...
  • A. Database, H. Wang, and a Case, "Developing Event _ ...
  • H. Barringer, A. Goldberg, K. Havelund, and K. Sen, "Rule-Based ...
  • M. d" Amorim and K. Havelund, "Event-based runtime verification of ...
  • H. Barringer, K. Havelund, D. Rydeheard, and A. Groce, "Rule ...
  • T. Kropf, Introduction _ Formal Hardware Verification. Springer Berlin Heidelberg, ...
  • A. Emerson, "Temporal and modal logic programming, " Hand B. ...
  • W. Reisig, Understanding Petri Nets Modelling Techniques, Analysis Methods, Case ...
  • M. Diaz, Petri Nets: Fundamental Models, Verification and Applications. John ...
  • D. Zang, X. Shi, and M. Jin, "Modeling and scheduling ...
  • D. Boukredera, R. Maamri, and S. Aknine, "Modeling and analysis ...
  • M. Bago, N. Peric, and S. Marijan, "Modeling Wire Train ...
  • L. M. Jensen, K. and Kristensen, Coloured Pety Nets: Modelling ...
  • Z. G. Z. Guo-xiang and G. D. G. De-ping, "ECA ...
  • Shyi-Ming Chen, J. Ke, and Jin-Fu Chang, "Knowledge representation using ...
  • Timed Petri Net Interpreter : An Alternative Method for A:ه ...
  • I. Hatono, N. Katoh, K. Yamagata, and H. Tamura, "Modeling ...
  • J. Kljaich, B. T. Smith, and a. S. Wojcik, "Formal ...
  • L. Chavarria-B aez and X. L. X. Li, :Termination analysis ...
  • X. He, W. C. Chu, and H. Yang, ":A new ...
  • I.-R. _ I.-R. Chen and T. T T. Tsao, _ ...
  • Monitoring of Temporal System Distributedء [44] O. Baldellon, J.-C. Fabre, ...
  • T. Chatain and C Jard, :Time Supervision of Concurrent Systems ...
  • W. M. P. Van Der Aalst, M. Dumas, C. Ouyang, ...
  • "Conformance checking of service behavior, " ACM Trans. Internet Technol., ...
  • J. Z. J. Zhu and F. Kordon, _ Petri Net ...
  • S. M. Babamir, "Constructing formal rules to verify message _ ...
  • A. Advani and S. Borins, "Managing airports : a test ...
  • B. J. M. Ale and M Piers, _ assessment and ...
  • A. I. Czerny, "Airport congestion management under uncertainty, " Transp. ...
  • Z. Peng, _ safety analysis of flight landing based on ...
  • W. Y. W. Yu-ting, H. S. H. Song-chen, T. X. ...
  • علم سنجی و رتبه بندی مقاله

    مشخصات مرکز تولید کننده این مقاله به صورت زیر است:
    نوع مرکز: موسسه غیرانتفاعی
    تعداد مقالات: ۱۱۹۸
    در بخش علم سنجی پایگاه سیویلیکا می توانید رتبه بندی علمی مراکز دانشگاهی و پژوهشی کشور را بر اساس آمار مقالات نمایه شده مشاهده نمایید.

    مدیریت اطلاعات پژوهشی

    اطلاعات استنادی این مقاله را به نرم افزارهای مدیریت اطلاعات علمی و استنادی ارسال نمایید و در تحقیقات خود از آن استفاده نمایید.

    مقالات پیشنهادی مرتبط

    مقالات مرتبط جدید

    شبکه تبلیغات علمی کشور

    به اشتراک گذاری این صفحه

    اطلاعات بیشتر درباره COI

    COI مخفف عبارت CIVILICA Object Identifier به معنی شناسه سیویلیکا برای اسناد است. COI کدی است که مطابق محل انتشار، به مقالات کنفرانسها و ژورنالهای داخل کشور به هنگام نمایه سازی بر روی پایگاه استنادی سیویلیکا اختصاص می یابد.
    کد COI به مفهوم کد ملی اسناد نمایه شده در سیویلیکا است و کدی یکتا و ثابت است و به همین دلیل همواره قابلیت استناد و پیگیری دارد.