In this paper, we present a systematic approach to translating BPML (Business Process Modeling Language) into the π-Calculus. BPML is an executable business process modeling language, like BPEL4WS (Business Process Execution Language for Web Services).

A CubeSat platform has become a popular choice due to inexpensive commercial off-the-shelf (COTS) components and low launch cost. However, it requires more power-efficient and higher-data rate downlink capability for space applications related to remote sensing. In addition, the platform is limited by the size, weight and power (SWaP) constraints as well as the regulatory issue of licensing the radio frequency (RF) spectrum. The requirements and limitations have put optical communications on promising alternatives to RF communications for a CubeSat platform, owing to the power efficiency and high data rate as well as the license free spectrum. In this study, we analyzed the performance of optical downlink communications compatible with CubeSat platforms in terms of data rate, bit error rate (BER) and outage probability. Mathematical models of BER and outage probability were derived based on not only the log-normal model of atmospheric turbulence but also a transmitter with a finite extinction ratio. Given the fixed slot width, the optimal guard time and modulation orders were chosen to achieve the target data rate. And the two performance metrics, BER and outage data rate, were analyzed and discussed with respect to beam divergence angle, scintillation index and zenith angle.

Korea Astronomy and Space Science Institute (KASI) has been developing the space optical and laser tracking (SOLT) system for space geodesy, space situational awareness, and Korean space missions. The SOLT system comprises satellite laser ranging (SLR), adaptive optics (AO), and debris laser tracking (DLT) systems, which share numerous subsystems, such as an optical telescope and tracking mount. It is designed to be capable of laser ranging up to geosynchronous Earth orbit satellites with a laser retro-reflector array, space objects imaging brighter than magnitude 10, and laser tracking low Earth orbit space debris of uncooperative targets. For the realization of multiple functions in a novel configuration, the SOLT system employs a switching mirror that is installed inside the telescope pedestal and feeds the beam path to each system. The SLR and AO systems have already been established at the Geochang station, whereas the DLT system is currently under development and the AO system is being prepared for testing. In this study, the design and development of the SOLT system are addressed and the SLR data quality is evaluated compared to the International Laser Ranging Service (ILRS) tracking stations in terms of single-shot ranging precision. The analysis results indicate that the SLR system has a good ranging performance, to a few millimeters precision. Therefore, it is expected that the SLR system will not only play an important role as a member of the ILRS tracking network, but also contribute to future Korean space missions.

Korea’s lunar exploration project includes the launching of an orbiter, a lander (including a rover), and an experimental orbiter (referred to as a lunar pathfinder). Laser altimeters have played an important scientific role in lunar, planetary, and asteroid exploration missions since their first use in 1971 onboard the Apollo 15 mission to the Moon. In this study, a laser altimeter was proposed as a scientific instrument for the Korean lunar orbiter, which will be launched by 2020, to study the global topography of the surface of the Moon and its gravitational field and to support other payloads such as a terrain mapping camera or spectral imager. This study presents the baseline design and performance model for the proposed laser altimeter. Additionally, the study discusses the expected performance based on numerical simulation results. The simulation results indicate that the design of system parameters satisfies performance requirements with respect to detection probability and range error even under unfavorable conditions.

The first Korean satellite laser ranging (SLR) system, Daedeok SLR station (DAEK station) was developed by Korea Astronomy and Space Science Institute (KASI) in 2012, whose main objectives are space geodesy researches. In consequence, Korea became the 25th country that operates SLR system supplementing the international laser tracking network. The DAEK station is designed to be capable of 2 kHz laser ranging with precision of a few mm both in daytime and nighttime observation of satellites with laser retro-reflector array (LRA) up to the altitude of 25,000 km. In this study, characteristics and specifications of DAEK station are investigated and its data quality is evaluated and compared with International Laser Ranging Service (ILRS) stations in terms of single-shot ranging precision. The analysis results demonstrated that the DAEK station shows good ranging performance to a few mm precision. Currently, the DAEK station is under normal operations at KASI headquarters, however, it will be moved to Sejong city in 2014 to function as a fundamental station for space geodesy researches in combination with other space geodesy systems (GNSS, VLBI, DORIS, etc.).