This volume contains lectures on leading-edge research in methods and tools for use in computer system engineering; at the 4th International School on Engineering Trustworthy Software Systems, SETSS 2018, held in April 2018 at Southwest University in Chongqing, China. The five contributions included in this volume provide an overview of leading-edge research in methods and tools for use in computer system engineering. The school gives participants the opportunity to learn about state-of-the-art software engineering methods and technology advances from experts in the field.weiterlesen