The document provides an overview of various computational models in embedded design, including data flow graphs (DFG), control data flow graphs (CDFG), state machine models, and sequential programming models. It explains how these models facilitate system design, highlighting their application in specific use cases like a seat belt warning system and a vending machine. Additionally, it addresses the importance of selecting appropriate models and architectures for hardware-software co-design, emphasizing the role of different architectural frameworks in implementing embedded systems.