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

Simulink Check

Simulink Check dostarcza uznawane w przemyśle mechanizmy kontroli i metryki identyfikujące w trakcie procesu projektowania naruszenia norm oraz wytycznych. Wśród wspieranych standardów tworzenia oprogramowania o wysokiej integralności (high-integrity) znajdują się DO-178, ISO 26262, IEC 61508, IEC 62304 oraz wytyczne MAAB (MathWorks Automotive Advisory Board), a poza tym, istnieje możliwość definiowania własnych standardów i wytycznych. Problemy ze zgodnością wykrywane są już w trakcie tworzenia algorytmów co pozwala na wprowadzanie poprawek na wczesnych etapach projektowania.

Simulink Check zawiera metryki takie jak szacowanie rozmiaru oraz stopnia skomplikowania projektu, które pozwalają na ewaluację architektury modelu i ocenę jego zgodności ze standardami oraz stopień ukończenia. Narzędzia refactoringu modelu pozwalają na zastępowanie powielonych elementów projektu, zmniejszenie stopnia skomplikowania oraz wskazanie elementów do ponownego wykorzystania.

Wsparcie dla norm przemysłowych jest dostępne poprzez IEC Certification Kit (for ISO 26262 and IEC 61508) oraz DO Qualification Kit (for DO-178).

Kluczowe cechy

  • Sprawdzanie naruszeń wytycznych projektowych w czasie rzeczywistym
  • Sprawdzanie zgodności z wytycznymi MAAB oraz normami systemów typu high-integrity (DO-178, ISO 26262, IEC 61508, IEC 62304)
  • Sprawdzanie zgodności ze standardami bezpiecznego oprogramowania (CERT C, CWE, ISO/IEC TS 17961)
  • Możliwość dostosowywania kontroli z użyciem edytora Model Advisor Configuration
  • Metryki do szacowania rozmiaru modelu, stopnia skomplikowania i czytelności
  • Refactoring modelu do wykrywania zdublowanych podsystemów i przekształcania modeli
Czytaj również:
  • Rozwiązania wdrożone przez użytkowników
  • Szkolenia
  • Artykuły techniczne
Powiązane produkty:
  • Simulink Coverage
  • IEC Certification Kit (for IEC 61508 and ISO 26262)
  • Polyspace Code Prover
  • Simulink Report Generator
  • DO Qualification Kit (for DO-178)
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