System Software Reliability

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

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

این متن جامع مورد توجه موارد زیر خواهد بود:

• دانشجویان تحصیلات تکمیلی به عنوان مقدمه ای بر مهندسی قابلیت اطمینان نرم افزار و کتاب درسی برای دوره های تحصیلات تکمیلی؛

• مهندسان نرم افزار و قابلیت اطمینان به عنوان بررسی جامع و به روز این حوزه; و

• محققان و مدرسان در دانشگاه ها و مؤسسات تحقیقاتی به عنوان مرجع یک جلدی. STRONG> کتاب‌های با کیفیت بالا را در زمینه‌های مهم تحقیق و توسعه نظری فعلی در قابلیت اطمینان و در زمینه‌هایی که شکاف بین تئوری و کاربرد را در زمینه‌های مورد علاقه پزشکان در صنعت، آزمایشگاه‌ها، تجارت و دولت پر می‌کند، منتشر می‌کند.

Computer software reliability has never been more important. Today, computers are employed in areas as diverse as air traffic control, nuclear reactors, aircraft, real-time military, industrial process control, security system control, biometric scan-systems, automotive, mechanical and safety control, and hospital patient monitoring systems. Many of these applications require critical functionality as software applications increase in size and complexity.

System Software Reliability is an introduction to software reliability engineering as well as a detailed survey of the state-of-the-art techniques, methodologies and tools used to assess the reliability of software and combined software-hardware systems. The most recent research results in the field are reported and future directions in the subject are signposted.

This comprehensive text will be of interest to:

• graduate students as an introduction to software reliability engineering and a textbook for graduate courses;

• software and reliability engineers as a comprehensive and up-to-date survey of the field; and,

• researchers and lecturers in universities and research institutions as a one-volume reference.

TheSpringer Series in Reliability Engineering publishes high-quality books in important areas of current theoretical research and development in reliability, and in areas that bridge the gap between theory and application in areas of interest to practitioners in industry, laboratories, business, and government.