Embedded systems designers need to verify their design choices to find the proper platform and software that satisfy a given set of\r\nrequirements. In this context, it is essential to adopt formal-based techniques to evaluate the impact of design choices on system\r\nrequirements. To be useful, such techniques must produce accurate results with minimal computation time. This paper proposes\r\nan approach based on Coloured Petri Nets for evaluating embedded systems performance and energy consumption. In particular,\r\nthis work presents a method for specifying and evaluating the workload and the platform components, such as processors and\r\nshared or private memories. The method is applied to model single processor and multiprocessor platforms. Experimental results\r\ndemonstrate an average accuracy of 96% in comparison with the respective measures assessed from the real hardware platform.
Loading....