In Model-Based Design of Cyber-Physical Systems (CPS), it is often desirable to develop several models of varying fidelity. Models of different fidelity levels can enable mathematical analysis of the model, control synthesis, faster simulation etc. Furthermore, when (automatically or manually) transitioning from a model to its implementation on an actual computational platform, then again two d...

In order to assure successful communication between computer systems from different manufacturers, standardized communication protocols are being developed and specified. As a next step implementations of these protocols are needed that conform to these specifications. Testing is a way to check correctness of protocol implementations with respect to their specifications. This activity is known ...

We examine the impact of employee turnover on operating performance in settings that require high levels of knowledge exploitation. Using 48 months of turnover data from U.S. stores of a major retail chain, we find that, on average, employee turnover is associated with decreased performance, as measured by profit margin and customer service. The effect of turnover on performance, however, is mi...

Mixed-paradigm process models integrate strengths of procedural and declarative representations like Petri nets Declare. They are specifically interesting for mining because they allow capturing complex behaviour in a compact way. A key research challenge the proliferation mixed-paradigm is lack corresponding conformance checking techniques. In this paper, we address problem by devising first a...

Initially, process mining focused on discovering models from event data, but in recent years the use and importance of conformance checking has increased. Conformance aims to uncover differences between a model an log. Many techniques measures have been proposed. Typically, these take into account frequencies traces log, do not consider probabilities model. This asymmetry leads various complica...

In model based testing test cases are derived from a model (the specification) of the system we want to test. In general the model is more abstract than the implementation. This may result in test cases that are not executable, because their actions are too abstract; the implementation does not understand them. The standard approach is to rewrite the model by hand to the required level of detai...

The conformance testing problem for dynamical systems asks, given two dynamical models (e.g., as Simulink diagrams), whether their behaviors are “close” to each other. In the semi-formal approach to conformance testing, the two systems are simulated on a large set of tests, and a metric, defined on pairs of realvalued, real-timed trajectories, is used to determine a lower bound on the distance....

English) Software has found its way into our everyday lives and as a consequence the impact of software failures can range from just being inconvenient to being life-threatening in the worst case. Consequently, software quality is a major concern in the development of modern software systems. Testing is considered as a practical technique for finding bugs in computer programs. An important aspe...

This report presents a formal framework to investigate the relationship between OSI protocol speci cations, conformance, and interoperability. We discuss the extent to which conformance is a su cient condition for interoperability, i.e. validating the conformance of a protocol implementation with respect to its specication su ces to determine whether the implementation is able to interoperate w...

It seems that finite state machines (FSM's) and (finite) labeled transition systems (LTS's) are competing descriptive models for system specifications in various areas, including communication protocols. Much work on the derivation of tests from a given system specification has been done separately for these two models. In this paper, we attempt to make a comparative study of existing approache...