Embedded Coder® | R2011a- R2021a | R2011a-R2021a | R2012a-R2021a | R2012a-R2021a | R2020b - R2021a | R2016a-R2021a | R2020a - R2021a | - |
AUTOSAR Blockset | R2019a - R2021a | R2019a-R2021a | R2019a-R2021a | R2019a-R2021a | R2020b - R2021a | R2019a-R2021a | R2020a - R2021a | - |
Simulink® PLC Coder™ | R2010a- R2021a | R2011a- R2021a | R2018b - R2021a | R2017b- R2021a | R2020b - R2021a | R2016a- R2021a | R2020a - R2021a | R2010b- R2021a |
HDL Coder™ | R2020a - R2021a | R2020a - R2021a | R2020a - R2021a | R2020a - R2021a | R2020b - R2021a | R2020a - R2021a | R2020a - R2021a | - |
Simulink Check™ | R2017b- R2021a | R2017b- R2021a | R2017b- R2021a | R2017b- R2021a | R2020b - R2021a | R2017b- R2021a | R2020a - R2021a | - |
Simulink Coverage™ | R2017b- R2021a | R2017b- R2021a | R2017b- R2021a | R2017b- R2021a | R2020b - R2021a | R2017b- R2021a | R2020a - R2021a | - |
Simulink Requirements™ | R2019a-R2021a | R2019a-R2021a | R2019a-R2021a | R2019a-R2021a | R2020b - R2021a | R2019a-R2021a | R2020a - R2021a | - |
Simulink Design Verifier™ | R2011a- R2021a, R2010bSP1[b] | R2011a- R2021a | R2012a- R2021a | R2012a- R2021a | R2020b - R2021a | R2016a- R2021a | R2020a - R2021a | - |
Polyspace® Bug Finder™ | R2013b- R2021a | R2013b- R2021a | R2013b- R2021a | R2013b- R2021a | R2020b - R2021a | R2016a- R2021a | R2020a - R2021a | - |
Polyspace Bug Finder Server™ | R2019a - R2021a | R2019a - R2021a | R2019a - R2021a | R2019a - R2021a | R2020b - R2021a | R2019a - R2021a | R2020a - R2021a | - |
Polyspace Code Prover™ | R2013b- R2021a | R2013b- R2021a | R2013b- R2021a | R2013b- R2021a | R2020b - R2021a | R2016a- R2021a | R2020a - R2021a | - |
Polyspace Code Prover Server | R2019a - R2021a | R2019a - R2021a | R2019a - R2021a | R2019a - R2021a | R2020b - R2021a | R2019a - R2021a | R2020a - R2021a | - |
Simulink Test™ | R2015b- R2021a | R2015b- R2021a | R2015b- R2021a | R2015b- R2021a | R2020b - R2021a | R2016a- R2021a | R2020a - R2021a | - |
Workshop® Embedded Coder в реальном времени | R2008a- R2010b, R2009bSP1, R2010bSP1, R2010bSP2[c] | R2012a- R2012b | R2012a- R2012b | R2012a- R2012b | - | | - | - |
Верификация Simulink и Validation™ | R2011a- R2017a, R2010bSP1[d] | R2011a- R2017a | R2012a- R2017a | R2012a- R2017a | - | R2016a- R2017a | - | - |
Polyspace Client™ для C/C++ и Сервер Polyspace для C/C++ | R2008a - R2008b, R2009b - R2013a, R2009a + [e] | R2011a- R2013a | R2012a- R2013a | R2012a-R2013a | - | - | - | - |
Верификатор Polyspace для C | R2007a + [f] | R2011a | - | R2012a | - | - | - | - |