The 25th International Conference on Engineering of Complex Computer Systems


4 - 6 March 2021 - Singapore

Welcome to the website of the 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.


We look forward to your contribution and participation.

This year's ICECCS will be held in Singapore right after the 22nd International Conference on Formal Engineering Methods (ICFEM 2020) in Singapore. We would like to encourage you to attend both conferences with one business trip.

Important notice: the ICECCS steering committee has decided to delay the conference to 4 ~ 6 March, 2021, and the meeting will be in a hybrid mode of physical meeting and virtual meeting.

Registration

Physical Meeting Virtual Meeting (Author) Virtual Meeting (Non-author)
Price 900 SGD 300 SGD 100 SGD

We have negotiated with the ICFEM 2020 steering committee, and we have agreed upon a discount for the combined registration of physical meetings of both conferences. If you plan to attend both conferences in person, we highly recommend you to use the following registration link. The registration fee is 1260 SGD.

Physical Meeting
(ICECCS 2020 + ICFEM 2020)
Price 1260 SGD

Host City and Venue

More information soon.

Important notice: Due to the uncertainty of COVID-19 situation, virtural presentation will be considered (with discounted registration fee) if physical presentation is not feasible at the time of the conference.

Program

Download the program here.


Keynote Speakers

Professor Jason Scholz is the Chief Executive for the Trusted Autonomous Systems Defence Cooperative Research Centre, Australia, a not-for-profit company advancing industry-led, game-changing projects and activities for Defence and dual use with $50m Commonwealth funding and $51m Queensland Government funding.

Title: Challenges in the Engineering of Complex Systems with Autonomous Capabilities

Abstract: Computers play an increasingly important role in society, being both ubiquitous and critical to systems that operate our homes, transport, communications, manufacturing, energy, health, defence etc. Yet, the cost to achieve large, complex IT systems design, test, delivery, operation and maintenance continues to accelerate, with systems often failing to meet performance expectations. In contrast to the “large, complex and few” proprietary integrated IT systems, the Internet of Things is illustrative of a vision for the future of “small, smart and many” systems. The future for society is where computing is adaptable, embedded in everything, autonomous, fully human-machine-decision integrated, physically distributed, goals are decentralised, socially coordinated with managed levels of control. The engineering of this vision, in turn raises new challenges for complex computer systems to solve that will be outlined in the talk, and include: Mutually understood human-machine semantics; Dynamic validation of a proposed complex of system contracts that meets operator goals, just prior to a new deployment rather than at “design time” (ensuring the system “does the right thing”); On-line verification that elements of the composed system will not exceed behavioural constraints or policies just prior to and during deployment (ensuring the system “does things right”); (eg TLA+) Means for human to dynamically monitor and break contracts during deployment; The ability for the computing system complex to predict its own limits of performance and adapt or break the contract, while informing the user; Legal agreement protocol that brings the power of contract law to formalise contractual agreements including “consideration” for the flow of payments for systems and services developed by any company; Assessment of the consequences of breaking contract and remedies for doing so; and Means for handling adversarial agents inside the system through reputation and system-wide monitoring and governance.


Yongsheng Gao is the Director of Australian Research Council (ARC) Research Hub for Driving Farming Productivity and Disease Prevention, and the Director of Institute for Integrated and Intelligent Systems at Griffith University, Australia. He was a member of College of Experts, Australian Research Council. As a Chief Investigator, he has been working on projects in Australia, Singapore, Germany, and China in the areas of smart farming, environmental informatics, biosecurity, face recognition, biometrics, image retrieval, computer vision, pattern recognition, and medical imaging. He was also employed as a consultant by Panasonic Singapore Laboratories Pte Ltd working on the face recognition standard in MPEG-7. His research are reported in the media in Australia and Singapore, including The Australian, The Courier Mail, The Sydney Morning Herald, and The Straits Times (Singapore).

Title: Visual Perception of Machine for Smart Farming

Abstract: Smart farming 4.0 studies new knowledge, technologies and devices for automation in agriculture and aquaculture, early detection of pest and plant disease, automatic species identification, plant phenomics, better water resource management, land environment monitoring, costal environment monitoring, marine life surveillance, etc. In this talk, he will introduce some of their work on automation in agriculture and aquaculture, faster grading and packing, species and cultivar identification, pest and disease recognition at ARC Industrial Transformation Research Hub for Driving Farming Productivity and Disease Prevention and Environmental Informatics@Griffith, including recognition without detection, large image database retrieval (speed vs accuracy), and new advancement of visual classification from species to cultivar.


Ryan Ko is Chair and Director of UQ Cyber Security at the University of Queensland, Australia. He is also Discipline Leader of the Cyber Security and Software Engineering Discipline at the School of ITEE at UQ. His applied research in cyber security focuses on returning control of data to cloud computing users. His research reduces users' reliance on trusting third-parties and focusses on (1) provenance logging and reconstruction, traceability and (2) privacy-preserving data processing. Both his research foci are recognised nationally and internationally, receiving conference Best Paper Awards (2011, 2015, 2017), and technology transfers locally and internationally. Prior to UQ, he held scientific leadership positions at Hewlett Packard Labs and University of Waikato, New Zealand. He holds a BEng(Comp Eng)(Hons) and PhD from Nanyang Technological University, Singapore.

Title: Data Provenance and Cybersecurity: Research Challenges and Opportunities

