We fabricated an InP-based dual-polarization In-phase and Quadrature (DP-IQ) modulator consisting of a Mach-Zehnder (MZ) modulator array integrated with RF termination resistors and backside via holes for high-bandwidth coherent driver modulators and revealed its high reliability. These integrations allowed the chip size (Chip size: 4.4mm×3mm) to be reduced by 59% compared with the previous chip without these integrations, that is, the previous chip needed 8 chip-resistors for terminating RF signals and 12 RF electrode pads for the electrical connection with these resistors in a Signal-Ground-Signal configuration. This MZ modulator exhibited a 3-dB bandwidth of around 40 GHz as its electrical/optical response, which is sufficient for over 400 Gbit/s coherent transmission systems using 16-ary quadrature amplitude modulation (QAM) and 64QAM signals. Also, we investigated a rapid degradation which affects the reliability of InP-based DP-IQ modulators. This rapid degradation we called optical damage is caused by strong incident light power and a high reverse bias voltage condition at the entrance of an electrode in each arm of the MZ modulators. This rapid degradation makes it difficult to estimate the lifetime of the chip using an accelerated aging test, because the value of the breakdown voltage which induces optical damage varies considerably depending on conditions, such as light power, operation wavelength, and chip temperature. Therefore, we opted for the step stress test method to investigate the lifetime of the chip. As a result, we confirmed that optical damage occurred when photo-current density at the entrance of an electrode exceeded threshold current density and demonstrated that InP-based modulators did not degrade unless operation conditions reached threshold current density. This threshold current density was independent of incident light power, operation wavelength and chip temperature.

In this paper, we propose and implement an automated route planning framework for milk-run transport logistics by applying model checking techniques. First, we develop a formal specification framework for milk-run transport logistics. The framework adopts LTL (Linear Temporal Logic), a language based on temporal logics, as a specification language for users to be able to flexibly and formally specify complex delivery requirements for trucks. Then by applying the bounded semantics of LTL, the framework then defines the notion of “optimal truck routes”, which mean truck routes on a given route map that satisfy given delivery requirements (specified by LTL) with the minimum cost. We implement the framework as an automated route planner using the NuSMV model checker, a state-of-the-art bounded model checker. The automated route planner, given route map and delivery requirements, automatically finds optimal trucks routes on the route map satisfying the given delivery requirements. The feasibility of the implementation design is investigated by analysing its computational complexity and by showing experimental results.