Validation of HMI applications for industrial smart display

2017 IEEE International High Level Design Validation and Test Workshop, HLDVT 2017

Volumn 2017-January, Issue , 2017, Pages 23-30

  Lora, Michele ^a  

^a UNIVERSITY OF VERONA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

ACCIDENT PREVENTION;

HUMAN MACHINE INTERACTION; RELIABILITY AND SAFETIES;

INDUSTRIAL PLANTS;

EID: 85043507309     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/HLDVT.2017.8167459     Document Type: Conference Paper

References (14)

1. F. Fummi, M. Lora, F. Stefanni, D. Trachanis, J. Vanhese, and S. Vinco, "Moving from co-simulation to simulation for effective smart systems design," in Proceedings of the conference on Design, Automation & Test in Europe, 2014, p. 286.
2. J. Lee, B. Bagheri, and H.-A. Kao, "A cyber-physical systems architecture for industry 4.0-based manufacturing systems," Manufacturing Letters, vol. 3, pp. 18-23, 2015.
3. EXOR International S.r.l., "JMobile Studio." [Online]. Available: http://www.jmobile.net/jmobile-studio.html.
4. N. Bombieri, G. Di Guglielmo, M. Ferrari, F. Fummi, G. Pravadelli, F. Stefanni, and A. Venturelli, "HIFSuite: Tools for HDL code conversion and manipulation," EURASIP Journal on Embedded Systems, vol. 2010, no. 1, p. 436328, 2010.
5. L. Di Guglielmo, F. Fummi, G. Pravadelli, F. Stefanni, and S. Vinco, "Univercm: the universal versatile computational model for heterogeneous system integration," IEEE Transactions on Computers, vol. 62, no. 2, pp. 225-241, 2013.
6. M. Lora, F. Martinelli, and F. Fummi, "Hardware Synthesis from Software-oriented UML Descriptions," in Proc. of IEEE MTV, 2014, pp. 33-38.
7. T. Fleischmann, "Model based hmi specification in an automotive context," Human Interface and the Management of Information. Methods, Techniques and Tools in Information Design, pp. 31-39, 2007.
8. E. Barboni, S. Conversy, D. Navarre, and P. Palanque, "Model-based engineering of widgets, user applications and servers compliant with arinc 661 specification," in Proceedings of the International Workshop on Design, Specification, and Verification of Interactive Systems. Springer, 2006, pp. 25-38.
9. C. Bock, "Model-driven hmi development: Can meta-case tools do the job?" in Proceedings of the 40th Annual Hawaii International Conference on System Sciences. IEEE, 2007, pp. 287b-287b.
10. K. L. McMillan, "Symbolic model checking," in Symbolic Model Checking. Springer, 1993, pp. 25-60.
11. R. B. France, S. Ghosh, T. Dinh-Trong, and A. Solberg, "Model-driven development using uml 2.0: promises and pitfalls," Computer, vol. 39, no. 2, pp. 59-66, 2006.
12. M. Lora, S. Vinco, and F. Fummi, "A unifying flow to ease smart systems integration," in Proceedings of the IEEE International High Level Design Validation and Test Workshop (HLDVT), 2016, pp. 113-120.
13. F. Fummi, M. Lora, F. Stefanni, and S. Vinco, "Code Generation Alternatives to Reduce Heterogeneous Embedded Systems to Homogeneity," in Languages, Design Methods, and Tools for Electronic System Design, 2014, pp. 103-124.
14. S. Fine, A. Freund, I. Jaeger, Y. Mansour, Y. Naveh, and A. Ziv, "Harnessing machine learning to improve the success rate of stimuli generation," IEEE Transactions on Computers, vol. 55, no. 11, pp. 1344- 1355, 2006.