Formal Methods for Industrial Critical Systems: A Survey of Applications

ویرایش:  
 
سری:  
ISBN (شابک) : 9780470876183, 9781118459898 
ناشر: Wiley-IEEE Computer Society Press 
سال نشر: 2013 
تعداد صفحات: 278 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 7 مگابایت 

قیمت کتاب (تومان) : 79,000

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

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

محتوا:
روش‌های رسمی فصل 1: کاربرد {منطق‌ها در، نظری} علوم کامپیوتر (صفحات 1-14) : Diego Latella
فصل 2 یک زبان همزمان در کار: داستان درخشش (صفحه های 15-31): نیکلاس هالبواکس
فصل 3 الزامات یک روش رسمی یکپارچه برای ازدحام های هوشمند (صفحات 33-59): مایک هینچی ، جیمز ال. راش، کریستوفر آ. روف، والت اف. تروشکوفسکی و امی کی سی اس واندربیلت
فصل 4 برخی از روندها در روش های رسمی کاربردهای سیگنالینگ راه آهن (صفحات 61-84): الساندرو فانتچی، وان فوکینک و آنجلو
> فصل 5 بررسی مدل نمادین برای سیستم های اویونیک (صفحات 85-112): Radu I. Siminiceanu و Gianfranco Ciardo
فصل 6 اعمال روش های رسمی در خدمات مخابراتی با شبکه های فعال (صفحات 113-132): ماریا دل مار گالاردو، ژسوس مارتینز و پدرو مرینو
فصل 7 کاربردهای عملی بررسی مدل احتمالی در ارتباطات پروتکل های عملیاتی (صفحات 133-150): ماری دوفلوت، مارتا کویاتکووسکا، گتین نورمن، دیوید پارکر، سیلوین پیرونت، کلودین پیکارونی و جرمی اسپروستون
طراحی فصل 8 برای تأیید پذیری: مطالعه موردی OCS (صفحه های 171- Johannes) Neubauer، Tiziana Margaria و Bernhard Steffen
فصل 9 کاربرد بررسی مدل تصادفی در صنعت: کاربر؟ مدل سازی متمرکز و تجزیه و تحلیل همکاری در Thinkteam® (صفحات 179-203): Maurice H. ter Beek, Stefania Gnesi, Latella، Mieke Massink، Maurizio Sebastianis و Gianluca Trentanni
فصل 10 نمادگذاری تست و کنترل تست TTCN?3 و استفاده از آن (صفحات 205-233): اینا شیفردکر و آلن؟ جورج ووفو؟ فئوجیو
فصل A1 آموزش خودکار فعال (صفحات 235-267): فالک هاوار، مایک مرتن، برنهارد استفن و تیزیانا مارگاریا

Today, formal methods are widely recognized as an essential step in the design process of industrial safety-critical systems. In its more general definition, the term formal methods encompasses all notations having a precise mathematical semantics, together with their associated analysis methods, that allow description and reasoning about the behavior of a system in a formal manner.

Growing out of more than a decade of award-winning collaborative work within the European Research Consortium for Informatics and Mathematics, Formal Methods for Industrial Critical Systems: A Survey of Applications presents a number of mainstream formal methods currently used for designing industrial critical systems, with a focus on model checking. The purpose of the book is threefold: to reduce the effort required to learn formal methods, which has been a major drawback for their industrial dissemination; to help designers to adopt the formal methods which are most appropriate for their systems; and to offer a panel of state-of-the-art techniques and tools for analyzing critical systems.

Content:
Chapter 1 Formal Methods: Applying {Logics in, Theoretical} Computer Science (pages 1–14): Diego Latella
Chapter 2 A Synchronous Language at Work: The Story of Lustre (pages 15–31): Nicolas Halbwachs
Chapter 3 Requirements of an Integrated Formal Method for Intelligent Swarms (pages 33–59): Mike Hinchey, James L. Rash, Christopher A. Rouff, Walt F. Truszkowski and Amy K. C. S. Vanderbilt
Chapter 4 Some Trends in Formal Methods Applications to Railway Signaling (pages 61–84): Alessandro Fantechi, Wan Fokkink and Angelo Morzenti
Chapter 5 Symbolic Model Checking for Avionics (pages 85–112): Radu I. Siminiceanu and Gianfranco Ciardo
Chapter 6 Applying Formal Methods to Telecommunication Services with Active Networks (pages 113–132): Maria del Mar Gallardo, Jesus Martinez and Pedro Merino
Chapter 7 Practical Applications of Probabilistic Model Checking to Communication Protocols (pages 133–150): Marie Duflot, Marta Kwiatkowska, Gethin Norman, David Parker, Sylvain Peyronnet, Claudine Picaronny and Jeremy Sproston
Chapter 8 Design for Verifiability: The OCS Case Study (pages 151–177): Johannes Neubauer, Tiziana Margaria and Bernhard Steffen
Chapter 9 An Application of Stochastic Model Checking in the Industry: User?Centered Modeling and Analysis of Collaboration in Thinkteam® (pages 179–203): Maurice H. ter Beek, Stefania Gnesi, Diego Latella, Mieke Massink, Maurizio Sebastianis and Gianluca Trentanni
Chapter 10 The Testing and Test Control Notation TTCN?3 and its Use (pages 205–233): Ina Schieferdecker and Alain?Georges Vouffo?Feudjio
Chapter 11 Practical Aspects of Active Automata Learning (pages 235–267): Falk Howar, Maik Merten, Bernhard Steffen and Tiziana Margaria