Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request

Early Validation of High-level Requirements on Cyber-Physical Systems ...

Item request has been placed! ×
Item request cannot be made. ×
loading   Processing Request
اقرأ أكثر حفظ في قائمتي
  • معلومة اضافية
    • بيانات النشر:
      arXiv
    • الموضوع:
      2025
    • Collection:
      DataCite Metadata Store (German National Library of Science and Technology)
    • نبذة مختصرة :
      The overarching, broad topic of my research are advancements in the area of safety-critical, cyber-physical systems (CPS) development with emphasis on validation and verification. The particular focus of my research is the early validation of high-level requirements on CPS. My current approach for tackling this problem is transforming the requirements into Event Calculus and subsequently reasoning about them using ASP solvers such as the grounding-free s(CASP). Below, I discuss my research, its current state, and the open issues that are still left to tackle. The first results of my work will be presented in a paper that was accepted for ICLP'24, which is my first paper in this area. ... : In Proceedings ICLP 2024, arXiv:2502.08453 ...
    • Relation:
      https://dx.doi.org/10.4204/eptcs.416.40
    • الرقم المعرف:
      10.48550/arxiv.2502.09236
    • الدخول الالكتروني :
      https://dx.doi.org/10.48550/arxiv.2502.09236
      https://arxiv.org/abs/2502.09236
    • Rights:
      Creative Commons Attribution 4.0 International ; https://creativecommons.org/licenses/by/4.0/legalcode ; cc-by-4.0
    • الرقم المعرف:
      edsbas.1DE5ACB7