ABSTRACT
CONTENTS 16.1 Introduction 422 16.2 Top SE Program 423
16.2.1 Lectures 424 16.2.2 Graduation Studies 425
16.3 Formal Methods in the Top SE Program 426 16.3.1 Lectures 426
16.3.1.1 Series Design 426 16.3.1.2 Group Exercises 427 16.3.1.3 Classes for Practice 427
16.3.2 Graduation Studies 428 16.3.2.1 Crescendo Evaluation for Power System 428 16.3.2.2 Physical Control Validation with Event-B 429 16.3.2.3 Other Studies 430
16.4 Analysis and Discussion 431 16.4.1 Feedbacks to Lecture Classes 431
16.4.1.1 Diculty 431 16.4.1.2 Practicality 432 16.4.1.3 Applicability 433
16.4.2 Graduation Studies 434 16.4.2.1 Popularity 434 16.4.2.2 Quality 435
16.5 Concluding Remarks 435
Acknowledgments 436 References 436
16.1 INTRODUCTION Software-intensive systems have played an essential role in human and social activities, with ever-increasing complexity that engineers need to tackle. The emergence of Cyber-Physical Systems (CPS) further promotes this trend. CPSs are systems that involve computational elements as well as elements that interact with the physical environments [1,2]. CPSs thus have a stronger, more direct impact on the users and surrounding environments, which means that ensuring trustworthiness of CPS is challenging and the demand for it is high. The actors here are a wide range of engineers who are required to tackle the diculties in emerging CPS.
