Linux Foundation запускає нову TLA+ Foundation

Цього місяця Linux Foundation оголосила про створення нової незалежної некомерційної організації під назвою TLA+ Foundation. TLA+ Foundation (TLAF) прагне сприяти впровадженню мови специфікацій TLA+ у промисловості, наукових колах і освіті, керуючись загальною метою розвитку математичного мислення в розробці програмного забезпечення. TLAF фінансує розвиток, пов’язаний із TLA+, щоб розширити його використання та сприяти процвітаючій спільноті TLA+, заохочуючи співпрацю між членами цієї спільноти.

«Створення TLA+ Foundation демонструє прагнення просувати використання та розвиток мови TLA+ на користь усієї індустрії програмного забезпечення», — сказав Джим Землін, виконавчий директор Linux Foundation. «Оскільки світ все більше залежить від розподілених систем, важливо, щоб розробники мали можливості TLA+ для моделювання та офіційної перевірки того, що системи поводяться належним чином».

"Фундація TLA+ заохочуватиме усиновлення, надаватиме освітні та навчальні ресурси, фінансуватиме дослідження, розроблятиме інструменти та створюватиме спільноту практиків TLA+. Роль Фундації TLA+ як мови комітету забезпечуватиме постійне вдосконалення та еволюція мови TLA+. TLA+ Foundation прийматиме рішення щодо вдосконалення мови, реагуватиме на відгуки та потреби користувачів, підтримуватиме високі стандарти безпеки та надійності та керуватиме еволюційною мовою, щоб краще обслуговувати базу користувачів."

"AWS прагне надавати високоякісні послуги нашим клієнтам, тому наша команда Automated Reasoning роками покладалася на такі методи, як формальна специфікація та перевірка моделі, щоб вирішити складні проблеми проектування в критично важливих системах. TLA+ — це потужний інструмент у нашому наборі інструментів, який допомагає нам перевіряти правильність наших програмних систем за припущеннями. Приєднавшись до TLA+ Foundation, ми прагнемо підтримувати розвиток інструментів TLA+ і подальше вдосконалення сучасного дизайну розподілених систем,"< /em> сказав Байрон Кук, віце-президент і почесний науковий співробітник AWS.

"У Microsoft все більше груп інженерів покладаються на TLA+ для визначення та перевірки правильності своїх алгоритмів і систем програмного забезпечення. Команди інженерів, які використовують TLA+, повідомили про надзвичайну цінність точного визначення систем і їх попередньої перевірки в інженерному життєвому циклі Інструменти TLA+ допомогли виявити проблеми з їхнім дизайном перед написанням єдиного рядка коду. Приєднавшись до TLA+ Foundation, ми прагнемо сприяти спільноті практиків TLA+, які глибоко піклуються про правильне проектування розподілених систем." сказав Дхарма Шукла, технічний співробітник Microsoft.

Щоб дізнатися більше про нову TLA+ Foundation, відвідайте офіційний веб-сайт, перейшовши за посиланням нижче.

Джерело: Linux

З рубрики: Новини технологій, Головні новини Останні пропозиції гаджетів для гіків Розкриття інформації: деякі з наших статей містять партнерські посилання. Якщо ви купуєте щось за одним із цих посилань, Geeky Gadgets може заробити партнерську комісію. Вивчайте більше.