Michał Kaszuba

Tworzenie wymagań, procedur testowych oraz narzędzi wspomagających proces weryfikacji dla oprogramowania wbudowanego w systemach krytycznych ze względu na bezpieczeństwo.

- implementacja procedur testowych (Ada, C) dla oprogramowania embedded typu safety-critical
- projektowanie przypadków testowych
- tworzenie wymagań
- udział w międzynarodowych, złożonych projektach dla zagranicznych klientów
- analiza oprogramowania (Ada, C)
- weryfikacja wymagań niskopoziomowych
- review wymagań, przypadków testowych i kodu źródłowego
- narzędzia: UltraEdit, CVS, Excel, Beyond Compare, Total Commander, SharePoint, VeroTrace, narzędzia wewnętrzne
- raportowanie błędów, dokumentacja kodu oraz postępów pracy
- analiza strukturalnego pokrycia kodu źródłowego i obiektowego (Ada, Asembler)
- doskonalenie języka angielskiego w teorii (lekcje angielskiego w firmie) i praktyce (międzynarodowe projekty)
- praca zespołowa w środowisku międzynarodowym

Osiągnięcia:
- znalezienie wielu błędów w testowanym oprogramowaniu, wymaganiach i specyfikacji oprogramowania
- usprawnienie pracy działu poprzez wpływ na rozwój wykorzystywanych narzędzi i bibliotek programistycznych

http://www.verocel.pl/
http://www.verocel.com/

Projekty, w których biorę/brałem udział:
- AirbusDS MPC3 PSW BSP, klient: Airbus Defence and Space
Weryfikacja Board Support Package (BSP) zgodnie z normą DO-178B (level C).

- RTI Connext Micro, klient: RTI
Weryfikacja RTI Connext Micro zgodnie z normą DO-178B (level A).

- AdaCore Ravenscar 7.2 Cert, klient: AdaCore
Weryfikacja run-time'u języka Ada dla profilu Ravenscar używanego w systemach operacyjnych czasu rzeczywistego (RTOS) zgodnie z normą DO-178B (level A).

- GE's Operational Flight Program for Boeing 737, klient: Boeing, GE Aviation
Weryfikacja komponentów systemu zarządzania lotem (FMS - Flight Management System) do samolotu Boeing 737 zgodnie z normą DO-178B (level B).

- projekt, którego celem było stworzenie narzędzia przeznaczonego do testowania stabilności telewizorów i dekoderów
- C, C++, C# - rozwijanie i testowanie oprogramowania, bugfixy, opracowywanie i wdrażanie nowych funkcjonalności
- programowanie wielowątkowe
- zaprojektowanie GUI narzędzia
- narzędzia: Perforce, JIRA, Visual Studio, narzędzia wewnętrzne
- praca w systemach Windows i Linux
- zarządzanie kodem, prowadzenie code review
- metodyka zwinna (Agile SCRUM)
- prowadzenie dokumentacji, prezentowanie postępów pracy
- praca zespołowa

Osiągnięcia:
- projekt został ukończony, zostawiłem po sobie narzędzie, które jest wykorzystywane w firmie do dziś

- prace projektowe, pomiary pola EM (na obiektach przemysłowych) i przetwarzanie wyników (Excel)
- sporządzanie schematów technicznych (Visio) oraz dokumentacji technicznej (Word)
- poznanie praktycznych zasad projektowania sieci bezprzewodowych, m.in. GSM, DVB, WiMAX, TETRA
- narzędzia: planowanie radiowe: MTV, xG-Planner, cyfrowe mapy terenu: Google Earth, Global Mapper, Geoportal
- referencje (dostępne na mojej stronie domowej)
- dodatkowe referencje dostępne na żądanie (proszę się kontaktować z kierownikiem Działu Radiokomunikacji Jackiem Jarziną).

Osiągnięcia:
- redukcja kosztów funkcjonowania firmy (brak konieczności zakupu nowych map terenu)
- zostawiłem po sobie narzędzie do konwersji cyfrowych map w różnych standardach (C/C++), używane w firmie do dziś

http://tele-com.poznan.pl/

- zakładanie linii elektrycznych, konserwacja istniejącego okablowania, montaż oświetlenia w magazynie
- montaż okablowania szaf sterowniczych, składanie i montaż siłowników pneumatycznych
- pomoc przy przeglądach urządzeń produkcyjnych i przy utrzymaniu ruchu
- referencje (dostępne na mojej stronie domowej)

Osiągnięcia:
- otrzymanie propozycji wysłania przez pracodawcę na szkolenie dot. uprawnień SEP