A new guideline has emerged to help regulate the development and certification of software and the delivery of multiple supporting documents and records used on aircraft or engines. The previous guideline — called RTCA DO-178B, Software Considerations in Airborne Systems and Equipment Certification, and produced by the Radio Technical Commission for Aeronautics Inc. — served as a de facto stand...

DO-178B was published in 1992, and computing technology has changed a lot since that time. Despite the fact that the standard was written to include provision for change and many supplemental documents have been developed in the past 16 years, the advances in software technology have been so significant that it seems appropriate to investigate whether they should be accommodated in a comprehens...

Technology has improved to the point that system designers have the ability to trade-off implementing complex functions in either hardware or software. However, clear distinctions exist in the design tools. This paper examines what is unique to hardware design, areas where formal methods can be applied to advantage in hardware design and how errors can exist in the hardware even if formal metho...

14:00 Rob Ashmore, The Utility and Practicality of Quantifying Software Reliability 14:15 John Rushby, Bev Littlewood, and Lorenzo Strigini, Evaluating the Assessment of Software Fault-Freeness 14:30 Discussion: Should we be following recipes or quantifying software performance? 14:55 Dewi Daniels, The Efficacy of DO-178B 15:10 Discussion: Can we assess a standard as a whole (much as system-lev...

در این مقاله سیستم تأمین انرژی و تخلیه جریان سیم‌­پیچ چنبره‌ای توکامک دماوند به منظور افزایش زمان میدان‌های مغناطیسی با هدف ماندگاری پلاسما، طراحی شبیه‌سازی شده است. حال حاضر سیم­‌پیچ دارای نیم سیکل سینوسی مدت ms 100 پیک kA 12 است که میدان مغناطیس تقریباً T 1/1 مرکز چنبره تولید می‌کند ناحیه تخت آن حدود 20 می‌باشد برای تشکیل محصورسازی پلاسما استفاده می‌گردد. ارتقاء 200، ضروری سیستم‌های کنترل مربو...