SpaceWire Protocol Research Articles

New DAQ System for the CANDLES Experiment

A new data acquisition (DAQ) system for the CANDLES experiment was developed using the SpaceWire protocol and the DAQ-Middleware framework. The CANDLES experiment uses a trigger board and Flash Analog-to-Digital Converters (FADCs). The SpaceWire helps us construct the DAQ system with a flexible and multi-path access to FADCs and the trigger board. FADCs have a ring buffer with three buffers to detect sequential decays from backgrounds. We developed the DAQ system with parallel read-out to reduce the dead time at high trigger rates using three read-out personal computers (PCs) that are connected to the three buffers in FADCs one by one. Each PC connects all FADCs and the trigger board and gathers a complete data set of one event without any event builder. The maximum DAQ speed of parallel read-out by three PCs was 2.4 times higher than that of single read-out. In order to collect event data sets from PCs, we built the network distributed DAQ system through Ethernet, which is naturally introduced with the DAQ-Middleware. To realize remote monitoring and histogram modification while the DAQ running, we also developed a dynamic online monitor system independent with the DAQ-Middleware.

On the Model Checking of the SpaceWire Link Interface

In this paper we display a practical approach adopted for the formal verification of SpaceWire using model checking to solve state explosion. SpaceWire is a high-speed, full-duplex serial bus standard which is applied in aerospace, so its functions have a very high accuracy requirements. In order to prove the design of the SpaceWire was faithfully implements the SpaceWire protocol’s specification , we present our experience on the model checking of SpaceWire link interface using the Cadence SMV tool. We applied environment state machine to overcome state explosion and successfully verified a number of relevant properties about transmitter and controller of the SpaceWire in reasonable CPU time. DOI: http://dx.doi.org/10.11591/telkomnika.v11i2.2001 Full Text: PDF

Formal Verification for SpaceWire Data Flow Control Using Model Checking

SpaceWire is a high-speed, full-duplex serial bus standard which is applied in aerospace, so its functions require high accuracy. The traditional methods of verification, such as simulation and test, are not complete. In order to prove the design of the SpaceWire faithfully implemented the SpaceWire protocol’s specification, we presented our experience on the model checking of SpaceWire data flow control using the Cadence SMV tool. It overcomes the incompleteness of traditional verification. And by injecting the errors to ensure the accuracy of the artificial extraction properties and completeness, comparison tests show that the method can effectively ensure the functional coverage, improve reliability of the verification.

Design and Verification of Hardware Building Blocks for High-Speed and Fault-Tolerant In-Vehicle Networks

This paper presents the design, implementation, and validation of a FlexRay transceiver and a SpaceWire (SpW) router and interface, which constitute the main hardware building blocks of the two in-vehicle communication standards. The FlexRay protocol features data rates up to 10 Mb/s and time- and event-triggered transmissions, along with scalable fault-tolerance support, and it is expected to become the standard network for X-by-wire and active safety automotive systems. However, collision avoidance and driver-assistance applications based on camera/radar sensors require data rates up to hundreds of megabits per second as well as fault tolerance, features that can hardly be covered by current or expected automotive standards. In this scenario, a promising technology seems to be the new SpW protocol, currently used in avionics and aerospace.

Design and Implementation of NoC architectures based on the SpaceWire protocol

The SpaceWire is a standard for high-speed links and networks used onboard spacecrafts, designed by the ESA, and widely used on many space missions by multiple space agencies. SpaceWire has shown a great flexibility by giving the space missions a wide range of possible configurations and topologies. Nevertheless, each topology presents its own set of tradeoffs such as hardware limitations, speed performance, power consumption, costs of implementation, etc. In order to compensate these drawbacks and increase the efficiency of the SpaceWire networks, many solutions are being considered. One of these solutions is the Network on Chip or NoC configuration which resolves many of these drawbacks by reducing the complexity of designing with a regular architecture improving speed, power, and reliability and guaranteeing a controlled structure. This paper presents the main steps for building Network on Chip based on the SpaceWire protocol. It describes the internal structure, the functioning and the communication mechanism of the Network's Nodes. It also exposes the software development and the validation strategy, and discusses the tests and results conducted on the adopted NoC topologies.

Design and Implementation of High Reliable SpaceWire Image Data Transmission Equipment for Space Application

This paper introduces a design and implementation of high speed image data transmission equipment, which adopts SpaceWire protocol. The equipment's SpaceWire interface is realized with FPGA and SpaceWire ASIC, This paper elaborates the asynchronous clock domains control signal and the data signal processing method from the point of reliability design. Even if it doesn't use the SpaceWire transport layer protocol, the equipment also has the reliable erroneous data re-sending ability for the burst error of the link. The test result indicated that this equipment can transmit the image data at 140Mbps and reliably. (C) 2011 Published by Elsevier Ltd. Selection and/or peer-review under responsibility of the Organizers of 2011 International Conference on Energy and Environmental Science.