O nas
VEROCEL-Polska sp. z o.o. jest spółką-córką firmy VEROCEL, Inc., której siedziba znajduje się w Westford (stan Massachusetts) w USA.
Od ponad 20 lat świadczymy usługi związane z tworzeniem i weryfikacją oprogramowania stosowanego w lotnictwie (awionika, systemy kontroli lotów, itd.) oraz tam, gdzie niezawodność ma kluczowe znaczenie dla bezpieczeństwa.
Filozofia naszej firmy opiera się na przekonaniu, że oprogramowanie w systemach krytycznych ze względu na bezpieczeństwo (safety-critical systems) wymaga szczególnej staranności, uwagi oraz rygorów niezbędnych do zapewnienia, że system nie zawiedzie.
W zakres naszych usług wchodzi między innymi:
- przygotowywanie i sprawdzanie poprawności projektów oraz standardów;
- przygotowywanie i/lub sprawdzanie poprawności wymagań;
- projektowanie oraz implementacja oprogramowania wbudowanego;
- projektowanie i implementacja testów i/lub programów testujących;
- tworzenie zintegrowanych środowisk do automatycznego wykonywania testów;
- analiza strukturalnego pokrycia kodu (także maszynowego) z wykorzystaniem własnych narzędzi do jej wspomagania i automatyzacji;
- wspieranie innych firm w procesie tworzenia i/lub weryfikacji oprogramowania;
- dostarczanie narzędzi do utrzymywania bazy danych gromadzonych 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-178B/C, ISO 26262, czy IEC 61508.
Więcej informacji można uzyskać na naszej stronie korporacyjnej (tylko w języku angielskim) po wybraniu opcji
Grupa Verocel
dostępnej w pasku menu.