This paper presents a new property between processes arising from a set of relations called weak conformations. The largest, called weak conformance, is analogous to Milner’s observational equivalence. Unlike observational equivalence, however, weak conformance is not an equivalence but rather a preorder between processes. Like the previous property of logic conformance, weak conformance allows...

Several notions of conformance have been proposed for checking the behavior of cyber-physical systems against their hybrid systems models. In this paper, we explore the initial idea of a notion of approximate conformance that allows for comparison of both observable discrete actions and (sampled) continuous trajectories. As such, this notion will consolidate two earlier notions, namely the noti...

Industrial Process Measurement and Control Systems are used in most of the industrial sectors to achieve production improvement, process optimization and time and cost reduction. Integration, reuse, flexibility and optimization are demanded to adapt to a rapidly changing and competitive market. In fact, standardization is a key goal to achieve these goals. The international standardization effo...

This paper focuses on the execution of conformance testing of PLC with I/O scanning which executes a control code; it is assumed that the test sequence has been built from a finite state machine that represents the specified behavior. It is first shown that the conformance relation which allows to decide whether the implementation conforms to the specification or not must be defined from a sequ...

Given a grammar (or other sorts of meta-data), one can trivially derive combinatorially exhaustive test-data sets up to a specified depth. Without further efforts, such test-data sets would be huge at the least and explosive most of the time. Fortunately, scenarios of grammar-based testing tend to admit nonexplosive approximations of naive combinatorial coverage. In this paper, we describe the ...

Defined by the 3 Generation Partnership Project (3GPP), the IP Multimedia Subsystem (IMS) is becoming the de facto overlay architecture for enabling service delivery in converged environments. In order to explore and to further develop the service delivery mechanisms defined by the IMS, there is the need to enable a reliable testing environment that allows to experiment with these new approache...

An Integer Programming formulation is developed for optimizing surface operations at Dallas-Fort Worth airport, with the goal of assessing the potential benefits of taxi route planning. The model is based on operations in the eastern half of the airport under the most frequently used configuration. The focus is on operational concepts that optimize taxi routes by utilizing different control poi...

Process mining techniques rely on event logs: the extraction of a process model (discovery) takes an event log as the input, the adequacy of a process model (conformance) is checked against an event log, and the enhancement of a process model is performed by using available data in the log. Several notations and formalisms for event log representation have been proposed in the recent years to e...

The validation of enterprise authorization specification for conformance to enterprise security policies requires an out-of-band framework in many situations since the enforcing access control mechanism does not provide this feature. In this paper we describe one such framework. The framework uses XML to encode the enterprise authorization specification, XML Schema to specify the underlying acc...

The design and implementation of the MVB conformance test system is great significance in both professional theory practical application. Conformance for MVB, mainly to determine whether equipment IUT consistent with protocol standard requirements TCN standard. covers most contents RTP real-time such as physical layer, link network transport layer application layer. This subject will analyse st...