sle2026/paper06

SLE 2026 paper:
CPSLint: A Domain-Specific Language Providing Data Validation and Sanitisation for Industrial Cyber-Physical Systems

Uraz Odyurt, Ömer Faruk Sayilir, Mariëlle Stoelinga, Vadim Zaytsev

• DOI: 10.1145/3806383.3815519
• arXiv preprint: 2510.18651
• Researchr: details/sle-2026/sle-2026/8/CPSLint-A-Domain-Specific-Language-Providing-Data-Validation-and-Sanitisation-for-In
• T6F: CPS/IoT/DT
  • The motivating domain is industrial cyber-physical systems and their sensor/machine-trace data.
• T3C: DSLs
  • The paper introduces CPSLint as a DSL for validation and sanitisation of CPS time-series data.
• T6B: Industrial
  • The software language proposed in this paper, is introduced in the industrial context.
• T4C: Vertical Transformation
  • CPSLint specifications are compiled into executable Python scripts for data sanitisation workflows.
• T5F: Performance
  • The evaluation measures CPU time and memory consumption for sanitisation activities.

---

The page is maintained by Dr. Vadim Zaytsev a.k.a. @grammarware. Last updated: July 2026.