Verification, Validation and Test
Technical Literature
View full MathWorks Literature Library Technical Articles
- Accelerating NASA GN&C Flight Software Development 867k
- Accelerating Development and Testing of High-Speed Optical Integrated Circuits at Fujitsu 603k
- Accelerating Development and Testing of High-Speed Optical Integrated Circuits at Fujitsu 1129k
- Beschleunigung der Entwicklung von GN&C Flight Software bei der NASA 870k
- Checking Modeling Standards Implementation 843k
- Converting Models from Floating to Fixed Point for Production Code Generation 484k
- Developing a Universal Receiver Test Platform for Satellite Digital Radio and Other Broadcast Standards 710k
- Developing High-Integrity Aircraft Approach Systems in Accordance with DO-178B Using Model-Based Design 554k
- Developing the World’s Most Advanced Prosthetic Arm Using Model-Based Design 1991k
- Entwicklung der modernsten Armprothese der Welt 2011k
- Entwicklung und Test integrierter optoelektronischer Hochgeschwindigkeits-Schaltkreise bei Fujitsu 1131k
- EUtech Scientific Engineering Develops a Fuel Cell System Controller 1041k
- EUtech Scientific Engineering entwickelt eine Regelung für ein Brennstoffzellensystem 1043k
- IAV entwickelt eine Serien-ECU zur Umrüstung von Fahrzeugen auf den Gasbetrieb 2426k
- Improving the Efficiency of RF Power Amplifiers with Digital Predistortion 1208k
- MATLAB and Simulink in the World: Verification and Validation 222k
- MATLAB and Simulink in the World: Verifikation und Validierung 230k
- Removing Run-Time Errors from AUTOSAR Components Using Polyspace Code 619k
- Überprüfung der korrekten Umsetzung von Modellierungsstandards 846k
- University of Adelaide Undergraduates Design, Build, and Control an Electric Diwheel Using Model-Based Design 1092k
- Using Model-Based Design to Build the Tesla Roadster 1087k
- Verifikation von Code mit hohen Anforderungen an die Zuverlässigkeit 612k
- Verifying Code When Software Reliability is Critical 663k
- Winning at Whac-a-Mole: Redesigning an RF Transceiver 1822k
Conference/Academic Papers
- AIAA 2007: The Use of Computing Clusters and Automatic Code Generation to Speed Up Simulation Tasks 259k
- AIAA 2008: Improving System Models Using Monte Carlo Techniques on Plant Models 178k
- Convergence 2008: Model-Based Design for Safety-Related Applications 168k
- ERTS 2012: Verification and Validation According to ISO 26262 428k
- MBEES 2012: Automating Code Reviews with Simulink Code Inspector 381k
- SAE 2007: Best Practices for Establishing a Model-Based Design Culture 111k
- SAE 2008: Best Practices for Verification, Validation, and Test in Model- Based Design 124k
- SAE 2008: Development of AUTOSAR Software Components within Model-Based Design 272k
- SAE 2008: Model-Based Design for Hybrid Electric Vehicle Systems 577k
- SAE 2008: Testing Human Machine Interface (HMI) Rich Designs using Model-Based Design 395k
- SAE 2008: Using Multiple Processors for Monte Carlo Analysis of System Models 133k
- SAE 2011: ISO 26262 Tool Qualification 182k
- SAE 2012: Robustness of Calibration-Based Computation 693k
- SimTest 2010: Code Generation Verification 189k
