SpaceWire-RT/SpaceFibre simulation models: implementation and application

Size: px

Start display at page:

Download "SpaceWire-RT/SpaceFibre simulation models: implementation and application"

Wendy Carter
5 years ago
Views:

1 SpaceWire-RT/SpaceFibre simulation models: implementation and application Valentin Olenev Ph.D., Senior Researcher, SUAI Irina Lavrovskaya Researcher, SUAI

2 SystemC SystemC is a set of C++ classes and macros that provide an event-driven simulation engine. It is specifically designed for modeling parallel systems. This library allows describing multi-component systems and program components, and modeling their operation. By using the internal mechanism of events it allows to model operations distributed in time of the modeled system. In contrast to pure C++, SystemC has following additions: 1) Processes 2) Events 3) Ports and channels 4) Timers and delays 5) Signals 6) FIFO 7) Special data types and so on 2

3 SDL SDL (Specification and Description Language) is a language for unambiguous specification and description of the telecommunication systems behavior. The SDL model covers the following five main aspects: structure, communication, behavior, data and inheritance. SDL language is intended for description of structure and operation of the distributed real-time systems. Writing an SDL model on the basis of the specification is itself a test of the specification for completeness and unambiguousness. As a result the consistent readable textual description and formalised specification in SDL are produced. 3

4 SpaceWire-RT standard Management Interface Application Interface Management Layer Virtual Channel Layer Network Layer VC Interface Framing Layer Retry Layer Lane Control Layer Lane Layer Broadcast Layer Frame Interface Retry Interface Lane Control Interface Lane Interface Broadcast Interface The standard is developed in terms of FP7 SPWRT project, under grant agreement n SpaceWire-RT standard is based on the SpaceFibre technology. An addition to SpaceFibre Network layer. Encoding Layer Encoding Interface Serialisation Layer Serialisation Interface Serial Interface Physical Layer 4

5 SpaceWire-RT SDL Modeling Simulation and investigation was done in two steps: verification of the SpaceWire-RT protocol stack by simulation in IBM Rational SDL Suite. This simulation gave an ability to check all internal mechanisms of investigated layers and verify them. validation of the SpaceWire-RT protocol stack by means of simulation within an SDL/SystemC tester. 5

6 SpaceWire-RT P2P Model in SDL SpaceWire-RT Node Test Engine Management Layer VCL_ Virtual Channel Layer FL_ Framing Layer RL_ Retry Layer LCL_ Lane Control Layer LL_ Lane Layer EL_ Encoding Layer SERDES BL_ Broadcast Layer FL_ Serialisation Layer channel The SDL model implements all layers of the SpaceWire-RT protocol stack, except the Serialisation and Network Layers; It describes the internal mechanisms and functionality of the layers Each pair of adjacent layers communicates via a special interface between them, which is called a Service Access Point (); The test system comprises: two SpaceWire-RT nodes Serialisation Layer channel. Test Engine, which performs configuration and generation of test sequences. This simulation gave an ability to check all internal mechanisms of investigated layers and verify them. 6

7 SpaceWire-RT SDL/SystemC tester The SDL/SystemC tester provides a possibility for simulation of a point-to-point interconnection between two nodes implemented in SDL and communicating via a channel implemented in SystemC. The tester is a flexible tool for setting different configurations, generating various test sequences and gathering statistics. SystemC Test Engine SystemC SDL/SystemC up wrapper VCL_ Virtual Channel Layer BL_ Broadcast Layer VCL_ Virtual Channel Layer BL_ Broadcast Layer FL_ FL_ FL_ FL_ Framing Layer Framing Layer RL_ RL_ Node #0 Management Layer Retry Layer LCL_ Lane Control Layer LL_ Management Layer Retry Layer LCL_ LaneControl Layer LL_ Node #1 Lane Layer Lane Layer EL_ EL_ SDL Encoding Layer Encoding Layer SDL SERDES SERDES SDL/SystemC low wrapper SystemC Serialisation Layer channel 7

8 SpaceWire-RT Network Model in SystemC The aim of the SpaceWire-RT SystemC model development is to simulate communication of devices via the SpaceWire-RT network. The SpaceWire-RT network model consists of the following SystemC modules: SpaceWire-RT stack model, which provides main functions of SpaceWire-RT; SpaceWire-RT node model; SpaceWire-RT switch model. SpaceWireRTnode BROADCAST_ CHANNEL MULTIPLEXER TX VIRTUAL_CHANNEL #0 RX... MAC_FCT TX VIRTUAL_CHANNEL #255 RX Broadcast_ Trafgen Data_ Trafgen idle frame RETRY_BUFFER FRAMING_RETRY SKIP IDLE LANE ELASTIC BUFFER BROADCAST_ CHANNEL MULTIPLEXER SpaceWireRT 8B10B_CODEC SIGNAL_DETECTOR SpaceWireRT 8