Abstract: At the heart of all cyber security attribution challenges is the problem of data provenance tracking and its reconstruction. In this talk, I will cover past, present and developing provenance research in computer science, and cover its relation and usefulness to accountability, traceability, trust, forensics and proactive cyber security. It will feature some of the data provenance research I have conducted in the past decade, discussed unsolved (or seemingly unsolvable) problems, and will discuss some of the recent developments in academia, industry, and international standards.

Important Dates

Abstract Submissions Due: 22 May 3 June 2020

Full Paper Submissions Due: 29 May 10 June 2020

Acceptance/Rejection Notification: 25 July 1 August 2020

Camera-ready Due: 21 August 2020

Conference date (updated): 4 - 6 March 2021

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

Different kinds of contributions are sought, including novel research, lessons learned, experience reports, and discussions of practical problems faced by industry and user domains. The ultimate goal is to build a rich and comprehensive conference program that can fit the interests and needs of different classes of attendees: professionals, researchers, managers, and students. A program goal is to organize several sessions that include both academic and industrial papers on a given topic and culminate panels to discuss relationships between industrial and academic research.

Full Papers

Full papers are divided into two categories: Technical Papers and Experience Reports. The papers submitted to both categories will be reviewed by program committee members, and papers accepted in either category will be published in the conference proceedings. Technical papers should describe original research, and experience reports should present practical projects carried out in industry, and reflect on the lessons learnt from them.


Short Papers

Short paper submissions describe early-stage, ongoing or PhD research. All short papers will be reviewed by program committee members, and accepted short papers will be published in the conference proceedings.


Submission and Publication

Submissions to the conference must not have been published or be concurrently considered for publication elsewhere. All submissions will be judged on the basis of originality, contribution to the field, technical and presentation quality, and relevance to the conference.

Submitted manuscripts should be in English and formatted in the style of the double-column CPS format. Full papers should not exceed 10 pages, and short papers should not exceed 6 pages, including figures, references, and appendices. All submissions should be in PDF format. Submissions not adhering to the specified format and length may be rejected immediately, without review.

Please prepare your manuscripts in accordance to the (CPS guidelines). We invite all prospective authors to submit their manuscripts via the ICECCS'20 portal, hosted on EasyChair.

Access submission portal

General Co-Chairs

Jin Song Dong, NUS and Griffith University, Singapore/Australia
Seyedali Mirjalili, Torrens University Australia

Program Co-Chairs

Yi Li, Nanyang Technological University, Singapore
Alan Liew, Griffith University, Australia


Workshop and Tutorial Chair

Guangdong Bai, The University of Queensland, Australia


Program Committee Members

Yamine Ait Ameur, IRIT/INPT-ENSEEIHT, France
Étienne André, Université Paris 13, France
Cyrille Valentin Artho, KTH Royal Institute of Technology, Sweden
Guangdong Bai, University of Queensland, Australia
Luciano Baresi, Politecnico di Milano, Italy
Sergiy Bogomolov, Australian National University, Australia
Hadrien Bride, Griffith University, Australia
Lei Bu, Nanjing University, China
Mingsong Chen, East China Normal University, China
Sen Chen, Nanyang Technological University, Singapore
Yu-Fang Chen, National Taiwan University, Taiwan
Lingling Fan, Nanyang Technological University, Singapore
Sebastien Gerard, CEA LIST, France
Nan Guan, The Hong Kong Polytechnic University, China
Zhe Hou, Griffith University, Australia
Shu Yan Lam, The Hang Seng University of Hong Kong, China
Kung-Kiu Lau, University of Manchester, United Kingdom
Scott Uk-Jin Lee, Hanyang University, Korea
Shang-Wei Lin, Nanyang Technological University, Singapore
Yun Lin, National University of Singapore, Singapore
Shuang Liu, Tianjing University, China
Ting Liu, Xi'an Jiaotong University, China
David Lo, Singapore Management University, Singapore
Gerald Luettgen, University of Bamberg, Germany
Lei Ma, Kyushu University, Japan
Tiziana Margaria, Lero, Ireland
Dominique Mery, Université de Lorraine, France
Seyedali Mirjalili, Torrens University Australia
Mohammadreza Mousavi, University of Leicester, United Kingdom
Paolo Nesi, University of Florence, Italy
Jun Pang, University of Luxembourg, Luxembourg
Chiu-Wing Sham, The University of Auckland, New Zealand
Fu Song, ShanghaiTech University, China
Ting Su, ETH Zurich, Switzerland
Jing Sun, University of Auckland, New Zealand
Jun Sun, Singapore Management University, Singapore
Meng Sun, Peking University, China
Kai Meng Tay, Universiti Malaysia Sarawak, Malaysia
Tullio Vardanega, University of Padua, Italy
Hai H. Wang, University of Aston, United Kingdom
Haijun Wang, Ant Financial, China
Haoyu Wang, Beijing University of Posts and Telecommunications, China
Shi Lin Wang, Shanghai Jiao Tong University, China
Hironori Washizaki, Waseda University, Japan
Zhilin Wu, Chinese Academy of Sciences, China
Xiaofei Xie, Nanyang Technological University, Singapore
Yinxing Xue, University of Science and Technology of China, China
Chenyi Zhang, Jinan University, China

Sponsors

DEPINTEL: Dependable Intelligence