Oprogramowanie Naukowo Techniczne

Dystrybutor oprogramowania MATLAB i Simulink w Polsce

Mathworks
  • Zaloguj
  • Zarejestruj
  • Kontakt
  • Produkty
    Informacje o produktach
    • Lista produktów
    • Mapa produktów
    • Najnowsze wydanie
    • Wersja próbna
    • Cenniki
    • Typy licencji
  • Rozwiązania
    Obszary zastosowań
    • Analityka danych
    • Przetwarzanie obrazów
    • Biologia komputerowa
    • Przetwarzanie sygnałów
    • Internet przedmiotów
    • Systemy komunikacji
    • Matematyka finansowa
    • Systemy wbudowane
    • Mechatronika
    • Testowanie i pomiary
    • Nauka i edukacja
    • Układy sterowania
    • Projektowanie FPGA
    Dziedziny przemysłu
    • Automatyzacja i przemysł maszynowy
    • Przemysł medyczny
    • Biotechnologia i przemysł farmaceutyczny
    • Przemysł motoryzacyjny
    • Telekomunikacja
    • Elektronika i półprzewodniki
    • Transport lądowy i morski
    • Przemysł energetyczny
    • Usługi finansowe
    • Przemysł lotniczy i obronny
  • Wydarzenia
  • Szkolenia
    Szkolenia organizowane przez ONT
    • Szkolenia MATLAB i Simulink – terminy
    • Szkolenia zamknięte
    • Lista dostępnych kursów
  • Webinaria
  • Blog
  • O firmie

Przemysł medyczny

Weryfikacja oprogramowania medycznego

Zabezpieczenie oprogramowania urządzeń medycznych przed poważnymi błędami w trakcie pracy

Testowanie i weryfikacja jakości oprogramowania jest definiowane jako zbiór działań, które prowadzą do ograniczenia ryzyka związanego z błędami oprogramowania. Najnowocześniejsze stymulatory serca mogą zawierać wewnętrzne oprogramowanie składające się z około 80 tysięcy linii kodu, a w pompy infuzyjne nawet 170 tysięcy linii kodu. Dlatego inżynierowie projektujący urządzenia medyczne muszą zwracać szczególną uwagę na strategię walidacji oprogramowania.

Wczesna integracja analizy statycznej kodu i technik formalnej weryfikacji w procesie tworzenia oprogramowania medycznego, a także proces walidacji mogą znacząco zredukować ilość błędów w oprogramowaniu. Te techniki mogą także dowieść poprawności i wykazać nieobecność błędów, które mogłyby pozostać niewykryte podczas tradycyjnego testowania oprogramowania, a tym samym spełnić wymagania agencji dopuszczających urządzenia medyczne do obrotu, np. FDA.

Wykrywanie błędów w oprogramowaniu medycznym

Polyspace Bug Finder jest narzędziem do statycznej analizy kodu używanym do sprawdzania fragmentów lub całości oprogramowania, aby w kodzie źródłowym C lub C++ znaleźć z maksymalną dokładnością błędy numeryczne, programistyczne lub problemy z przepływem danych. Program ten wykorzystuje metody polegające na analizie przepływu sterowania i danych w kodzie źródłowym i pozwala na właściwą selekcję i usunięcie błędów w oprogramowaniu na wczesnym etapie projektu.

Wykazanie braku błędów wykonania (Run-time errors)

Polyspace Code Prover wykorzystuje analizę statyczną kodu i metodę interpretacji abstrakcyjnej do udowodnienia, identyfikacji i rozpoznania błędów przepełnienia, dzielenia przez zero, wyjścia poza zakres indeksów tablicy i innych błędów w oprogramowaniu. Ta technika sprawdza wszystkie warunki i automatycznie diagnozuje poprawne lub zakończone niepowodzeniem operacje.

Wykorzystanie zaawansowanych technik weryfikacji opartych na metodach formalnych

Tradycyjne metody weryfikacji i testowania oprogramowania są często niewydajne i niewystarczające dla wbudowanego oprogramowania dla urządzeń medycznych. Polyspace Bug Finder i Polyspace Code Prover używają zaawansowanych technik weryfikacji opartych na metodach formalnych, które zapewniają optymalne rozwiązania spełniające wysokie wymagania weryfikacji i zapewniają integralność procesu tworzenia oprogramowania. Używając narzędzi do weryfikacji kodu na wczesnych etapach rozwoju oprogramowania można znaleźć i wyeliminować błędy, co jest najszybszym i najtańszym rozwiązaniem.

Poprzednia 1 2
Kontakt handlowy

Chcesz wiedzieć więcej? Skontaktuj się z naszym specjalistą

Renata Lipczyńska
E-mail: renata.lipczynska@ont.com.pl
Telefon: +48 (12) 630 49 57

Czytaj również:
  • Rozwiązania wdrożone przez użytkowników
  • Szkolenia
  • Artykuły techniczne
Powiązane produkty:
  • SystemTest
  • Model-Based Calibration Toolbox
  • Automated Driving Toolbox
  • Simulink Design Verifier
  • Vision HDL Toolbox
Pobierz wersję próbną

    Skorzystaj z bezpłatnej 30-dniowej wersji próbnej oprogramowania

    Dowiedz się więcej
Dołącz do nas:

Kontakt:

Oprogramowanie Naukowo-Techniczne sp. z o.o.
E-mail: info@ont.com.pl
Telefon: +48 12 630 49 50

Siedziba
ul. Pod Fortem 19
31-302 Kraków

© 1992-2022 ONT Oprogramowanie Naukowo Techniczne

Polityka prywatności    Regulamin strony