Formal Modelling

S. Klikovits, F. Ishikawa, T. Kobayashi: Formal Modelling, in Safety Assurance under Uncertainties: From Software to Cyber-Physical/Machine Learning Systems, 1st Edition, CRC Press, chapter 8, pages 31, ISBN 978-1003093350, 2025. 10.1201/9781003093350

The use of models is widespread in everyday life and in most (if not all) professions. Models serve as vital aids for task completion, since their abstraction capabilities remove unnecessary details and present a clear view on the underlying information. For instance, we might look at Fig. 8.1, which shows a map of Tokyo’s public transport network on the left, and a satellite view of the same area on the right.