O nas
Verocel-Polska sp. z o.o. jest spółką zależną firmy Verocel, Inc., której siedziba znajduje się w Westford (stan Massachusetts) w Stanach Zjednoczonych.
W czerwcu 2024 roku dołączyliśmy do zespołu Wisk Aero, w ramach którego współtworzymy pierwszą na świecie elektryczną i autonomiczną taksówkę powietrzną dla czterech osób.
Od wielu lat świadczymy usługi związane z tworzeniem i weryfikacją oprogramowania stosowanego w lotnictwie (awionika, systemy kontroli lotów, itp.), gdzie niezawodność ma kluczowe znaczenie dla bezpieczeństwa.
Opieramy się na przekonaniu, że oprogramowanie w systemach krytycznych ze względu na bezpieczeństwo (safety-critical systems) wymaga szczególnej staranności oraz rygorów w procesie tworzenia i weryfikacji.
Jesteśmy specjalistami z wieloletnim doświadczeniem w zakresie:
- przygotowywania i sprawdzania poprawności wymagań i projektów;
- projektowania i implementacji oprogramowania wbudowanego;
- projektowania i implementacji testów i/lub programów testujących;
- tworzenia zintegrowanych środowisk do automatycznego wykonywania testów;
- analiz strukturalnego pokrycia kodu (także maszynowego) z wykorzystaniem własnych narzędzi do jej wspomagania i automatyzacji;
- wspierania klientów w procesie tworzenia i/lub weryfikacji oprogramowania;
- dostarczania narzędzi do tworzenia i zarządzania danymi w procesie weryfikacji (life cycle data and traceability management).
Pracujemy w oparciu o procesy i procedury odpowiadające wymaganiom stawianym m.in. przez RTCA DO-178C i ISO 26262.
Więcej informacji można uzyskać na stronie Verocel (tylko w języku angielskim).