A Design and Implementation Method for Embedded Systems Using Communicating Sequential Processes with an Event-Driven and Multi-Thread Processor

Recently, because embedded systems that play important roles in cyber worlds involve complexly intertwined functions, it becomes difficult to develop them using conventional technologies. In this paper, a new method is introduced for designing and implementing embedded systems. The design phase uses an agent system, a state transition diagram, and communicating sequential process models by descending from an abstract and general level to a more concrete and specific level. The implementation phase uses an event-driven and multi-thread processor and a C-like language with enhanced processes communication channels. A radio-controlled car operated using a tablet is developed using the proposed design and implementation method. The development time and cost is considerably reduced.