Programmable controllers are gaining prevalence even in distributed safety-critical
applications, eg, in the railway and aerospace industries. In general, such systems are …

Distributed programmable controllers are getting prevalence in critical infrastructure, among
others, in railway interlocking systems (RIS). Generally, such systems are integrated using …

Programmable controllers are gaining prevalence even in distributed safety-critical
infrastructures, eg, in the railway and aerospace industries. Such systems are generally …

Abstract The Model-Driven Software Development Systems (MDSDS) were initially
developed as an attempt to increase software development productivity and quality. This is …

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 …

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 …

In model-driven engineering, domain specific-languages (DSL) provide tailored notations
towards a specific problem domain to represent its different concepts. Multiple tools allow …

As a result of the recent technological advancements in computation, programmable
controllers are now used extensively even in critical domains such as automotive embedded …

Abstract The Model-Driven Software Development Systems (MDSDS) were initially
developed as an attempt to increase software development productivity and quality. This is …