Inbyggda system blir ständigt mer komplexa. Därför har allt fler utvecklingsorganisationer börjat använda riktlinjer för modellering som en del i processen för att öka läsbarheten och underlätta underhåll och återanvändning, samtidigt som man undviker flera typer av vanliga modellfel. I allmänhet kontrollerar man att riktlinjerna följs genom att manuellt granska modellerna och den tillhörande dokumentationen i samband med granskning av designen som helhet. Med de nya systemen kan man i stället både på ett entydigt sätt beskriva sina interna riktlinjer och kontrollera att modellerna uppfyller dem. - Genom våra kontakter med ingenjörer verksamma inom flyg, fordonsbranschen, industrisystem och andra som utvecklar säkerhetskritiska system har vi inom The MathWorks sett hur avgörande modelleringsstandarderna är för hela utvecklingsprocessen, berättar Jon Friedman, marknadschef för flyg-, försvars- och fordonsindustri på The MathWorks. Vi har flera användare som redan utnyttjar Simulink Verification and Validation för att kunna kontrollera sina designer gentemot egna riktlinjer, som en central del i utvecklingsprocessen. Nu kan ingenjörerna utnyttja precis samma verktyg för att kontrollera om modellerna uppfyller de regler som finns i standarderna DO-178B, IEC-61508 och MAAB vad gäller datatyper, diagnostik, kodgenerering och säkerhet – utan att öda dyrbara persontimmar på repetitivt manuellt granskningsarbete.