Automatic Code Generation Through Model-Driven Design

Software engineering has not been able to automate software development to a degree necessary to take full advantage of the hardware features available in current computing technology. This lag in capabilities can be attributed, in a large part, to the lack of sufficiently complex and capable automation tools within the software community. This paper investigates the feasibility of using automatic code generation as a direct output of current model-driven design systems as a possible solution to this noted deficiency. A number of different approaches to modeling and code generation are discussed along with the near-term and future possibilities for each approach. The discussion results in a conclusion that the level of technical capability of the current systems is insufficient to provide a true solution to the general problems facing software engineering, but further research and development of the modeling-generation systems could very well encompass the solution at some time in the future.

[1]  Christopher A. Rouff,et al.  A formal approach to requirements-based programming , 2005, 12th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems (ECBS'05).

[2]  Christopher A. Rouff,et al.  Some Verification Issues at NASA Goddard Space Flight Center , 2005, VSTTE.

[3]  Bernhard Rumpe,et al.  Model-driven Development of Complex Software : A Research Roadmap , 2007 .

[4]  Mirko Conrad,et al.  Experiences with model and autocode reviews in model-based software development , 2006, SEAS '06.

[5]  Remco M. Dijkman,et al.  Abstract interactions and interaction refinement in model-driven design , 2005, Ninth IEEE International EDOC Enterprise Computing Conference (EDOC'05).

[6]  D. Isbell,et al.  Mars Climate Orbiter Team Finds Likely Cause Of Loss , 2007 .

[7]  James Vallino Software as a component in safety-critical systems professional development leave report , 2005 .

[8]  Barry Boehm,et al.  A view of 20th and 21st century software engineering , 2006, ICSE.

[9]  Barry Boehm,et al.  Top 10 list [software development] , 2001 .

[10]  Barry W. Boehm,et al.  Software Defect Reduction Top 10 List , 2001, Computer.

[11]  Yuefeng Zhang Test-Driven Modeling for Model-Driven Development , 2004, IEEE Softw..

[12]  Chen Xi,et al.  Modeling SystemC design in UML and automatic code generation , 2005, Proceedings of the ASP-DAC 2005. Asia and South Pacific Design Automation Conference, 2005..

[13]  John C. Knight,et al.  Echo: a practical approach to formal verification , 2005, FMICS '05.

[14]  James R. Larus,et al.  Righting software , 2004, IEEE Software.