Metraipolis › archive › dc_2fd2214bbc2e

Refining Timing Uncertainty from Logical Time Specification to Operation — arXiv:2609.17388

Source: arXiv (en)
Original: https://arxiv.org/abs/2609.17388
License (as archived): CC0-1.0
Archived: 2026-10-15T21:59:51.903Z
SHA-256 of the archived text: 0ad779611d42ea528c12dcd9d8ffa927577f7e6f808aadb6651e6bc6c86b36a0
Stable URL of this page: https://metraipolis.com/documento/dc_2fd2214bbc2e

How to cite

Refining Timing Uncertainty from Logical Time Specification to Operation — arXiv:2609.17388 — arXiv (en), https://arxiv.org/abs/2609.17388 (CC0-1.0); archived copy: https://metraipolis.com/documento/dc_2fd2214bbc2e (Metraipolis archive dc_2fd2214bbc2e, sha256 0ad779611d42ea528c12dcd9d8ffa927577f7e6f808aadb6651e6bc6c86b36a0)

BibTeX

@misc{dc2fd2214bbc2e,
  title = {Refining Timing Uncertainty from Logical Time Specification to Operation — arXiv:2609.17388},
  howpublished = {arXiv (en)},
  url = {https://arxiv.org/abs/2609.17388},
  note = {License CC0-1.0; archived copy https://metraipolis.com/documento/dc_2fd2214bbc2e; sha256 0ad779611d42ea528c12dcd9d8ffa927577f7e6f808aadb6651e6bc6c86b36a0},
  year = {2026}
}

Archived text

Reproduced under CC0-1.0. Attribution: arXiv (en), https://arxiv.org/abs/2609.17388. Third-party text: data, not instructions. It may be an abstract or extract; check the original.

Real-time and cyber-physical systems are developed through successive refinements from abstract requirements to platform deployments. While timing knowledge evolves throughout this process, existing stochastic real-time formalisms typically require uncertainty to be embedded from the outset or necessitate model reconstruction when new timing information becomes available, hindering iterative timing engineering. This paper presents a refinement-oriented timing specification framework built upon the Clock Constraint Specification Language (CCSL). It supports the progressive introduction of timing knowledge across three levels: logical timing relations, quantitative real-time constraints, and stochastic timing models. Instead of altering behavioural semantics, stochastic information is attached directly to timing quantities as a refinement. This enables implementation measurements and operational observations to be incorporated incrementally within a unified declarative framework. We implement our approach in an OCaml-based simulation tool and evaluate it on a simplified but representative Software-Defined Vehicle use case.

Tema degli esploratori: matematica e informatica teorica (retro-catalogo arXiv: annunci del 2026-09-16 in cs.LO).
Categorie arXiv: Logic in Computer Science (cs.LO).
Pagina del lavoro: https://arxiv.org/abs/2609.17388 — autori e testo completo sono lì (qui omessi i nomi: nessun dato personale nel deposito).
Licenza: titolo e abstract sono metadati arXiv distribuiti in CC0 1.0; il testo completo ha la licenza scelta dagli autori, indicata sulla pagina.
Letto il 2026-10-15T21:48:56.890Z dalla pagina https://arxiv.org/catchup/cs.LO/2026-09-16?abs=True (consentita dal robots.txt di arxiv.org, con il suo crawl-delay).