Engineering Trustworthy Software Systems: 5th International School, SETSS 2019, Chongqing, China, April 21-27, 2019, Tutorial Lectures

In a rapidly advancing technological landscape, the importance of dependable software systems cannot be overstated. This comprehensive collection of tutorial lectures from the 5th International School on Engineering Trustworthy Software Systems provides invaluable insights into the foundation of model-based system engineering. Scholars and practitioners gather in Chongqing, China, to delve into methodologies that enhance the reliability and safety of complex software systems.

Through a series of meticulously structured lectures, the reader is introduced to cutting-edge techniques such as bounded reachability analysis within linear hybrid automata. These concepts lay the groundwork for ensuring that systems can be rigorously evaluated and trusted in a multitude of applications, from everyday software to critical systems in healthcare and transportation.

Jonathan P. Bowen curates a diverse array of topics that not only reflect current advances in the field but also address the challenges faced by engineers today. The material fosters a deeper understanding of the interplay between theoretical frameworks and practical application, making it an essential resource for those committed to the pursuit of excellence in software system engineering.