Automatyzacja V&V dla NewSpace

Pomagamy producentom małych satelitów i operatorom NewSpace drastycznie skrócić czas weryfikacji i walidacji (V&V) oprogramowania pokładowego. Przekształcamy żmudne, ręczne przeglądy kodu w audytowalne, zautomatyzowane procesy chroniące misje przed błędami.

Skontaktuj się

O nas

DRAKON to startup rozwijający inteligentnego asystenta weryfikacji i walidacji (V&V) oprogramowania pokładowego dla misji NewSpace. Projekt został wyróżniony w programie preakceleracyjnym SpaceBoost organizowanym przez Krakowski Park Technologiczny, gdzie dostosowaliśmy architekturę systemu do rygorystycznych realiów sektora kosmicznego.

Nasz zespół powstał z członków Koła Naukowego Optoelektroników na Wojskowej Akademii Technicznej, gdzie połączyła nas pasja do innowacyjnych rozwiązań i chęć do działania

Misja i wartości

Naszą misją jest wyeliminowanie ryzyka utraty satelitów z powodu błędów konfiguracyjnych i programistycznych w łatkach (OBSM), przy jednoczesnym drastycznym skróceniu czasu weryfikacji oprogramowania.

  • Kontrola i Bezpieczeństwo- system rekomenduje decyzje w oparciu o poziom ryzyka i generuje testy, ale ostateczny werdykt (human-in-the-loop) zawsze należy do inżyniera.
  • Audytowalność- do każdej podjętej decyzji system dołącza deklarację zakresu wiarygodności oraz kompletny raport dowodowy dla audytora, klienta i ubezpieczyciela.
  • Proaktywność- algorytm oznacza źródła reguł bezpieczeństwa i w przypadku wykrycia braków w dokumentacji samodzielnie zadaje inżynierom ukierunkowane pytania, generując raport luk

Realny problem

Wraz z rosnącą złożonością misji NewSpace, oprogramowanie stało się głównym wektorem ryzyka. Statystyki pokazują bezwzględną naturę awarii pokładowych - 33% awarii krytycznych to błędy oprogramowania, a 98% z nich nie da się rozwiąć poprzez restart z ground segmentu.

Współpraca: Zostań Partnerem Pilotażowym (PoC)

Wdróż Drakona w swoim izolowanym środowisku na wycinku danych (kod + dokumentacja) z Twoich poprzednich misji. W zamian otrzymasz darmowy audyt oprogramowania: zidentyfikujemy luki w wiedzy Twojego zespołu i wskażemy reguły, które nie istnieją w dokumentacji. Pokażemy na Twoich własnych danych, jak drastycznie skrócić czas weryfikacji i generowania testów dla każdej kolejnej łatki napisz do nas.

Zespół

SD

Sebastian Dula

Executive Lead

AC

Aleksandra Chraboł

Product Lead

MN

Magdalena Nowak

Technology Lead

Kontakt

Masz pytanie lub pomysł na współpracę? Odezwij się, odpowiadamy zwykle w ciągu jednego dnia roboczego.

Napisz lub zadzwoń