Reliable SoftwareTechnologies — Ada-Europe 2001: 6th Ada-Europe International Conference on Reliable Software Technologies Leuven, Belgium, May 14–18, 2001 Proceedings

ششمین کنفرانس بین‌المللی فناوری‌های نرم‌افزار قابل اعتماد، Ada-Europe 2001، در لوون، بلژیک، 14 تا 18 می 2001 برگزار شد. این کنفرانس توسط Ada-Europe، فدراسیون اروپایی انجمن‌های ملی Ada، با همکاری با ACM SIGAda، و توسط اعضای K.U سازماندهی شد. لوون و آدا - بلژیک. این بیست و یکمین سال متوالی کنفرانس های Ada-Europe و ششمین سال کنفرانس با تمرکز بر حوزه فناوری های نرم افزاری قابل اعتماد بود. استفاده از اجزای نرم‌افزار در سیستم‌های جاسازی شده تقریباً در همه جا وجود دارد: هواپیماها با سیم پرواز می‌کنند، سیستم‌های سیگنال قطار اکنون مبتنی بر رایانه هستند، تلفن‌های همراه دستگاه‌های دیجیتال هستند، و کارخانه‌های بیولوژیکی، شیمیایی و تولیدی توسط نرم‌افزار کنترل می‌شوند. . همچنین سایر سیستم‌های غیر تعبیه‌شده و حیاتی، بیشتر و بیشتر به نرم‌افزار وابسته هستند. برای این محصولات و فرآیندها، قابلیت اطمینان یک عامل کلیدی موفقیت و اغلب یک نیاز سخت از نظر ایمنی است. به خوبی شناخته شده است و اغلب تجربه شده است که کیفیت را نمی توان صرفاً به عنوان یک فکر بعدی به نرم افزار اضافه کرد. این برای قابلیت اطمینان نیز صدق می کند. علاوه بر این، قابلیت اطمینان یک سیستم به دلیل یک فناوری واحد نیست و نمی‌توان آن را ساخت. طیف وسیعی از رویکردها مورد نیاز است که دشوارترین مسئله ادغام هدفمند آنهاست. اهداف قابلیت اطمینان باید دقیقاً تعریف شده و در الزامات گنجانده شوند، فرآیند توسعه باید برای دستیابی به این اهداف کنترل شود، و روش‌های توسعه صحیح باید برای تحقق این الزامات غیرعملکردی استفاده شود.

The Sixth International Conference on Reliable Software Technologies, Ada- Europe 2001, took place in Leuven, Belgium, May 14-18, 2001. It was sponsored by Ada-Europe, the European federation of national Ada societies, in cooperation with ACM SIGAda, and it was organized by members of the K.U. Leuven and Ada- Belgium. This was the 21st consecutive year of Ada-Europe conferences and the sixth year of the conference focusing on the area of reliable software technologies. The use of software components in embedded systems is almost ubiquitous: planes fly by wire, train signalling systems are now computer based, mobile phones are digital devices, and biological, chemical, and manufacturing plants are controlled by software, to name only a few examples. Also other, non-embedded, mission-critical systems depend more and more upon software. For these products and processes, reliability is a key success factor, and often a safety-critical hard requirement. It is well known and has often been experienced that quality cannot be added to software as a mere afterthought. This also holds for reliability. Moreover, the reliability of a system is not due to and cannot be built upon a single technology. A wide range of approaches is needed, the most difficult issue being their purposeful integration. Goals of reliability must be precisely defined and included in the requirements, the development process must be controlled to achieve these goals, and sound development methods must be used to fulfill these non-functional requirements.