Proving properties of real-time systems through logical specifications and Petri net models
M Felder, D Mandrioli, A Morzenti - IEEE Transactions on …, 1994 - ieeexplore.ieee.org
Addresses the problem of formally analyzing the properties of real-time systems. We
propose a method based on modeling the system as a timed Petri net and on specifying its …
propose a method based on modeling the system as a timed Petri net and on specifying its …
DTT-MAT: A software toolbox on a design-to-test approach for testing of embedded programmable controllers
This paper presents a continuation of previous results on a design-to-test (DTT) approach for
black-box testing of embedded programmable controllers, where the specifications and …
black-box testing of embedded programmable controllers, where the specifications and …
[PDF][PDF] Design-to-test: an approach to enhance testability of programmable controllers for critical systems-two case studies
This paper presents a continuation of researches on design-to-test (DTT) approach, which
enhances the testability of programmable controllers for critical systems, where the …
enhances the testability of programmable controllers for critical systems, where the …
Advances in Model-Based Testing of Programmable Controllers: Automatic Test Generation using Design-to-Test and Plant Features
C Ma - 2019 - mediatum.ub.tum.de
In this thesis, two novel approaches aiming at increasing the effectiveness and efficiency
during the model-based testing of programmable controllers in automation systems are …
during the model-based testing of programmable controllers in automation systems are …