Conference
A Methodology for the Simplification of Tabular Designs in Model-Based Development
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 Stateflow truth tables evolve, they often grow more complex and become difficult to maintain …
Authors
Bialy M; Lawford M; Pantelic V; Wassyng A
Pagination
pp. 47-53
Publisher
Institute of Electrical and Electronics Engineers (IEEE)
Publication Date
May 1, 2015
DOI
10.1109/formalise.2015.15
Name of conference
2015 IEEE/ACM 3rd FME Workshop on Formal Methods in Software Engineering