**5. Model based design**

328 Grid Computing – Technology and Applications, Widespread Coverage and New Horizons

6. Verification is the process of determining whether a system satisfies a given property of interest or not. It is considered one of the most difficult challenges of the embedded system. Due to the fact that the embedded systems deal with very critical applications, a designer has to make sure that the system meets the required specification perfectly. It is reported that the verification takes more than 50 to 70% of the project time and the cost for verification of the embedded system is increasing rapidly (Christopher, 2000). 7. As a result, the competition among the companies to deliver the product to the market faster and with lower cost. In most cases, the embedded system is a part of the system. Thus, any delay in the embedded system development will cause overall delay in the

However, nowadays, embedded systems have garnered more interests in the research community, as well as there being an increased need for those embedded systems. The increase of the embedded system challenges opens a wide range of research in the development tools. Most of researchers try to find a design tool that can solve some of the challenges of embedded system design. Model Based Design method is one of the techniques for developing embedded software and it puts a system model at the center of the developing processes. For example, the environment supplied by MathWorks, Inc. allows engineers to mathematically model the behaviors of the physical system and re-use the program components in the library. This approach meets with significant success in some applications. This chapter will investigate the development of the inverter power supply as an example of the embedded system. The embedded software of the inverter power supply is optimized and tested using the Model Based Design (MBD) method.

Moreover, the superiority of this method to the traditional design method is verified.

Grid computing is another way of distributed computing. Distributed computing is a science which solves a large problem by giving small parts of the problem to many computers to solve and then combining the solutions for the parts into a solution for the problem. Grid Computing finds many potential opportunities and advantages in the fields of education, research, engineering, bio-medicine, pharmaceuticals, financial sector and government organizations(Mark,el.,2002). In the embedded system design the gird computing technology is used for improving the developing cycle of the embedded system . for example, GridSim is a toolkit for modeling and simulation of Grid resources and application scheduling. It provides a comprehensive facility for the simulation of different classes of heterogeneous resources, users, applications, resource brokers, and schedulers. It has facilities for the modeling and simulation of resources and network connectivity with different capabilities, configurations, and domains. It supports primitives for application composition, information services for resource discovery, and interfaces for assigning application tasks to resources and managing their execution. These features can be used to simulate resource brokers or Grid schedulers to evaluate performance of scheduling algorithms or heuristics(Buyya R, el.,2002). May programs are built based on the gird technology one of this program is the MATLAB and SimuLink which is used in this study.

**4. Grid technology for embedded system and application** 

Mosterman, 2007 & Madhukar and Lee, 2008).

project or products.

should be executed is unavailable. Therefore, a simulator of the embedded hardware is very useful for the development of the embedded software but it becomes a difficult matter because of the length of time required to build a simulator (Woodward and

> Currently, many researches are focused on determining a good way to eliminate the challenges of the embedded systems design. Embedded systems have particularly tight performance, time to market and cost constraint. To meet these constraints, researchers try to find solutions to efficiently design the systems with required performances. Recently, the MBD method is considered to be one of the chief techniques in this field. The Model Based Design method is considered one of the leading techniques as a solution of those challenges. In this method, the model can be used to verify the plant design and the control algorithm. MBD method puts a system model at the center of the development process, from requirement development through design implementation (Woodward and Mosterman, 2007).

> The system specifications phase is started by the analysis and the documentation of the system requirements. In the traditional method, this step is accomplished using the paperbased method which results in poor communication in the design process, errors in the design as well as limited traceability between the design and the requirements. In the MBD method, the model can provide an excellent virtual environment for high level descriptions of the embedded system, as shown in Figure 2. This figure illustrates the main four elements of the MBD method. The description for elements of Model Based Design method is presented below.
