Conformance checking techniques are widely adopted to pinpoint possible discrepancies between process models and the execution of in reality. However, state art approaches adopt a crisp evaluation deviations, with result that small violations considered at same level significant ones. This affects quality provided diagnostics, especially when there exists some tolerance respect reasonably viola...

Input-output conformance test theory for discrete systems has established itself in research and industry already. A couple of years ago also input-output conformance test theories for timed systems were defined. The next step is to develop conformance test theory for hybrid systems as well. In this report we present a conformance relation for model-based testing of hybrid systems and we formal...

In this paper we present a novel automated, on-line, modelbased testing system for on-the-fly testing of thin-client web applications. Web applications are specified by means of Extended State Machines. To handle dynamic web applications, arbitrarily large and complex state input and output types, and the transport of information from the webpage to the state of the specification, we define a n...

This report investigates issues surrounding TBO procedures for the current aircraft fleet when requesting deviations around weather. Air and ground procedures were developed to stringently follow TBO principles using three types of communication: Voice, ACARS, and FANS. ACARS and FANS are both text-based communication systems, but FANS allows uplinked flight plans to be automatically loaded int...

In the first part of this report, we present an extension of the programmingby-contract (PBC) paradigm to a concurrent and distributed environment. Classical PBC is characterized by absolute conformance of code to its specification, assigning blame in case of failures, and a hierarchical, cooperative decomposition model – none of which extend naturally to a distributed environment with multiple...