International Conference on Dependable Systems and Their Applications

Welcome

In 2017, the International Conference on Trustworthy Systems and Their Applications (TSA) and the International Symposium on Dependable Computing and Internet of Things (DCIT) were merged into one large conference and renamed as the International Conference on Dependable Systems and Their Applications (DSA). This year will be the fifth meeting after the merge. In the past, both TSA and DCIT were technically sponsored by the IEEE Reliability Society. Following the same tradition, DSA 2021 also has the same technical sponsorship from IEEE. The focus is on innovative methodologies, techniques, tools, and management to produce dependable and trustworthy systems and their applications in a more cost-effective way. It provides an opportunity for academic researchers, industry practitioners, and government policy and decision makers to exchange ideas and results, share experiences, and explore possible solutions to overcome current challenges.

News & Announcements

Opening Remark

Professor Qiang Miao China

Vice President of IEEE Reliability Society for Membership

Keynote Speakers

Keynote 1: Dependable Compilers: Challenges, Solutions, and Tools (September 11)

Professor He Jiang China

Professor, School of Software
Dean, Artificial Intelligence Institute, Dalian

Dalian University of Technology

Awardee of the National Science Fund for Excellent Young Scholars
Associate Editor of IEEE Transactions on Reliability

Read More Slides

Keynote 2: Code Recommendation: A Systematic Perspective (September 11)

Professor Zhiqiu Huang China

Professor, College of Computer Science and Technology
Vice President, Nanjing University of Aeronautics and Astronautics

Director of Key Laboratory of Safety-Critical Software
Nanjing University of Aeronautics and Astronautics
Ministry of Industry and Information Technology

Read More Video

Topics of Interest

• Algorithms, Architecture, Framework, Design Patterns and Maintenance for Dependable Systems and Software
• Security, Threats, Privacy, Safety, and Risk Management
• Dependability and Reliability Modeling and Measurement
• Fault Tolerance, Survivability, Resilience, and Availability
• Metrics, Measurement, and Quality Assessment
• Requirements, Process, Standards, Productivity, and Project Management
• Quality Assurance, Maintenance, and Reverse Engineering and Re-Engineering
• Verification, Validation, Testing, Analysis, Debugging, Model Checking, and Program Repair
• Formal Methods and Theories
• Communication, Networking, Optimization, and Performance
• Pervasive, Ubiquitous, Service-Oriented, and Cloud Computing
• Collaborative, Distributed, Embedded, Real-Time, High Performance, Highly Dependable, Intelligent, Multimedia Systems
• Big Data and Storage
• Prognostics and Health Management
• IoT, Supply Chain, Cyber-Physical Systems, Industry 4.0 and Smart City
• Empirical Studies, Benchmarking, and Industrial Best Practices
• Applications, Tools, and Automation
• Approaching Artificial Creativity