به گزارش کارگروه بینالملل سایبربان؛ شرکت «AdaCore»، ارائه دهنده ابزارهای توسعه و تأیید نرمافزار، اعلام کرد که اکنون یکی از اعضای نقرهای بنیاد «Rust»، یک سازمان غیرانتفاعی مستقل است که به سرپرستی زبان برنامهنویسی و اکوسیستم Rust اختصاص دارد.
در بیانیه شرکت آمده است :
«بیش از 25 سال است که AdaCore متعهد به حمایت از نیازهای صنایع حیاتی ایمنی و مأموریتی با ابزارها و خدمات توسعه نرمافزار با یکپارچگی بالا بوده است.»
محصولات AdaCore که در سال 1994 تأسیس شد، منبع باز هستند و با پشتیبانی آنلاین متخصص ارائه شده بهوسیله خود توسعه دهندگان ارائه میشوند. این شرکت در ابتدا روی آدا (Ada)، یک زبان برنامهنویسی که به طور خاص برای توسعه نرمافزاری با عمر طولانی، حیاتی و دارای گواهینامه طراحی شده بود، تمرکز کرد. در طول سالها، این تمرکز فراتر از زبان Ada به زیر مجموعه اسپارک (SPARK) رسمی قابل تأیید، C و C++ و مدلهای «Simulink» و «Stateflow» گسترش یافت.
اکنون، AdaCore با «Ferrous Systems»، یک شرکت فناوری متخصص در زبان برنامهنویسی Rust، همکاری میکند. این مشارکت در حال حاضر در مسیر ورود Rust به محیطهای سطح «ASIL-D» است. یکی از اولین نتایج این کار، انتشار یک سند مشخصات زبان است.
کوئنتین اوچِم (Quentin Ochem)، مدیر ارشد محصول AdaCore اظهار داشت :
«AdaCore از پیوستن به Rust Foundation بسیار هیجانزده است. ما مشتاقانه منتظر هستیم تا تعهد دیرینه خود را به زبانهای با یکپارچگی بالا و توسعه تعبیه شده دارای گواهی امنیتی به زبان برنامهنویسی Rust گسترش دهیم.»