9 SpaceWire-RT Network Model in SystemC The SpaceWire-RT network model contains a number of nodes and switches. Different topologies: tree; circular; mixed. For testing of network mechanisms we used the mixed configuration, which is a combination of tree and circular topologies. 9

10 SpaceWire-RT Network Model in SystemC Mixed configuration gave an opportunity to check the following network parameters: latencies for different packet sizes, reliability of data transfer with specific BER (Bit Error Rate), various QoS (Quality of Service), fault packet detection and identification, failure and fault tolerance of a network (deadlock and babbling idiot), broadcast multi-cast, path and logical addressing. Any kind of a network structure could be assembled and tested. Node 0 Channel Switch #0 Node 1 Channel Channel Node 7 Channel Switch #1 Channel Switch #2 Channel Channel Channel Node 6 Channel Switch #3 Channel Switch #4 Channel Channel Channel Node 5 Switch #5 Channel Node 4 10 Node 2 Node 3

11 SDL and SystemC models features SDL model Simulation of the point-to-point communication (i.e. the model comprises nodes and channels). Formal specification which can be used for: checking the SpaceWire-RT for ambiguities and inconsistencies in the internal mechanisms on a perlayer basis. checking of functional requirements, defined for the standard. Validation and verification of SpaceWire-RT standard. Formal reference for the SpaceWire-RT. SDL/SystemC tester providing abilities for: different configurations, generating various test sequences, gathering statistics. SystemC model Simulation of the SpaceWire-RT network operation (comprises nodes, routing switches and channels). Possibility for simulation of networks of various topologies (tree, circular, mixed) Investigation and proving the network level features and characteristics of the SpaceWire- RT standard. Performance characteristics Network FDIR Quality of service provision Checking of non-functional requirements, defined for the standard. 11

12 SpaceWire-RT Models Future Use SpaceFibre standard, which is the basis for the SpaceWire-RT standard, is in process of development. Any changes in SpaceFibre will result in changes of the SpaceWire- RT specification. New mechanisms and updated old ones can be successfully simulated on the SpaceWire-RT SDL and SystemC models by changing necessary parts of the models. So both models will follow the specification development process. 12

13 SpaceWire-RT Models Future Use: SDL Model Any changes in the new releases of the specification can be applied to the SpaceWire-RT SDL model. This would not cause any difficulties, as local changes in one layer will not affect the other layers. The SDL model can be used for verification of the new mechanisms in a stack during the development. It can help to make a decision on what mechanism to choose to be included to the new version of the specification. The SDL/SystemC tester gives opportunities for creation of complicated test sequences and for non-nominal testing. SDL model, as a reference, can be used for SpaceWire-RT hardware implementation testing (SDL model on one side and VHDL implementation on the other). 13

14 SpaceWire-RT hardware implementation testing SDL model will be a part of the test environment for the RTL model SDL model will be used for verification of the RTL model as a reference model SystemC Test Engine sends the same tests to both SDL model and RTL model and analyses results 14

15 SpaceWire-RT Models Future Use: SystemC Model The SystemC model can be efficiently used for obtaining network performance characteristics such as latencies, QoS mechanisms operation, etc. SpaceWire-RT Network Layer is currently under development the SystemC model also will be applied for its further validation. SpaceWire-RT SystemC network model can give an opportunity for investigation of Transport Layer protocols operation over the SpaceWire-RT network (e.g. RMAP, STP, etc.). 15

16 SpaceWire-RT Models Future Use: SystemC Model SDL and SystemC models can be used for development of applications and drivers for future SpaceWire-RT devices. Hardware Abstraction Layer OS-level Applications & Services Operating System (Linux/Windows) Middleware Drivers SpW-RT Driver SpW-RT SystemC Model Hardware 16

17 SDL and SystemC modeling results: The SpaceWire-RT/SpaceFibre mechanisms work correctly. A number of inconsistencies in the specification were found SpaceWire-RT Outline Specification 2.0. SpaceWire-RT standard satisfies the requirements of European and Russian industry. We got the latency results for the different packet lengths and network structures. The latest news and results of the project are available on our website. 17

18 Thank you Web-site: Contact us:

D3.1 - SpaceWire-RT SDL Simulation Validation Plan

D3.1 - SpaceWire-RT SDL Simulation Validation Plan D3.1 SpaceWire-RT Simulation and Validation Plan Lead Beneficiary: Author(s): SUAI Yuriy Sheynin, Elena Suvorova, Valentin Olenev, Irina Lavrovskaya Work Package: WP3 Task: Task 3.1 Version: 2.00 Last