Verification and Validation of Complex Systems: Human Factors Issues

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

Despite its increasing importance, the verification and validation of the human-machine interface is perhaps the most overlooked aspect of system development. Although much has been written about the design and developmentprocess, very little organized information is available on how to verifyand validate highly complex and highly coupled dynamic systems. Inability toevaluate such systems adequately may become the limiting factor in our ability to employ systems that our technology and knowledge allow us to design. This volume, based on a NATO Advanced Science Institute held in 1992, is designed to provide guidance for the verification and validation of all highly complex and coupled systems. Air traffic control isused an an example to ensure that the theory is described in terms that will allow its implementation, but the results can be applied to all complex and coupled systems. The volume presents the knowledge and theory ina format that will allow readers from a wide variety of backgrounds to apply it to the systems for which they are responsible. The emphasis is on domains where significant advances have been made in the methods of identifying potential problems and in new testing methods and tools. Also emphasized are techniques to identify the assumptions on which a system is built and to spot their weaknesses.