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ół
Sebastian Dula
Aleksandra Chraboł
Magdalena Nowak
Kontakt
Masz pytanie lub pomysł na współpracę? Odezwij się, odpowiadamy zwykle w ciągu jednego dnia roboczego.
Napisz lub zadzwoń
- E-maildrakonfsw@gmail.com
- Telefon+48886711974