FAME30 (Formal Methods for Analysis and Design of Embedded Systems) to międzynarodowa grupa badawcza skupiona na zastosowaniu metod formalnych do projektowania systemów złożonych, zwłaszcza w dziedzinie elektroniki embedded oraz urządzeń komputerowych. Jej działalność obejmuje między innymi: - **Symulację i modelowanie** – tworzenie matematycznych modeli zachowań systemów, aby przewidzieć ich zachowanie przed implementacją fizyczną. - **Weryfikacja formalna** – zastosowanie metod logiki matematycznej do sprawdzania poprawności algorytmów i architektur oprogramowania. - **Projektowanie złożonych systemów** – rozwiązywanie problemów związanych z bezpieczeństwem, wydajnością oraz zgodnością z wymaganiami użytkowników w branżach takich jak automatyka przemysłowa, medyczne urządzenia czy systemy satelitarne. FAME30 jest często kojarzona z projektami badawczymi prowadzonymi na Uniwersytecie w Leeds (Anglia) oraz współpracującymi instytutami. Jej prace mają wpływ na rozwój standardów branżowych, takich jak ISO 26262 (norma bezpieczeństwa dla systemów samochodowych), co sprawia, że jej badania są istotne dla przemysłu i innowacyjnych technologii. Działalność organizacji skupiona jest również na edukacji – prowadzi szkolenia i konferencje dla naukowców oraz praktyków w dziedzinie metod formalnych.