Introducing Model-based Design Methodology with LabVIEW to Teaching ARM-based Embedded System Design

Authors

  • Nannan He Minnesota State University, USA
  • Lakshmi Teja Mullapudi Minnesota State University, USA

DOI:

https://doi.org/10.31686/ijier.vol3.iss7.393

Abstract

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.

Downloads

Download data is not yet available.

Author Biographies

  • Nannan He, Minnesota State University, USA

    Department of Electrical and Computer Engineering Technology

  • Lakshmi Teja Mullapudi, Minnesota State University, USA

    Department of Electrical and Computer Engineering Technology

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

2015-07-01

How to Cite

He, N., & Mullapudi, L. T. (2015). Introducing Model-based Design Methodology with LabVIEW to Teaching ARM-based Embedded System Design. International Journal for Innovation Education and Research, 3(7), 47-54. https://doi.org/10.31686/ijier.vol3.iss7.393