Learn More
Component based software development (CBD) reduces development time and effort by allowing systems to be built from pre-developed reusable components. A classical approach to reduce embedded systems design and run-time complexity is to partition the behavior into a set of major system modes. In supporting system modes in CBD, a key issue is seamless(More)
We have demonstrated a passively mode-locked diode end-pumped all-solid-state laser, which is composed of a Nd:Gd0.5Y0.5VO4 crystal and a folded cavity with a semiconductor saturable-absorber mirror grown by metal-organic chemical-vapor deposition. Stable cw mode locking with a 3.8-ps pulse duration at a repetition rate of 112 MHz was obtained. At 13.6 W of(More)
The growing complexity of embedded systems software entails new development techniques. Component-Based Software Engineering is undoubtedly suitable for the development of complex systems thanks to its inherent component reuse. Another approach to reduce software complexity is by partitioning the system behavior into different operational modes. Each mode(More)
—Component-Based Development (CBD) reduces development time and effort by allowing systems to be built from pre-developed reusable components. Partitioning the behavior into a set of major operational modes is a classical approach to reduce complexity of embedded systems design and execution. In supporting system modes in CBD, a key issue is seamless(More)
This report provides a complete UPPAAL model of the mode switch handling of an Atomic Execution Group (AEG) in a component-based multi-mode system (CBMMS) with pipe-and-filter architecture. The purpose of this model is to analyze the worst-case latency due to the atomic execution of this AEG during a mode switch. This worst-case latency plays a significant(More)
Component-Based Software Engineering has been introduced as a technique for the development of complex systems. Software complexity can also be reduced by partitioning the system behavior into different modes. Such a multi-mode system is able to change its behavior at runtime by switching between different operational modes. When a multimode system is(More)
Vertical take-off and landing (VTOL) aircraft has the merits of both fixed-wing and rotary-wing aircraft. Tail-sitter is the simplest way for the VTOL maneuver since it does not need extra actuators. However, conventional tail-sitting airplanes made by propellers or duct fans have less thrust and efficiency. In this paper a conceptual thrust-vectored(More)
Yb:PbF(2) and Yb,Na:PbF(2) laser crystals are grown by the Bridgman method. Room-temperature absorption, photoluminescence spectra, and fluorescence lifetimes of Yb(3+) ions in the crystals have been investigated. Experimental results show that Na(+) ions codoping with Yb(3+) as charge compensators can suppress the deoxidization of Yb(3+) to Yb(2+). The(More)
Diode-end-pumped continuous-wave and acousto-optics Q-switched Tm:LiLuF(4) slab lasers were demonstrated. The a-cut Tm:LiLuF(4) slab with doping concentrations of 2 at.% was pumped by fast-axis collimated laser diodes at room temperature. The maximum continuous-wave output power of 10.4 W was obtained while the absorbed pump power was 31.6 W and the cavity(More)
In this study, we experimentally demonstrate the generation of 760 fs pulse duration from a diode-pumped Yb:LuAG mode-locked laser at 1032 nm. At the repetition rate of 58.6 MHz, the maximum average power of 1.07 W was obtained, corresponding to the peak power of 24 kW. To our knowledge, these results represent the shortest pulse duration and highest peak(More)