A System Engineering Analysis of Highly Adaptive Small Satellites

Ekpo, Sunday; George, Danielle

doi:10.1109/jsyst.2012.2198138

Cited by 27 publications

(33 citation statements)

References 9 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…In accordance with the systems engineering design methodology [34,35], this section describes the translation of the formal CSP||B model into an implementation. Such a translation is always specific to the targeted MCU architecture.…”

Section: Methodsmentioning

confidence: 99%

Formal and Model Driven Design of the Bright Light Therapy System Luxamet

Faust

2016

J. Mech. Med. Biol.

View full text Add to dashboard Cite

This document is the author deposited version. You are advised to consult the publisher's version if you wish to cite from it. FAUST, Oliver and YU, Wenwei (2015). Formal and model driven design of the bright light therapy system Luxamet. Journal of Mechanics in Medicine and Biology, 16 (05), p. 1650065. Published version Copyright and re-use policySee http://shura.shu.ac.uk/information.html Sheffield Hallam University Research Archivehttp://shura.shu.ac.uk Seasonal depression seriously diminishes the quality of life for many patients. To improve their condition, we propose LUXAMET, a bright light therapy system. This system has the potential relieve patients from some of the symptoms caused by seasonal depression. The system was designed with a formal and model driven design methodology. This methodology enabled us to minimize systemic hazards, like blinding patients with an unhealthy dose of light. This was achieved by controlling race conditions and memory leaks, during design time. We proof that the system specification is deadlock as well as livelock free and there are no invariant violations. These proves, together with the similarity between specification model and implementation code, make us confident that the implemented system is a reliable tool which can help patients during seasonal depression.

show abstract

Section: Methodsmentioning

confidence: 99%

Formal and Model Driven Design of the Bright Light Therapy System Luxamet

Faust

2016

J. Mech. Med. Biol.

View full text Add to dashboard Cite

show abstract

“…T HE conceptual design of satellites involves several modeling and simulation approaches that span single person calculations to multiple organizations employing complex and advanced interconnected computer models for optimized solutions [1]. The four design approaches that are currently utilized within the space community include back-of-the envelope techniques, single-use, computer-aided models, serial processes, and integrated concurrent engineering [1]- [4]. These techniques can be combined to meet the customer's needs or a hybrid of several design methods may be implemented.…”

Section: Introductionmentioning

confidence: 99%

“…The fundamental motivations for the capability-based space satellites (CSSs) (such as a highly adaptive small satellite (HASS) [1]) concept include, but are not limited to, in-orbit adaptability, reliability, multifunctionality, enhanced portability, system-level simulation of spacecraft, reduced manufacturing and integration complexities, cost-effectiveness, safety, low carbon footprint, postmission re-application, and flexibility in deployments. An HASS is a reconfigurable, multifunctional, and adaptive small space satellite that has capabilities for dynamic space applications and operations while retaining its designed optimal performance.…”

Section: Introductionmentioning

confidence: 99%

“…An HASS is a reconfigurable, multifunctional, and adaptive small space satellite that has capabilities for dynamic space applications and operations while retaining its designed optimal performance. This capability-based space system design paradigm will gain increasing and expanding applications in the future deployments of constellations of small satellites [1]- [6]. An HASS system architecture has an in-built redundancy and radiation shield for onboard semiconductor components that can be re-engineered while in orbit.…”

Section: Introductionmentioning

confidence: 99%

See 1 more Smart Citation

Parametric System Engineering Analysis of Capability-Based Small Satellite Missions

Ekpo

2019

IEEE Systems Journal

View full text Add to dashboard Cite

To achieve appropriate link budget and system engineering analyses of capability-based small satellites missions, an objective assessment and computation of the component-, subsystem-, and system-levels parameters requirements must be carried out. This paper presents the measurement-derived parametric models for the system engineering analysis of communication, meteorology, planetary, and other small satellite programs with recourse to the initial mission, conceptual design, and postmission objectives. Mass and power margins are the critical resources under investigation besides the link contingencies and operational times. The case study spacecraft systems engineering analyses indicate a transmit power for data transmission uplink and downlink of at least 33 dBm for the generic communication, meteorology, and planetary missions applications. The presented parametric models also reveal a signal-to-noise ratio of at least 16 dB per radio communication link for worst case noise floor and path loss. For a 30-W power utilization, a two-power communicationoverpower mode mission operates for an extra 8.3 min compared with a three-power payload-overpower mode mission. This holds a great promise for the development of adaptive subsystems for reconfigurable multiband, and multistandard transponders for multipurpose missions and postmission applications.

show abstract

“…The satellite distance will be maximum when the antenna elevation angle is minimum. For a simple communication system, the transmission power is fixed at the minimum power that could ensure the link margin is available at the most extended satellite distance, which is at the minimum value of the ground station's antenna elevation angle [3]. A transmitter with adaptive capability is proposed to adapt to the variable receiving antenna elevation angle hence, improving and optimising the satellite link.…”

Section: Introductionmentioning

confidence: 99%

Design of an adaptive CubeSat transmitter for achieving optimum signal-to-noise ratio (SNR)

Jaswar

Rahman

Hindia

et al. 2017

IOP Conf. Ser.: Mater. Sci. Eng.

View full text Add to dashboard Cite

Abstract. CubeSat technology has opened the opportunity to conduct space-related researches at a relatively low cost. Typical approach to maintain an affordable cubeSat mission is to use a simple communication system, which is based on UHF link with fixed-transmit power and data rate. However, CubeSat in the Low Earth Orbit (LEO) does not have relative motion with the earth rotation, resulting in variable propagation path length that affects the transmission signal. A transmitter with adaptive capability to select multiple sets of data rate and radio frequency (RF) transmit power is proposed to improve and optimise the link. This paper presents the adaptive UHF transmitter design as a solution to overcome the variability of the propagation path. The transmitter output power is adjustable from 0.5W to 2W according to the mode of operations and satellite power limitations. The transmitter is designed to have four selectable modes to achieve the optimum signal-to-noise ratio (SNR) and efficient power consumption based on the link budget analysis and satellite requirement. Three prototypes are developed and tested for space-environment conditions such as the radiation test. The Total Ionizing Dose measurements are conducted in the radiation test done at Malaysia Nuclear Agency Laboratory. The results from this test have proven that the adaptive transmitter can perform its operation with estimated more than seven months in orbit. This radiation test using gamma source with 1.5krad exposure is the first one conducted for a satellite program in Malaysia.

show abstract

A System Engineering Analysis of Highly Adaptive Small Satellites

Cited by 27 publications

References 9 publications

Formal and Model Driven Design of the Bright Light Therapy System Luxamet

Formal and Model Driven Design of the Bright Light Therapy System Luxamet

Parametric System Engineering Analysis of Capability-Based Small Satellite Missions

Design of an adaptive CubeSat transmitter for achieving optimum signal-to-noise ratio (SNR)

Contact Info

Product

Resources

About