The logistics market has been impacted by increase of e-commerce, mass customization,
omni-channel distribution, and just-in-time philosophy. In order to attend to this dynamic …

Programmable logic controllers (PLCs) are heavily used in industrial control systems,
because of their high capacity of simultaneous input/output processing capabilities …

All engineering disciplines are founded and rely on models, although they may differ on
purposes and usages of modeling. Interdisciplinary domains such as Cyber Physical …

Industrial automation systems (IAS) need to be highly dependable; they should not merely
function as expected but also do so in a reliable, safe, and secure manner. Formal methods …

Since its birth more than two decades ago, public key cryptography has been recognized as
one of the most effective mechanisms for providing fundamental security services including …

Context Testing and verification of automotive embedded software is a major challenge.
Software production in automotive domain comprises three stages: Develo** automotive …

One promising way to improve the accuracy of fault localization based on statistical
debugging is to increase diversity among test cases in the underlying test suite. In many …

Modeling manufacturing processes assists the design of new systems, allowing predictions
of future behaviors, identifying improvement areas and evaluating changes to existing …

Continuous controllers have been widely used in automotive domain to monitor and control
physical components. These controllers are subject to three rounds of testing: Model-in-the …

Eectromechanical systems built by Simulink or Ptolemy have been widely used in industry
fields, such as autonomous systems and robotics. It is an urgent need to ensure the safety …