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

سال انتشار: 1394
نوع سند: مقاله کنفرانسی
زبان: فارسی
مشاهده: 694

فایل این مقاله در 21 صفحه با فرمت PDF قابل دریافت می باشد

استخراج به نرم افزارهای پژوهشی:

لینک ثابت به این مقاله:

شناسه ملی سند علمی:

COMCONF01_365

تاریخ نمایه سازی: 8 آذر 1394

چکیده مقاله:

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

کلیدواژه ها:

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

نویسندگان

ایمان کاظمینی مقدم

کارشناسی ارشدفناوری اطلاعات ازدانشگاه علوم و فنون مازندران

بابک شیرازی

دکتری صنایع ازدانشگاه علوم و فنون مازندران

خلیل شاکری

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

همایون موتمنی

دکتری مهندسی نرم افزار ازدانشگاه آزاد اسلامی واحد ساری

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

لیست زیر مراجع و منابع استفاده شده در این مقاله را نمایش می دهد. این مراجع به صورت کاملا ماشینی و بر اساس هوش مصنوعی استخراج شده اند و لذا ممکن است دارای اشکالاتی باشند که به مرور زمان دقت استخراج این محتوا افزایش می یابد. مراجعی که مقالات مربوط به آنها در سیویلیکا نمایه شده و پیدا شده اند، به خود مقاله لینک شده اند :
  • 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. ...
  • نمایش کامل مراجع