ICECCS 2020

25th International Conference on Engineering of Complex Computer Systems (ICECCS 2020)

Over the past several years, we have seen a rapid rising emphasis on design, implement and manage complex computer systems which are present in every aspect of human activities, such as manufacturing, communications, defense, transportation, aerospace, hazardous environments, energy, and health care. The complex computer systems are frequently distributed over heterogeneous networks and processing large amount data. Complexity arises from many factors, including the dynamic environments and scenarios these systems operate in; demanding and sometimes conflicting requirements in functionality, efficiency, scalability, security, dependability and adaptability; as well as the large variation in development methodology, programming languages and implementation details. The key issues in these systems include performance, real-time behavior, fault tolerance, security, adaptability, development time and cost, and long life concerns.

The goal of this conference is to bring together industrial, academic, and government experts, from a variety of application domains and software disciplines, to discuss how the disciplines' problems and solution techniques interact within the whole system. Researchers, practitioners, tool developers and users, and technology transfer experts are all welcome. The scope of interest includes long-term research issues; near-term requirements and challenges; established complex systems; emerging promising tools; and retrospective and prospective reflections of research and development into complex systems.

ICECCS is an A-ranked international conference by the Computing Research and Education Association of Australasia (CORE) 2018 ranking.

Scope and Topics

Authors are invited to submit papers describing original, unpublished research results, case studies and tools. Papers are solicited in all areas related to complex computer-based systems, including the causes of complexity and means of avoiding, controlling, or coping with complexity. Topic areas include, but are not limited to:

• Requirement specification and analysis
• Verification and validation
• Security and privacy of complex systems
• Model-driven development
• Reverse engineering and refactoring
• Achitecture software
• Big data management
• Ambient intelligence, pervasive computing
• Ubiquitous computing, context awareness, sensor networks
• Applications to SAT/SMT techniques to analysis of complex systems
• Design by contract
• Agile methods
• Safety-critical and fault-tolerant architectures
• Adaptive, self-managing and multi-agent systems
• Real-time, hybrid and embedded systems
• Systems of systems
• Cyber-physical systems and Internet of Things (IoT)
• Tools and tool integration
• Industrial case studies