Abstract:Recently the development tools of embedded-oriented software are developing from the code-based traditional development environment to model-based development environment. Therefore, the authors studied a model development environment for embedded software called LambdaMDE, which integrated some model development tools such as OSATE and Simulink and other correlative tools by LambdaPro, and hence, it covered the entire development process of embedded software, such as modeling, simulation, verification, code generation and testing. It is consistent with the development trend of embedded software tools, and also has the corresponding theoretical, technique and product foundations.