Testing-based translation validation of generated code in the context of IEC 61508 (Q845246)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Testing-based translation validation of generated code in the context of IEC 61508 |
scientific article; zbMATH DE number 5666999
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Testing-based translation validation of generated code in the context of IEC 61508 |
scientific article; zbMATH DE number 5666999 |
Statements
Testing-based translation validation of generated code in the context of IEC 61508 (English)
0 references
5 February 2010
0 references
Model-based design
0 references
Code generation
0 references
High-integrity software
0 references
Safety standards
0 references
IEC 61508
0 references
Translation validation
0 references
Translation testing
0 references
Equivalence testing
0 references
Simulink
0 references
Stateflow
0 references
Real-Time Workshop Embedded Coder
0 references
IEC Certification Kit
0 references
0.6284183263778687
0 references
0.6229684352874756
0 references
0.6178695559501648
0 references
