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 International Conference on Dependable Systems and Their Applications (DSA). This year is the third meeting after the merge. In the past, both TSA and DCIT were technically sponsored by the IEEE Reliability Society. Following the same tradition, DSA 2019 also has the same technical sponsorship from IEEE. It is organized by the Harbin University of Science and Technology. In addition, the conference receives support from Harbin Engineering University and Harbin Institute of Technology.

DSA 2019 focuses on innovative methodologies, techniques, tools, and management to produce dependable and trustworthy systems and their applications in a more cost-effective way. It provides a discussion forum to bring together 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.

An editorial board meeting of IEEE Transactions on Reliability will also be held on January 5.

Keynote Speakers

Keynote 1: A Baker’s Dozen: 13 Grand Software Engineering Challenges

Jeff Voas

Computer Scientist

IEEE Reliability Society

Read More

Keynote 2: How Far Can We Go for Replaying Multithreaded Executions?

W.K. Chan

Associate Professor of Computer Science

City University of Hong Kong

Read More

Keynote 3: Taming Vulnerabilities to Provide Better Software Supply Chain Security

Yang Liu

Professor

Nanyang Technological University

Read More

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 Clouding Computing
• Collaborative, Distributed, Embedded, Real-Time, High Performance, Highly Dependable, Intelligent, Multimedia Systems
• Big Data and Storage
• Prognosties 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