[HTML][HTML] Model-based testing of asynchronously communicating distributed controllers using validated map**s to formal representations
Programmable controllers are gaining prevalence even in distributed safety-critical
applications, eg, in the railway and aerospace industries. In general, such systems are …
applications, eg, in the railway and aerospace industries. In general, such systems are …
Configurable Model-Based Test Generation for Distributed Controllers Using Declarative Model Queries and Model Checkers
Distributed programmable controllers are getting prevalence in critical infrastructure, among
others, in railway interlocking systems (RIS). Generally, such systems are integrated using …
others, in railway interlocking systems (RIS). Generally, such systems are integrated using …
Model-Based Testing of Asynchronously Communicating Distributed Controllers
Programmable controllers are gaining prevalence even in distributed safety-critical
infrastructures, eg, in the railway and aerospace industries. Such systems are generally …
infrastructures, eg, in the railway and aerospace industries. Such systems are generally …
Check for updates
F Durán¹, N Pozas¹, C Ramírez… - Formal Methods for …, 2023 - books.google.com
P is a programming language equipped with a unified framework for modeling, specifying,
implementing, testing, and verifying complex distributed systems. This language is based on …
implementing, testing, and verifying complex distributed systems. This language is based on …
Check for
SPGT Cases, B Bannour¹, A Lapitre¹… - Formal Aspects of …, 2024 - books.google.com
This paper focuses on generating test cases from timed symbolic transition systems. At the
heart of the generation process are symbolic execution techniques on data and time. Test …
heart of the generation process are symbolic execution techniques on data and time. Test …