183 search results - page 2 / 37 » A Hybrid Testing Methodology for Railway Control Systems |
163
click to vote
HYBRID
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. A methodology for safety verification using barrier certificates has been proposed recently. Conditions that must be satisfied by a barrier certificate can be formula...
144
click to vote
HYBRID
2004
Springer
15 years 12 months ago
2004
Springer
This paper presents a new solution approach to the optimal control problem of fixed frequency switch-mode DC-DC converters using hybrid systems methodologies. In particular, the n...
264
click to vote
SAC
2008
ACM
15 years 6 months ago
2008
ACM
Software-based self-test (SBST) is emerging as a promising technology for enabling at-speed testing of high-speed embedded processors testing in an SoC system. For SBST, test rout...
181
click to vote
MAM
2008
15 years 6 months ago
2008
This paper presents a design methodology for a hybrid Hardwarein-the-Loop (HIL) tester tool, based on both discrete event system theory, given by timed automata, and continuous sy...
189
click to vote
HPCN
2000
Springer
15 years 10 months ago
2000
Springer
The paper presents the implementation of a railway control system, as a means of assessing the potential of coordination languages to be used for modelling software architectures f...