Weryfikacja i testowanie:
10 wyników wyszukiwania
Produkty
DO Qualification Kit (for DO-178) DO Qualification Kit oferuje dokumentacje, testy i procedury, które pozwalają na kwalifikację projektów Simulinka i PolySpace'a w standardzie DO-178. Zestaw zawiera plany kwalifikacji narzędzi, stawiane wymagani ...
EDA Simulator Link™ EDA Simulator Link™ jest narzędziem do kosymulacji, które umożliwia dwukierunkową komunikację pomiędzy MATLABem/Simulinkiem oraz symulatorami HDL firm Mentor Graphics, Cadence i Synopsys. Pozwala to na weryfikację k ...
Embedded Coder™ Embedded Coder tworzy kod C/C++ ze skryptów w języku MATLAB, z modeli Simulinka oraz diagramów Stateflow, które mają czytelność i efektywność profesjonalnych ręcznie pisanych kodów. Wygenerowany kod jest wyjątkowo zwięz ...
IEC Certification Kit (for IEC 61508 and ISO 26262) IEC Certification Kit zawiera dokumentację, certyfikaty i szablony, które pomogą wykorzystać narzędzia Embedded Coder™ i PolySpace® w projektach opartych na standardzie IEC 61508. Zestaw zawie ...
Polyspace™ Embedded Software Verification PolySpace&trade służy do weryfikacji kodu źródłowego w językach C, C++ i Ada dla aplikacji i systemów wbudowanych poprzez wykrywanie błędów wykonywnia (run-time errors) zanim kod zostanie skompi ...
Simulink® Code Inspector™ Simulink Code Inspector służy do zautomatyzowanego porównywania kodu źródłowego wygenerowanego z modeli Simulinka z samymi modelami. Narzędzie to zaspokaja wymagania związane z przeglądaniem kodu pojawiające się ...
Simulink® Design Verifier™ Simulink Design Verifier generuje testy dla modeli Simulinka i diagramów Stateflow sprawdzające zgodność modelu z założeniami i zdefiniowanymi przez użytkownika wytycznymi. Sprawdza także parametry mo ...
Simulink® Report Generator Simulink Report Generator automatycznie tworzy dokumentację dla modeli Simulinka i Stateflow. Pozwala udokumentować wymagania programowe i specyfikacje projektu oraz stworzyć raporty dotyczące modelów w standard ...
Simulink verification and validation
Simulink® Verification and Validation™ Simulink Verification and Validation pozwala rozwijać projekty na podstawie wymagań i przypadków testowych w Simulinku i Stateflow oraz mierzyć jakość sekwencji testujące ...
SystemTest SystemTest wprowadza szkielet programowy służący do tworzenia testów zarówno algorytmów MATLABa jak i modeli Simulinka. Posiada zdefiniowane elementy typowych testów, które pozwalają na budowanie i utrzymywanie standardowych algory ...