A Methodology for the Simplification of Tabular Designs in Model-Based Development
Why this work is in the frame
A frame that forgets how it found something cannot be audited. These are the routes that admitted this work.
Bibliographic record
Abstract
Model-based development (MBD) is increasingly being used to develop embedded control software, with Matlab Simulink/Stateflow being the most widely used MBD language in the automotive industry. Stateflow truth tables, more traditionally known as decision tables, are often used for implementing complex decision-making logic. As the subsystems utilizing State flow truth tables evolve, they often grow more complex and become difficult to maintain and test. It is in part due to the nature of decision tables that makes them more difficult to check for desirable properties such as disjoint ness and completeness, resulting in reduced readability and scalability. Tabular expressions provide an alternative representation which does not suffer from many of the same problems. With the safety-critical nature of the automotive domain, as well as the continuous growth in both size and complexity of models, well-defined and principled methodologies are required for maintaining and refactoring tables. This paper presents a refactoring methodology for simplifying decision tables through the use of tabular expressions to facilitate testing, traceability and readability to help companies comply with ISO 26262. An automotive industrial case study is used to motivate the work and demonstrate the proposed methodology.
Fetched live from OpenAlex and de-inverted. Abstracts are not stored in this database: the inverted indexes are 8.6 GB of the frame’s 9.3 GB of text, and the host has 13 GB free.
Full frame distilled prediction
Teacher imitationNot calibrated prevalence, not ground truth. Human validation pending. Learned from the 10,348 direct Codex labels and 10,348 direct Gemma labels. Candidate is the union of thresholded teacher heads; consensus is their intersection. These outputs are machine_predicted_unvalidated and are not human labels or direct frontier model labels.
Codex and Gemma teacher scores by category
| Category | Codex | Gemma |
|---|---|---|
| Metaresearch | 0.001 | 0.000 |
| Meta-epidemiology (narrow) | 0.000 | 0.000 |
| Meta-epidemiology (broad) | 0.000 | 0.000 |
| Bibliometrics | 0.000 | 0.000 |
| Science and technology studies | 0.000 | 0.000 |
| Scholarly communication | 0.000 | 0.000 |
| Open science | 0.000 | 0.000 |
| Research integrity | 0.000 | 0.000 |
| Insufficient payload (model declined to judge) | 0.000 | 0.000 |
Machine scores (provisional)
The two teacher heads of the student model, read on this work. A score orders the frame for review; it never asserts a category, and the validation status ships verbatim with every row.
Baseline scores from an immature model (maturity gate not passed, 7 training rounds). Scores rank; they never assert a category.
score_only:v0-immature-baseline · verbatim from the scoring run: score_only means the number may rank works, and no category label ships from it