TY - CHAP
T1 - Model-driven diagnostics generation for industrial automation
AU - Behrens, M.
AU - Provan, G.
AU - Boubekeur, M.
AU - Mady, A.
PY - 2009
Y1 - 2009
N2 - We propose a methodology for overcoming the current approach of writing diagnostics code for industrial automation applications after the system is designed, which results in significant extra effort/cost, and potential discrepancies between design and diagnostics output. We show how we can automatically generate diagnostics from a more complex simulation model. We show how a model-transformation framework can transform a hybrid-systems simulation model into a propositional-logic diagnostics model with appropriate transformation rules. We illustrate our approach with an example from the domain of control for building lighting systems.
AB - We propose a methodology for overcoming the current approach of writing diagnostics code for industrial automation applications after the system is designed, which results in significant extra effort/cost, and potential discrepancies between design and diagnostics output. We show how we can automatically generate diagnostics from a more complex simulation model. We show how a model-transformation framework can transform a hybrid-systems simulation model into a propositional-logic diagnostics model with appropriate transformation rules. We illustrate our approach with an example from the domain of control for building lighting systems.
UR - https://www.scopus.com/pages/publications/71049155830
U2 - 10.1109/INDIN.2009.5195890
DO - 10.1109/INDIN.2009.5195890
M3 - Chapter
AN - SCOPUS:71049155830
SN - 9781424437603
T3 - IEEE International Conference on Industrial Informatics (INDIN)
SP - 708
EP - 714
BT - 2009 7th IEEE International Conference on Industrial Informatics, INDIN 2009
T2 - 2009 7th IEEE International Conference on Industrial Informatics, INDIN 2009
Y2 - 23 June 2009 through 26 June 2009
ER -
