Goodbye ioco

Model-based testing involves testing a system under test for conformance to a model that specifies its behaviour. An important aspect for model-based testing is the implementation relation that defines precisely when a system under test conforms to its model. The implementation relation ioco has often been used and studied in model-based testing...

Impact of Signalized Intersections on CO2 and NOx Emissions of Heavy Duty Vehicles

Pollutant emissions have been a topic of interest in the last decades. Not only environ mentalists but also governments are taking rapid action to reduce emissions. As one of the main contributors, the transport sector is being subjected to strict scrutiny to ensure it complies with the short and long-term regulations. The measures imposed by...

Real-world impacts of truck driving with Adaptive Cruise Control on fuel consumption, driver behaviour and logistics - results from a hybrid field operational tests and naturallistic driving study in the Netherlands

Introduction: increased automation logistics starting with ADAS systems Digitization and automation are progressing fast in transport and logistics. Technological advancement is driving the level of automation and autonomy of vehicles, moving from driver-assisted technologies (Advanced Driver Assistance Systems; ADAS) to autonomous transport...

Impact of signalized intersections on CO2 and NOx emissions of heavy duty vehicles

Real-world impacts of truck driving with Adaptive Cruise Control on fuel consumption

This concise report consists of an analysis that is conducted in relation to the Ursa Major Neo Integrator Connected Truck Trials project (060.36265). This project aimed to assess the real-world impacts of trucks driving with Adaptive Cruise Control (ACC) on fuel consumption, driver behaviour and logistics. During 15 weeks experimental tests in...

Matching implementations to specifications: The Corner Cases of ioco

A well-known conformance relation for model-based testing is ioco. A conformance relation expresses when an implementation is correct with respect to a specification. Unlike many other conformance and refinement relations, ioco has different domains for implementations and for specifications. Consequently, ioco is neither reflexive nor...

Relating Alternating Relations for Conformance and Refinement

Various relations have been defined to express refinement and conformance for state-transition systems with inputs and outputs, such as and in the area of model-based testing, and alternating simulation and alternating-trace containment originating from game theory and formal verification. Several papers have compared these independently...

Decision support methodology for evolutionary embedded system design

Design decisions are made in an early-design phase of system development. These decisions have a big impact on the resulting system design and realization. Making design decisions in this stage is a complex and risky task, because there are a lot of uncertainties regarding their impact on the system qualities. Moreover, in many cases, trade-offs...

Surface directed phase separation of semiconductor ferroelectric polymer blends and their use in non-volatile memories

The polymer phase separation of P(VDF-TrFE):F8BT blends is studied in detail. Its morphology is key to the operation and performance of memory diodes. In this study, it is demonstrated that it is possible to direct the semiconducting domains of a phase-separating mixture of P(VDF-TrFE) and F8BT in a thin film into a highly ordered 2D lattice by...

An organizational justice perspective on conflict in multipartner public-private strategic alliances

This chapter reports on an exploratory case study of a multipartner public-private strategic alliance (MPPSA) in the Dutch public health sector. Although MPPSAs--cross-sector collaborations with more than two partners--have become increasingly popular instruments for dealing with complex societal issues, they also represent inherently unstable...

Towards low cost, efficient and stable organic photovoltaic modules

This article describes how the Solliance Organic PhotoVoltaics (OPV) shared research Program addresses efficiency, lifetime and production costs for (near) future OPV applications. The balance of these three parameters depends of the envisaged application, but at the end, OPV should be able to compete somehow with Si PV in the future. Efficiency...

Het Nieuwe Werken bij het Rijk: Ervaringen uit de praktijk

Voorwoord: Voor u ligt een rapport over Het Nieuwe Werken bij het Rijk. Een rapport, zult u denken? Is dat niet meer van „het oude werken‟? Dit rapport is inderdaad geen verzameling twitterberichtjes en laat zich ook niet snel screenen op uw smartphone. Toch biedt dit rapport interessante inzichten over praktijkervaringen van de “pioniers”...

Het Nieuwe Werken bij het Rijk: Ervaringen uit de praktijk

Het Nieuwe Werken (HNW) biedt kansen voor de Rijksoverheid. Door het toepassen van nieuwe, slimme manieren van werken kunnen kostenbesparingen worden bereikt en de effectiviteit en de flexibiliteit van medewerkers worden vergroot. In dit onderzoek is voor een drietal HNW thema‟s – Verbondenheid, Flexibiliteit en Leiderschap – een verdiepende...

Recombinant Lactobacillus plantarum inhibits house dust mite-specific T-cell responses

Recent evidence suggests that chronic exposure to lactobacilli, which are part of the normal intestinal flora, inhibits the development of allergic disorders. Allergy is mediated by Th2 cells, which produce high levels of IL4 and IL5, and suppressive effects of lactic acid bacteria on the development of allergy have been attributed to their Th1...

Analysis of recombinant mycobacteria as T helper type 1 vaccines in an allergy challenge model

The potential for development of mycobacteria as T helper type 1 (Th1) vaccines capable of induction of Th1 responses to recombinant antigens was explored in a model system based on an immunodominant peptide from house dust mite. Different recombinant mycobacterial preparations were compared for their ability to induce a Th1 response to the...

An epitope delivery system for use with recombinant mycobacteria

We have developed a novel epitope delivery system based on the insertion of peptides within a permissive loop of a bacterial superoxide dismutase molecule. This system allowed high-level expression of heterologous peptides in two mycobacterial vaccine strains, Mycobacterium bovis bacille Calmette- Guerin (BCG) and Mycobacterium vaccae. The...