Abstract
This paper explores the role of formal methods as part of the user-centred design of interactive systems. An iterative process is described, developing prototypes incrementally, proving user-centred requirements while at the same time evaluating the prototypes that are executable forms of the developed models using 'traditional' techniques for user evaluation. A formal analysis complements user evaluations. This approach enriches user-centred design that typically focuses understanding on context and producing sketch designs. These sketches are often non-functional (e.g. paper) prototypes. They provide a means of exploring candidate design possibilities using techniques such as cooperative evaluation. This paper describes a further step in the process using formal analysis techniques. The use of formal methods provides a systematic approach to checking plausibility and consistency during early design stages, while at the same time enabling the generation of executable prototypes. The technique is illustrated through an example based on a pill dispenser.

Abstract
The impact of digital technologies in manufacturing organizations has been felt for decades. Servitization processes themselves have developed from the traditional Product-Service Systems (PSS) toward new business models infused with digital technologies, paving the way to smart PSS. There is, however, a lack of understanding of how digital platforms (DP) can be leveraged for the offering of smart service offerings. In this paper, we highlight how the emergence of DP traces the evolution of PSS and highlight how a platform-based modular architecture can serve as the reference infrastructure for organizations to deliver smart and highly customized products and services. The architecture of the Transformer 4.0 platform is used to demonstrate how DP can serve as orchestrators for an ecosystem of digital twin-driven smart PSS.

Abstract

Abstract

Abstract
In recent years, extensive sequencing and annotation of bacterial genomes has revealed an unexpectedly large number of secondary metabolite biosynthetic gene clusters whose products are yet to be discovered. For example, cyanobacterial genomes contain a variety of gene clusters that likely incorporate fatty acid derived moieties, but for most cases we lack the knowledge and tools to effectively predict or detect the encoded natural products. Here, we exploit the apparent absence of a functional beta-oxidation pathway in cyanobacteria to achieve efficient stable-isotope-labeling of their fatty acid derived lipidome. We show that supplementation of cyanobacterial cultures with deuterated fatty acids can be used to easily detect natural product signatures in individual strains. The utility of this strategy is demonstrated in two cultured cyanobacteria by uncovering analogues of the multidrug-resistance reverting hapalosin, and novel, cytotoxic, lactylate-nocuolin A hybrids-the nocuolactylates.

Abstract
The sustainable development of power distribution systems must evolve into smart grids, where advanced automation with fast communication channels is essential. The analysis of their behavior uses the Hardware-In-the-Loop simulation for studying normal and critical operating conditions. In this work, we propose a hybrid technique for transient simulation in distribution systems by combining the high sample rate of the time domain models for voltage profile and electrical current monitoring with the processing speed of algorithms that operate the quasi-stationary, or permanent, phasor models. The proposed simulation platform is also based on the state of the art of standardized communication protocols of the power system. Its evaluation is performed using the comparison with specialized commercial software to assess the transient simulation. The time overcurrent protection function and the verification of messages exchanged between the simulator and the tested device highlights the applicability of the proposed methodology.