Design And Embedded Software Product Line Based On The Nxt

Embedded system becomes popular,but embedded software is designed not only for the demand of complicated functional property,but also for the demand of all kinds of non-functional property(time,power consumption,resource,security and so all).Traditional embedded software development mostly based on the code , is processed in embedded software envinronment.thus, precisely estimating the overall system architecture always is ignored.and after the system is completed, it has a lot of risks:too many cracks,bad system maintainance, bad system reuse and so on .since it is tested repeatedly,the cracks of software could be reduced ,but not completely eliminated.To solve these challange,we develop the new methoded based on the Model-Driven Architecture . it is that the technology of model is put into the embedded software development.the key point of development upgrades from code to model. using the model,guides the requirement analysis of software designement ,designing the system,writing the code ,testing the system, system maintainance and so on.the methoded based on the Model-Driven Architecture makes the developers put theirs energy into the model and architecture of system,not the programing language and system implement.with the the formal methods, model checking and simulation analysis (dependability and schedulability analysis ) the cracks of software will be exposed betimes in the developing process.subsequently ,the technologe of automaticly generating the code from the model is designed, thus the process embedded software becomes a production line,which can improve the efficiency od development and the quality of code.First of all, we introduce the background of the embedded software production line for Lego NXT.Then it introduces the designment and implementation of software production line.According to the hardware paltform and the OSEK real time OS, Embedded software production line for Lego NXT adopts the method based on the the Model-Driven Architecture, it can be divided into three phase:model and the independent platform,model and the specified platform and the consistence of model and code.In the phase the model and the independent platform,we use the Simulink and Stateflow language construct the model,with which we can design and simulate the complicated functional model in the independent platform.thus it allow us put our energy into the factors in relation to the system function,not take into account the specific platform and non-functional property.according to the Simulink and Statefolw model,designing the automatic code generator in the independent platform convert it into the executable C code;In the phase the model and the specified platform,according to the hardware of NXT robot and the aotumatic operational system OSEK,we use the AADL(Architecture Analysis and Design Language) language construct the model,with which we can design and analysis the architecture of the software and hardware in the performance-critical real-time system.thus,it allow us analysis the non-functional property of the components that consist of the system and the system,such as,dependability and schedulability and so on.according to the AADL model,designing the automatic code generator in the specified platform convert it into the executable C codeIn the phase the integration of model code, we produce the executable application from the code which transformed from the different level model.according to codes generated by the former two phase,designing the integrated applicatin compiles and links them into the executable application which finaly is downloaded into flash of the Lego NXT robot.On the base of Embedded software production line,we design the functional test and performance tests. At last ,we summarize the advantage and limitation of paper and give prospect of future research.