The Mathworks‘ Simulink Verification and Validation-software kan automatisch systeemmodellen evalueren en verifiëren voor de DO-178B- and IEC-61508-standaarden en de MAAB-modelleringsrichtlijnen. De nieuwe modelcheckfeatures voor deze veiligheidskritische standaarden bouwen voort op de bestaande ondersteuning voor klanteigen modelleringsrichtlijnen. Naast de standaarden controleert de software ook op andere modeleigenschappen, zoals consistentie en compatibiliteit met codegeneratie.
This article is exclusively available to premium members of Bits&Chips. Already a premium member? Please log in. Not yet a premium member? Become one for just €20 for the first year and enjoy all the benefits.
