Models of Embedded Systems
This chapter covers models of embedded systems. First, it describes and demonstrates the simple super-loop system model and points out its shortcomings. Next, it explains the event-driven system model and demonstrates both periodic and asynchronous event-driven systems by example programs. It justifies the needs for processes or tasks in embedded systems. Then it defines and describes the various process models. Lastly, it presents the formal methodologies for embedded systems design, and it illustrates the finite state machine (FSM) system model by a complete design and implementation example in detail.
- Android, https://en.wikipedia.org/wiki/Android_(operating_system), 2016.
- ARM Cortex-5, ARM Cortex-A5 Processor, ARM Information Center, 2010.Google Scholar
- Cheong, E, Liebman, J, Liu, J, Zhao, F, “TinyGALS: A programming model for event-driven embedded systems”, ACM symposium on Applied Computing, 2003.Google Scholar
- Dunkels, A, Schmidt, O, Voigt, T, Ali, “MProtothreads: simplifying event-driven programming of memory-constrained embedded systems”, SenSys ‘06 Proc. of the 4th international conference on Embedded networked sensor systems, 2006.Google Scholar
- Edwards, S, Lavagno, L, Lee, E.A, Sangiovanni-Vincentelli, A, “Design of Embedded Systems: Formal Models, Validation, and Synthesis”, Proc. of the IEEE, Vol. 85, No.3, March, 1997, PP366–390.Google Scholar
- Franke, B, “Embedded Systems Lecture 4: Statecharts, University of Edinburgh.Google Scholar
- Fischer, J, Majumdar, R, Millstein, T, ”Tasks: Language Support for Event-driven.Google Scholar
- Programming”, ACM SIGPLAN 2007 Workshop on PEPM, 2007.Google Scholar
- Gajski, DD, Vahid, F, Narayan, S, Gong, J, “Specification and design of embedded systems”, PTR Prentice Hall, 1994.Google Scholar
- Katz, R. H. and G. Borriello, “Contemporary Logic Design”, 2nd Edition, Pearson, 2005.Google Scholar