specifications - ertms solutions...fffiscom/subset-098 library specifications...

FFFIScom/Subset-098 library Specifications [email protected] www.ertmssoluons.com ERTMS Soluons was founded in 2008, and is located in Brussels, Belgium. ERTMS Soluons is a world leader in railways tesng, maintenance and systems integraon product tools, especially known in the ERTMS world. We are working with many key actors of railway signaling: Manufacturers, Rail Infrastructure Managers and Operators. SAI/Safety/ALE connecon management • Automac SAI layer management • Automac Triple Time Stamp (TTS) and Execuon Counter (EC) computaon • Automac Safety transport layer connecon management • Safety layer MAC computaon and verificaon • Automac ALE connecon management • Support for TCP, UDP and SCT Subset 026-7 and 026-8 message encoding/decoding • High-level interface to create Applicaon Layer messages • Decoding of Applicaon Layer messages from raw data • Full support for iterated variables • Embedded field value checking (Can be disabled for tesng) • HTML documentaon with message and field references hyperlinked to UNISIG Subset-26 Quality assurance The FFFIScom Euroradio library has what you need to get a complete assurance that your quality require- ments will be fullfilled: • High-level architectural documentaon • Full source code available for external code review • Formal documentaon for SAI, Safety and ALE states and transions, with traceability in source code • Formal documentaon for SAI, Safety and ALE messages definion, with traceability in source code • Conformance to the most stringent coding guidelines, depending on target language • Safety Formal documentaon, with traceability in source code EN 50128 SIL cerficaon support and guarantee The FFFIScom Euroradio library contains test cases, test documentaon and test results that you can reproduce in your own environment. Paral or Full EN 50128 documentaon is also available. • Documented tests suites and results for all public interfaces • Documented tests suites and results for all states and transions for SAI, Safety and ALE • Documented tests suites and results for all SAI, Safety and ALE messages coding/decoding • Documented tests suites and results for all modules internal to FFFIScom library The FFFIScom Euroradio+ library is provided with a 5-year EN50128 cerficaon guarantee, covering all assessment-related issues. Environments: C/Csharp/Ada ANSI-C • MISRA coding guidelines compliance • Fully annotated and stacally validated using splint • Fully annotated and stacally validated using PC-Lint Csharp/.Net • Opmized for ease of use and development speed • Callable from Csharp, Visual Basic, and all the languages supported by the .Net plaorm Ada • Compliant with ADA SPARK and RAVEN

Upload: others

Post on 22-Nov-2020

10 views

Category:

Documents

0 download

Report

Download

Embed Size (px):

TRANSCRIPT

FFFIScom/Subset-098 library Specifications

[email protected] www.ertmssolutions.com

ERTMS Solutions was founded in 2008, and is located in Brussels, Belgium. ERTMS Solutions is a world leader in railways testing, maintenance and systems integration product tools, especially known in the ERTMS world. We are working with many key actors of railway signaling: Manufacturers, Rail Infrastructure Managers and Operators.

SAI/Safety/ALE connection management• Automatic SAI layer management• Automatic Triple Time Stamp (TTS) and Execution Counter (EC) computation• Automatic Safety transport layer connection management• Safety layer MAC computation and verification• Automatic ALE connection management• Support for TCP, UDP and SCT

Subset 026-7 and 026-8 message encoding/decoding• High-level interface to create Application Layer messages• Decoding of Application Layer messages from raw data• Full support for iterated variables• Embedded field value checking (Can be disabled for testing)• HTML documentation with message and field references hyperlinked to UNISIG Subset-26

Quality assuranceThe FFFIScom Euroradio library has what you need to get a complete assurance that your quality require-ments will be fullfilled:

• High-level architectural documentation• Full source code available for external code review• Formal documentation for SAI, Safety and ALE states and transitions, with traceability in source code• Formal documentation for SAI, Safety and ALE messages definition, with traceability in source code• Conformance to the most stringent coding guidelines, depending on target language• Safety Formal documentation, with traceability in source code

EN 50128 SIL certification support and guaranteeThe FFFIScom Euroradio library contains test cases, test documentation and test results that you canreproduce in your own environment. Partial or Full EN 50128 documentation is also available.

• Documented tests suites and results for all public interfaces• Documented tests suites and results for all states and transitions for SAI, Safety and ALE• Documented tests suites and results for all SAI, Safety and ALE messages coding/decoding• Documented tests suites and results for all modules internal to FFFIScom library

The FFFIScom Euroradio+ library is provided with a 5-year EN50128 certification guarantee, covering all assessment-related issues.

Environments: C/Csharp/AdaANSI-C

• MISRA coding guidelines compliance• Fully annotated and statically validated using splint• Fully annotated and statically validated using PC-Lint

Csharp/.Net• Optimized for ease of use and development speed• Callable from Csharp, Visual Basic, and all the languages supported by the .Net platform

Ada• Compliant with ADA SPARK and RAVEN