On January 19, 2024, School of Computer Science and Engineering, Faculty of Innovation Engineering held an academic lecture on software architecture definition language for control software synthesis. Participants conducted in-depth discussions about the current technology and future development of software architecture.
Professor Dong Yunwei was giving a speech
This seminar invited Professor Dong Yunwei from the School of Software of Northwestern Polytechnical University to deliver a keynote speech titled "Software Architecture Definition Language for Controlled Software Synthesis", discussing the application and future possibilities of new artificial intelligence technologies in the field of software synthesis. Professor Dong's team proposed an architecture definition language oriented to the synthesis of control software system architecture, establishing a transition framework between software development intentions and software program codes, expressing the data flow, control flow and timing dependencies between components of control software requirements. It divides a program synthesis into three stages of intelligent synthesis from requirements to architecture, architecture generation program framework and software code completion based on the program framework. The architecture definition language is based on the idea of reactive components, defines hierarchical software architecture types and implementation formal semantics and syntax rules, establishes a pattern-based software architecture refinement and search mechanism, supports the efficient reuse of software models or code assets, and realize intelligent and large-scale synthesis of embedded software. Through the application and practice of three satellite control software development cases, the architecture definition language has initially shown that the architecture definition language can describe the architectural structure expression and control behavior expression requirements of satellite control software.
Professor Dong Yunwei received his PhD from Northwestern University and collaborated with Professor T. Y. Chen, a leader in software transformation testing, at Swinburne University of Technology in Australia. His influence spans academia and multiple industrial sectors, and he once served as the chief engineer of Xi'an Software Engineering Center. He is a senior member of IEEE, an outstanding member of the Computer Society of China, a member of the Standing Committee of the Formal Methods Committee of the Computer Society of China, and a director of the Shaanxi Computer Society. He won the first Shaanxi Provincial Outstanding Young Talent Award, China Outstanding Software Talent Nomination Award, one third-class Shaanxi Provincial Scientific and Technological Progress Award, two third-class National Defense Science and Technology Achievement Awards, and one second-class CCF Science and Technology Achievements Award.
After the seminar, graduate students and undergraduates who participated in the lecture rushed to ask questions and the discussion was intense. Based on his many years of experience in supervising graduate students, Mr. Dong also encourages graduate students to engage in scientific research related to practical applications. The students all expressed that they gained a lot.