Automated formatting is an important technique for the software maintainer. It is either applied separately to improve the readability of source code, or as part of a source code transformation tool chain. In this paper we report on the application of generic tools for constructing formatters. In an industrial setting automated formatters need to be tailored to the requirements of the customer....

Industrial Ecology involves the transformation of industrial processes from linear to closed loop systems: matter and energy flows which were initially considered as wastes become now resources for existing or new processes. In this paper, Thermoeconomics, commonly used for the optimization and diagnosis of energy systems, is proposed as a tool for the characterization of Industrial Ecology. Th...

Every design deserves decisions based on the application domain knowledge collected from previous similar implementations. The paper deals with stepwise development of a dedicated LAN-based industrial measurement application. The conception of this development stems from a knowledge preserving, graceful conversion of the original enterprise practice into a cooperative work supporting arrangemen...

We tested the detection properties of four MOX sensors toward different ozone mixtures to identify sets of sensing layers and interfering compounds concentrations most suitable for a reliable detection of ozone. The measurement campaign lasted 1 year divided in four sessions. We collected a substantial amount of measurements (more than 500) with diverse interfering gases: ammonia, ethanol, ethy...

Given the fact that machine learning research exists almost half a century by now one may ask the question what the industrial value is of the things we have done. Well there is good news and bad news. The good news is that the research is flourishing. We have found a number of robust simple techniques that really seem to solve a class of interesting learning problems. In the next decade applic...

Over the last century, terrestrial yeasts have been widely used in various industries, such as baking, brewing, wine, bioethanol and pharmaceutical protein production. However, only little attention has been given to marine yeasts. Recent research showed that marine yeasts have several unique and promising features over the terrestrial yeasts, for example higher osmosis tolerance, higher specia...

This paper deals with multicriteria discrete-continuous problems of scheduling nonpreemptable jobs. The need for reusability and modularity leads us to build a “generic” optimisation and simulation framework, while the need to quickly generate good compromises between conflicting objectives requires the implementation of multicriteria scheduling models. This paper describes the practical possib...

Modal process logic is an extension of CCS that allows for more expressive specifications. We show how modal process logic was successfully applied in the development of a failure recovery protocol for an air-traffic information system now in service at Heathrow airport. Two example systems are used to show that CCS itself was not suitable for this application.

The repair of nuclear power plants often necessitates the development of special robots which should be operational readily. This requires a software architecture which quickly permits the design of a controller for an entire telerobotic system in a minimum period of time. We have developed such a software architecture to facilitate the design of applications dealing with non standard robot sys...