Software Analysis and Verification & Validation of System-of-Systems (SAVE-SoS)
Eun-Young Kang (강은영 in Korean)
Associate Professor
The Maersk Mc-Kinney Moller InstituteUniversity of Southern Denmark
Campusvej 55, 5230 Odense-M, Denmark
Office: Ø22-609f-2
EMail: eyk@mmmi.sdu.dkPhone: +45 65 50 79 67
Google ScholarOrcidDBLP
Collaborateur Scientifique
PReCISE Research Centre (PReCISE)University of Namur
Rue Grandgagnage 215000 Namur, Belgium
EMail: eun-young.kang@unamur.be
Research Interests
Eun-Young Kang's research areas include the integration of formal methods into software engineering development processes, primarily, development of systems-of-systems (SoS), and safety-critical real-time software design and analysis: An architecture centric formal analysis framework that utilizes the leverage of state-of-the-art methods and tools for the development of correct-by-construct system functions and components in a seamless and cost efficient way. Design, modeling and analysis of software intensive systems, in particular, enabling component-based design and model-based verification of safety & security assessed energy-aware SoS, e.g., Cyber-Physical Systems, Internet-of-Things, Robot systems, as well as generating effective test cases of those systems.
Topics of Interest:
Safety & Security, Dependability, and Reliability of Embedded Software and System Engineering.
Computer Aided Design, Analysis and Simulation of System-of-Systems.
Software Quality Assurance including Model-Driven Design & Implementation, Applied Formal Methods, Machine Learning for Model Extraction.
Verification & Validation of Energy-aware System-of-Systems and Analysis of Risks.
Software Development Process, Software Life-Cycle, Software Architecture.
Component-based Development and Re-use.
Biography
Eun-Young Kang is a member of faculty at the University of Southern Denmark in Denmark and a director of the Scientific Collaboration Research Program in conjunction with PReCISE Research Centre at the University of Namur in Belgium. She received her Ph.D in computer science from INRIA-LORIA (Institut National de Recherche en Informatique et en Automatique) & the University of Lorraine in France and MSc in computer science and engineering at Korea University in Korea. Prior to her current position, she was a tenured associate professor (Foreign Faculty) in the Computer Science Department at Sun Yat-Sen University in China. Previously, she worked at PReCISE Research Centre in Belgium, at Mälardalen University in Sweden, at United Nations University - International Institute for Software Technology in Macau, and Delft University of Technology in the Netherlands.
Announcement
Are you interested in joining the Software Analysis and VErification & Validation of Systems-of-Systems (SAVE-SoS) team to achieve a MS or Ph.D in software engineering?
I am actively seeking highly motivated (under)-graduate students and graduate research assistants who enjoy:
Understanding challenges of modeling, analyzing and maintaining computer-based control systems.
Providing formalism, techniques and developing theories as well as tools that enables the efficient design of safe and secure SoS.
Working on algorithmic verification techniques (model checking, type checking, static analysis, satisfiability solving), testing, code generating, and model transformations.
Design, Verification & Validation (V&V) of SoS including CPS, such as healthcare, energy, automotive, robotic, automation systems, chemical process, etc., that require tight coordination between computation, communication and control elements (the cyber part), and physical processes such as heating, cooling, motion, vibrations, etc. (the physical part).
Please feel free to contact me if you are motivated, have good communication skills, and are eager to illustrate the most significant and state-of-the-art results in this field, which will include showing research results with working demonstrators and publications in top-tier conferences and journals. I am open to research collaboration, (Under)-graduate Research Program is now accepting applications. If you would like to discuss the potential for this and further details, please contact me.
Teaching
Advanced Sofware Architecture and Analysis (MS: Fall '24 at SDU)
Software Systems Analysis and Verification (MS: Spring '20, '21, '22, '23, '24 at SDU)
Design of Reliable Cyber-Physical Systems (BA: Spring '21, '22, '23, '24 at SDU)
Software Engineering and Modeling for Cyber-Physical Systems (BA: Spring '20 at SDU)
Information Technology in an Automation Context (BA: Spring '19, '20 at SDU)
Principle of Software Engineering Methodologies: Assurance of Software Intensive Systems (MS: Fall '17, '18 in English at SYSU)
Introduction to Cyber-Physical Systems Design and Analysis: Electronic Vehicle Systems (BA & MS: Spring '15, '16, '17, '18 in English at SYSU)
Computer Language and Implementation (BA: Spring '16, '17, '18 in English at SYSU)
Introduction to Real-Time Systems: Modeling, Verification & Validation (BA Junior/Senior and MS combined course: Fall '14, '15, '16, '17, '18 in English at SYSU)
The Science of Programming (Ph.D course: 2009 in English at MDH, Malardalen University in Sweden)
Semester Coordinator & Project Supervision
Semester Coordinator: Software Technology-3rd Semester (Fall '20) , ST-4th (Spring '20)
Project Supervision: ST-4th (Spring '19), ST-3rd (Fall '20, '21), ST-Diploma (Fall '21, '22, '23), SE-3rd (Fall '19), BEng/Msc ('23, '24)
News, Events & Academic Services (Selective Highlights)
Interntional collaboration application for the AI-Safe CPS with SDU/Korean Association of Robot Industry/KIAT is accepted, June, 2024.
Eun-Young Kang gave a talk at R-24 (Robotics, Automation, and Drones event) with the title "Safety and Security Assessments in Robotics", Odense, Denmark, March 13th, 2024.
I'm looking for a postdoc for "safe and trustworthy intelligent cyber-physical systems" project/research. For further details and applying directly, visit the link below - the call is closed:
Session chair ``Formal Aspects of Software Engineering'' track at the 30th APSEC, Seoul, Korea, December, 2023.
Eun-Young Kang presented two papers "Towards Formal Verification of Behaviour-Driven Development Scenarios using Timed Automata" and "Towards safety assessment of robot behaviors in SMACH" at the 30th Asia-Pacific Software Engineering Conference, December, 2023, Seoul, Korea.
Session chair ``Risk Assessment and Safety Management" track at the 7th ICSRS, Bologna, Italy, November, 2023.
Eun-Young Kang presented a paper "Automated Formal Safety and Security Assessments in Cyber-Physical Systems" at the 7th International Conference on System Reliability and Safety, November, 2023, Bologna, Italy.
Program committee at the 7th International Conference on System Reliability and Safety, November, 2023, Bologna, Italy.
DigitalLead application for the innovation project "Automated safety and security assessments in Cyber-Physical Systems with IoT features" has been accepted and approved, June, 2023.
Eun-Young Kang gave a talk at CPSIoT'23, June 2nd, 2023, Montenegro.
Program committee at the 24th ICFEM, November, 2023, Brisbane, Australia.
Eun-Young Kang gave a talk at Information Event on the European Defense Fund with the title "Keeping Safety-critical Systems Safe" Kolding, Denmark, May 25th, 2023.
A paper "Safety & Security Analysis of a Manufacturing System using Formal Verification and Attack-Simulation" is accepted for CPSIoT2023, June 2023.
Session chair on ``System Safety and Risk Assessment'' track at the 6th International Conference on System Reliability and Safety, Venice, Italy, November, 2022.
A paper "Towards Model Driven Safety and Security by Design" is accepted for the 10th International Workshop on Quantitative Approaches to Software Quality, Co-located with APSEC 2022, December, 2022.
A paper "Model-Driven Software Development Approach: Ensuring Safety of an IoT-based Plant Health Monitoring System" is accepted for the 6th International Conference on System Reliability and Safety, November, 2022, Venice, Italy.
Program committee for the Software Engineering Track at the 38th ACM Symposium on Applied Computing (SAC), March, 2023, Tallinn, Estonia.
Program committee at the 23rd International Conference on Formal Engineering Methods (ICFEM), Oct, 2022, Madrid, Spain.
Eun-Young gave a talk at SDU Robotics Center with the title "Necessity meets opportunity: Towards formal analysis of human-robot interactions", October 29th, 2021.
Program committee for the Software Engineering Track at the 37th ACM Symposium on Applied Computing (SAC) held on April, 2022, Brno, Czech Republic.
A paper "Towards Energy-aware Cyber-Physical Systems Verification and Optimization" is accepted for the 16th Conference on Computer Science and Intelligence Systems (FedCSIS) (Joint 41th IEEE Software Engineering Workshop and 8th International Workshop on Cyber-Physical Systems), September, 2021.
A paper "A Research Setup Demonstrating Flexible Industry 4.0 Production" is accepted for The 63rd International Symposium ELMAR-2021, September, 2021.
A research paper "Integrating Formal Analysis of Cyber-Physical Systems with Energy Prognostic" is accepted for the 8th International Conference on Cyber-Physical Systems and Internet-of-Things (CPS&IoT'20), June, 2020.
Program committee at the 17th International Colloquium on Theoretical Aspects of Computing (ICTAC) held on Nov., 2020, Macau, China.
A research paper "Formal Analysis of Hybrid-Dynamic Timing Behaviors in Cyber-Physical Systems" is accepted for 40th IEEE Real-Time Systems Symposium (RTSS-BP), December, 2019.
Successful Funding Application -- TEK SDU Industry 4.0 Digital Autonomous Production project proposal "Error-Free Cyber-Physical Systems within an Industry 4.0 Platform" is accepted and approved, September, 2019.
A research paper "Formal Verification of Dynamic and Stochastic Behaviors for Automotive Systems" is accepted for the 24th International conference on Engineering of Complex Computer Systems (ICECCS19), Guangzhou, November, 2019.
Eun-Young Kang was promoted to associate professor at Syddansk Universitet (University of Southern Denmark), July, 2019.
A research paper "Tool-Supported Analysis of Dynamic and Stochastic Behaviors in Cyber-Physical Systems" is accepted for the 19th IEEE International conference on Software Quality, Reliability, and Security (QRS19), Sofia, July, 2019.
New features of ProTL (Probabilistic CCSL TransLator) version 3.1 is now available, May. 23rd, 2019.
New features of ProTL (Probabilistic CCSL TransLator) version 3.0 is now available, March. 22nd, 2019.
A research paper "Formal Verification of Safety & Security Related Timing Constraints for A Cooperative Automotive System" is accepted for ETAPS'19 -- FASE'19, Prague, April, 2019.
The name of SAVES group has changed to SAVE-SoS.
New features of ProTL (Probabilistic CCSL TransLator) version 2.0 is now available, Jan. 15th, 2019.
Eun-Young Kang started working at the University of Southern Denmark as an assistant professor, January, 2019.
A research paper from SAVES was accepted to the FMCAD2018 student forum, University of Texas, Austin, Texas, USA, October, 2018.
MS student, Huang Li, from SAVES team presented her work with Kang at SETTA18, Beijing, China, September 7th, 2018.
Eun-Young Kang gave a talk at iFM18, in Maynooth, Ireland, September 5th, 2018.
A research paper "Probabilistic Verification on Timing Constraints in Automotive Systems using UPPAAL-SMC" was accepted for presentation and publication at iFM2018, Maynooth University, Ireland, September, 2018.
A research paper "Probabilistic Analysis of Timing Constraints in Autonomous Automotive Systems using Simulink Design Verifier" was accepted for presentation and publication at SETTA2018 -- CONFESTA, Beijing, China, September, 2018.
Eun-Young Kang gave a talk at SAC2018, Software Engineering Track, in Pau, France, April 11th, 2018.
Two technical reports "Formal Verification of Non-Functional Properties for CAV" and "Model-based V&V of an Autonomous Vehicle System: Simulation and Statistical Model Checking" are now available as arXiv.org e-prints.
A research paper "Formal Verification of Energy and Timed Requirements for A Cooperative Automotive System" was accepted for publication in the 33rd ACM/SIGAPP Symposium On Applied Computing, SAC 2018.
Multiple research papers from SAVES team accepted for presentation and publication at the two workshops collocated with the 2017 International Conference on Software Quality, Reliability and Security, QRS 2017.
Established research collaboration between ECNU, Shanghai and SAVES, SYSU, March, 2017.
Eun-Young Kang coordinated scientific research and academic exchange programs between Korean Universities (Korea University, Ewha Women University and Sungkyunkwan University) and Sun Yat-Sen University, Seoul, Korea, October 03 -- 07, 2016.
URP students paper "Statistical Analysis of Energy-aware Real-Time Automotive Systems in EAST-ADL/Stateflow" accepted for presentation and publication at ICIEA16.
Session chair on "Modeling Conformance and Verification" track at APSEC15, New Delhi, India, December 2nd, 2015.
Eun-Young Kang organized a scientific meeting with students from SMIE, SYSU and researchers at Zhuhai Southern Software and Network Evaluation and Testing Center (ZHETC), November 17th, 2015.
Eun-Young Kang organized -- Advanced Training: English Seminar -- "Towards improving English skills for non-native speakers: speaking for oral presentations and writing for academic paper", November 07th, 2015.
One TA position for "Introduction to Real-Time Systems" (Fall Semester 2015) is available. If you would like to apply for this position, please contact me (This position is no longer available).
URP students paper "Verifying Automotive Systems in EAST-ADL/Stateflow using UPPAAL" accepted for presentation and publication at APSEC2015.
Successful Funding Application -- NSFC 2016, International Young Scientists Research Project is awarded, "Energy-aware Automotive System Specification & Analysis Methodology", August, 2015.
Eun-Young Kang gave a talk at Safety-Critical Software Workshop 2015, hosted by Secure Software Development Research Center (ITRC), Seoul, S. Korea, May, 28th, 2015.
Successful Funding Application -- The Central University Fundamental Research Grant for Sun-Yat-Sen University Young Teachers Cultivate Project is awarded, FV-ProDES (Formal Verification & Proof-oriented Development of Embedded Systems), January, 2015.
Visit Institute of Dongguan -- Sun Yat-Sen University, Guangdong Province New Lightweight Electric Vehicle Engineering Laboratory, Electric Automobile Engineering Center, Bio-medical Engineering Center, Integrated Circuit Engineering Center, Digital Home Engineering Center, and Intelligent Traffic Engineering Center, January 16th, 2015.
Invited lecture and Seminar: Assistant Prof. Zhengbang Chen from National Laboratory for Parallel and Distributed Processing, National University of Defense Technology. November. 27. 2014.
http://smie.sysu.edu.cn/lecture-regular-property-guided-dynamic-symbolic-execution/
International Summer School on Domain Specific Modeling, Theory and Practice, Antwerp, Belgium, August 25 -- 29th, 2014.
SYSU Medical Science and SMIE joint collaboration meeting at North Campus, June 05th, 2014.
Robotics & Embedded Systems meeting in collaboration with Technische Universitat Munchen (TUM), tour of National Supercomputing Center, Carnegie Mellon University (CMU) - SYSU joint school, and CMU - SYSU joint research center, Guangzhou, May 26th - 30th, 2014
Eun-Young Kang starts working as an associate professor at Sun Yat-Sen University, May 16th 2014
Eun-Young Kang is officially nominated as Collaboratrice Scientifique à la faculté d’Informatique UNamur and SYSU, April. 1st, 2014.
Eun-Young Kang gave a talk at Secure Software Development Research Center (ITRC) at Korea Univ., Mar. 21st 2014.
Eun-Young Kang gave a talk at SAC14, Gyeongju, Korea, Mar. 24th - 28th, 2014.
Eun-Young Kang gave a talk at Centre Federe en Verification, Universite Libre de Bruxelles, Feb. 21st, 2014.
Eun-Young Kang gave a talk at SMIE, SYSU, China, Dec. 20th, 2013.
Eun-Young Kang gave a talk at at University of Eindhoven, The Netherlands, Sept. 2013.
Eun-Young Kang gave a talk at ICECCS14, Singapore, July 17th - 19th, 2013.
Eun-Young Kang gave a talk at DGIST, South Korea, July 12th, 2013.
Eun-Young Kang participated in EAST-ADL Association Workshop, Gothenburg, Sweden, Oct. 24th, 2013.
Eun-Young Kang gave a talk at ICCA14, Hangzhou, China, June, 2013.
Eun-Young Kang gave a talk at TMS13, SCS/ACM, San Diego, USA, April, 2013.
Eun-Young Kang gave a talk at ICST13, Luxembourg, March, 2013.