Heterogeneous Hierarchical Coloured Petri Net Software/Hardware Architectural View of Embedded System based on System Behaviours

Abstract

This research is to develop a formal and systematic method for the software and hardware architecture design of embedded systems based on system's behaviours. Then the method examined real example of embedded system which has been implemented on intelligent building area. In this research, Discrete Event System Specification and Hierarchical Coloured Petri Nets are used for modelling of system behaviours, Firstly, the main system's states and behaviours are to be formulated by Set Theory, then Discrete Event System Specification formulism produces a basic behaviour model indication logic of the system, ultimately, the software and hardware architecture are well-presented by executable Hierarchical Coloured Petri Net model. The model depicted embedded system in hardware and software view. This paper focuses on the analysing and designing along with system's major functional requirements, hardware and software requirements. The research results show that a real prototype of embedded system using sensors to scrutinize environment to notify user through the Global System for Mobile Communications and Short Message Service and make the user able to control Air conditioner remotely.