Chuchu Fan: Formal Methods for Safe Autonomy: Data-driven Verification, Synthesis, and Applications

ACM, October 2024, 184 pp, ISBN: 979-8-4007-0865-7. https://dl.acm.org/doi/book/10.1145/3603288

Summary

The book Formal Methods for Safe Autonomy: Data-driven Verification, Synthesis, and Applications by Chuchu Fan sets forth a vision for formal verification of cyber-physical systems recast in the data-driven age. By making simulators an integral part of the verification and synthesis processes, the book introduces a family of scalable algorithms that provide guarantees of safe autonomy and illustrates them on a set of formally validated applications. Achieving scalability while maintaining the rigor of formal methods is what sets this work apart from previous approaches.

Although not primarily intended as an introductory text, this book can nonetheless serve as a solid entry point into formal verification and synthesis of cyber-physical systems, particularly for graduate students and researchers with an interest in the field. The included examples and case studies make it a valuable resource for teaching.

Read more

Andrzej Wasowski and Thorsten Berger: Domain-Specific Languages – Effective Modeling, Automation, and Reuse

Springer, February 2023, 485 pp, ISBN: 978-3-031-23668-6. https://doi.org/10.1007/978-3-031-23669-3

Summary

Domain-Specific Languages – Effective Modeling, Automation, and Reuse by Andrzej Wasowski and Thorsten Berger (Springer) offers a comprehensive introduction to DSLs, combining perspectives from both the modelware (MDSE, meta-modelling) and grammarware (grammars, parsers) communities. The book systematically covers domain analysis, abstract and concrete syntax, static and dynamic semantics, code generation, and tool support, enriched with examples from robotics, machine learning, and embedded systems to show DSLs’ practical relevance in agile and low-code development. Aimed at advanced students and instructors, it blends solid theoretical foundations with exercises, teaching guidelines, and case studies, making it a valuable resource for both learning and teaching.

Read more

The 82nd Business Meeting of FME will take place online November 24, 16:00-18:00 CET.

Read more

FME is now inviting proposals to host the 28th edition of the International Symposium on Formal Methods in autumn 2027. Since FM 2026 will take place in Asia, FM 2027 should preferably be held in Europe – although other locations worldwide will also be considered.

Read more