تولید صوری برنامه های همروند ایمن

شهرزاد ریاحی چالشتری; حسن حقیقی

تولید صوری برنامه های همروند ایمن

Publish place: 6th Conference of Irans Scientific Society of Command, Control, Communications, Computers and Intelligences

Publish Year: 1391

Type: Conference paper

Language: Persian

This Paper With 6 Page And PDF Format Ready To Download

DOWNLOAD Paper

Certificate
I'm the author of the paper

Export:

Link to this Paper:

https://civilica.com/doc/185270

Document National Code:

CCCI06_045

Index date: 3 March 2013

تولید صوری برنامه های همروند ایمن abstract

قابلیت اطمینان و امن بودن سامانههای فرماندهی و کنترل اطلاعات، دارای اهمیت بسیاری است. در بخ ش های متفاوتی از این سامانهها، مانند سیستمهای اطلاعات جغرافیایی، نیاز به اجرای عملیاتی به صورت همروند وجود دارد. بنابراین، استفاده از روشهایقابل اطمینان در تولید برنامههای همروند، قابلیت اطمینان و امن بودن را در بخشهای همروند از این سامانهها به همراه دارد. با توجه به پیچیدگیهای موجود در برنامههای همروند، تولید برنامههای همروند، فرآیندی پیچیده و مستعد خطاست و نیازمند هزینه و زمانزیادی است. استفاده از روشهای صوری برای تولید برنامههای همروند، میتواند باعث کاهش هزینه و زمان کلی تولید اینگونهبرنامهها شود و همچنین سطح ایمنی و قابلیت اطمینان را در آنها افزایش دهد. در این مقاله با هدف بهرهگیری از مزایای روشهای صوری در تولید برنامههای همروند، توصیف موجود از جنبههای مختلف سیستمهای همروند، که برای ایجاد محیطی برای اجرای این برنامهها لازم هستند، به برنامه تبدیل میشوند. در این راستا تنها از زبانZ به عنوان زبان توصیف استفاده شده، سعی م ی شود جنبههای مطرح در سیستمهای همروند پوشش داده شوند. ارزیابی کار انجام گرفته نشان میدهد که برنامهی تولید شده جنبههای شناخته شده از سیستمهای همروند را پوشش میدهد و مناسب ایجاد محیطی برای اجرای این برنامهها میباشد

تولید صوری برنامه های همروند ایمن Keywords:

تولید برنامهی صوری , برنامههای همروند , برنامههای ایمن , زبان توصیف صوریZ زبان C++

تولید صوری برنامه های همروند ایمن authors

شهرزاد ریاحی چالشتری

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

حسن حقیقی

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

مراجع و منابع این Paper:

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

ا ریاحی چالشتری، شهرزاد، تولید صوری برنامه‌های همروند از توصیف ...

حقیقی، حسن، عدم‌قطعیت در زبان توصیف، CZ رساله دکتری، دانشکده ...

Hoare, C.A.R. Communicating sequential processes, Prentice-Hall, 1985. ...

Hoare, C.A.R. Communicating sequential processes, Prentice-Hal International, 2004. ...

Roscoe, A.W., The theory and practice of concurrency, Prentice-Hal (Pearson), ...

Aceto, L., Larsen, K.G., and Ingolfsdottir, A., :An introduction o ...

Milner, R., Communicating and mobile systems: the r- calculus, Cambridge, ...

Sangiorgi, D. and Walker, D., The r-calculu, a theory of ...

Milner, R., Parrow, J. and Walker, D., :A calculus of ...

Evans, A.S., "Specifying and verifying concurrent _ using Z.; Proc. ...

Evans, A.S., _ improved recipe for specifying reactive systems in ...

Conference of Z Users, Springer- Verlag, pp. 275-294, ...

behavior, " IEEE/ACS International Conference _ Computer Systems and Applications, ...

Sirjani, M., :Formal specification and verification of concurrent and reactive ...

2 _ _ , _ concurrent systems, " International Conference ...

Watkins, K., Cervesato, I., Pfenning, F., and Walke, D., "Specifying ...

Edmunds, A. and Butler, M. "Tasking Event-B: An extension to ...

Suraj, Z.. "Information System as a tool for specification of ...

Bradley, I.M., :The formal specification of concurret Systems: a small ...

He, X., :PZ nets: a formal method integrating petrinets whit ...

Lamport, L. _ Proceeding of the 8th Z Users Meeting, ...

Chadha, H.S., Baugh, J.W., and Wing, J.M., ":Formal specification of ...

Woodcock, J. and Cavalcanti, A., _ concurrent ...

Oliveira, M., Woodcock, J., _ Cavalcanti, A., _ denotational semantics ...

programming, Carnegie Melllon University, Software Engineering Institute, 1990. ...

Nami, M.R. and Hassani, F., _ comparative evaluation of the ...

Lano, K., _ Language and method: a guide to practical ...

Lano, K. and Haughton, H., "Specification in B, an introduction ...

Abrial, J.R., Lee, M.K.O., Neilson, D.S., and Scharbach, P.N., _ ...

Jones, C., Systematic software development using VDM, Prentice-Hall, 1986. ...

Woodcock, J. and Davies, J. "Using Z specification, refinement, and ...

Spivey, J.M., _ Z notation: a reference manual, " Prentice-Hall, ...

Morgan, C.. Programming from specifications, Prentice Hall International (UK) Ltd, ...

Jacky, J., The way of Z _ practical programming with ...

to develop C++ code from object-Z specifications, " Computer Science ...

نمایش کامل مراجع