From JiLin University

Bachelor of Computer Science

Bachelor of Business Administration

From IOWA STATE University

Ph.D Candidate of Computer Science

From Commercial Organization

Sun Ceritified Java Programmer(SL275)

Sun Ceritified Web Component Developer(Trained)(SL375)

  Current focus:

Safety analysis of Evolving Product Line

Safety Analysis in Domain area

  Interest:

Model checking

Safety and Security analysis in domain areas

Product Line Evolution

Web Service Composition

Non-Function Requirement Validation

Software Architectural Design Languages

Publications:

• Hongyu Sun, "3D animation engine based on

Java3D" , 2005, Jilin University,No85. Link

• Hongyu Sun and Robyn R. Lutz, "Identifying

Safety-Critical Requirement Defects Using a Tool-

Based, Iterative Process", proc of the 17th IEEE

International Symposium on Software Reliability

Engineering, 2006, Raleigh, NC,USA. PDF

• Jing (Janet) Liu, Josh Dehlinger, Hongyu Sun

and Robyn R. Lutz, "State-Based Modeling to Support

the Evolution and Maintenance of Safety-Critical

Software Product Lines," To Appear 5th Workshop on

Model-Based Development for Computer-Based

Systems: Domain-Specific Approaches to Model-

Based Development (MBD'07), Tucson, AZ, March 29,

2007.

• Hongyu Sun,  Miriam Hauptman and Robyn

Lutz, "Integrating Product-Line Fault Tree Analysis

into AADL Models", the 10th IEEE International

Symposium on High Assurance System

Engineering (HASE), Dallas, TX, Nov, 2007