University of Twente Student Theses

Login

Developing a DSL Design Methodology for CPS Diagnostics

Kouzel, A. (2024) Developing a DSL Design Methodology for CPS Diagnostics.

[img] PDF
308kB
Abstract: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.
Item Type:Essay (Bachelor)
Faculty:EEMCS: Electrical Engineering, Mathematics and Computer Science
Subject:54 computer science
Programme:Computer Science BSc (56964)
Link to this item:https://purl.utwente.nl/essays/100776
Export this item as:BibTeX
EndNote
HTML Citation
Reference Manager

 

Repository Staff Only: item control page