Developing a DSL Design Methodology for CPS Diagnostics

Diagnostics play a crucial role in ensuring the reliability and efficiency of Cyber-Physical Systems (CPSs). By promptly detecting system anomalies and their root causes, it becomes possible to ensure maximum uptime through preventive or corrective measures. However, developing an effective diagnostic system is challenging, requiring comprehensive knowledge about the expected system behavior. One way to achieve this is by specifying a model of the system using a Domain-Specific Language (DSL) that incorporates knowledge of the system's components and processes. In this research, we define a methodology for developing such a DSL. We begin by identifying a general methodology for designing a DSL applicable to the domain of CPS diagnostics. Then, we explore how the knowledge about CPS diagnostics can be formalized within a model. Finally, we investigate the methodology utilized by an existing DSL in this domain. This research is expected to contribute to the field of DSL development and the diagnostic formalization of complex systems.