Introducing Model-based Design Methodology with LabVIEW to Teaching ARM-based Embedded System Design
DOI:
https://doi.org/10.31686/ijier.vol3.iss7.393Abstract
This paper presents our latest experience of introducing the new topic of model-based design (MBD) concepts and tools to a Programming Tools (PT) course for educating students to be capable of utilizing modern tools for correctly developing complicated ARM-based embedded systems. It describes the course contents, student outcomes and lecture and lab preparation for teaching this topic with the emphasis on two sub-topics. Firstly, we present the details of using NI LabVIEW tool in programming ARM Cortex-M MCUs or ARM Cortex-A9 MCUs on the embedded device like NI myRIO for fast developing embedded applications. Secondly, to integrate an on-going research effort on the model-based verification into this course, we also introduce model-checking and the tools that have been utilized in the research project. This new topic helps introducing students the latest research advances which promote the wide applications of the MBD in safety-critical embedded applications. Our primary experience shows that the project-based learning approach with the graphical programming tools and selected MCUs is efficient and practical to teach the MBD of 32-bit MCUs programming.
References
Nannan He and Han-Way Huang, “Utilization of Eclipse-based Software Tools in Teaching a New Software Development Methodology to Engineers”, Proceedings of Annual ASEE Conference, International Forum, 2014.
Links to some system-level PT courses: http://www.cs.washington.edu/education/courses/cse374/;
http://web.eecs.utk.edu/~huangj/cs360/; http://school.eecs.wsu.edu/undergraduate/cpts/courses/360
Paul G. Flikkema. “Approaching the Design of Complex Engineered Systems: A Model-based Approach Informed by System Thinking”. Proceedings of ASEE PSW Conference, 2012.
Joseph Yiu, Ian Johnson, “The Many Ways of Programming an ARM Cortex-M Microcontroller”, ARM white paper, March, 2013.
NI Tutorial (NI-Tutorial-11784-en.pdf). “LabVIEW C Code Generation Technology Basics”, Dec., 2010. NI manual (373192a.pdf). “Getting Started with the NI LabVIEW C Code Generator”.
NI Tutorial (NI-Tutorial-6207-en.pdf). “ARM Microcontroller Development with LabVIEW”, Dec., 2014.
M. Kaufmann, J. Kornerup and M. REitblatt. “Formal Verification of LabVIEW Programs Using the ACL2
Theorem Prover”. ACM ACL Conference, 2009.
J. Jensen, E. A. Lee and S. A. Seshia. “An introductory Lab in Embedded and Cyber-Physical Systems”,
http://LeeSeshia.org/lab, First edition v1.6, 2014.
Joseph Yiu. “The Definitive Guide to the ARM Cortex-M3 and Processor”, Texas Instruments, Imprint
Newnes, 2009.
NI myRIO online resource, http://www.ni.com/myrio/.
NI presentation. “Next Generation Graphical Programming with LabVIEW for ARM Microcontroller”.
NI myRIO online forum, https://decibel.ni.com/content/community/academic/products_and_projects/myrio
R. Pressman, “Software Engineering: A Practitioner’s Approach”, New York: McGraw-Hill, 2009.
UPPAAL tool, http://www.uppaal.com/
E. Clarke, D. Kroening, and F. Lerda. “A tool for checking ANSI-C programs”. In TACAS, pp 168-176. DOI: https://doi.org/10.1007/978-3-540-24730-2_15
Springer, 2004.
Downloads
Published
Issue
Section
License
Copyright (c) 2015 Lakshmi Teja Mullapudi, Nannan He
This work is licensed under a Creative Commons Attribution-NoDerivatives 4.0 International License.
Copyrights for articles published in IJIER journals are retained by the authors, with first publication rights granted to the journal. The journal/publisher is not responsible for subsequent uses of the work. It is the author's responsibility to bring an infringement action if so desired by the author for more visit Copyright & License.