TTCN-3 for .NET Ulrich Grude Metarga GmbH, TFH Berlin - - PDF document

▶
ttcn 3 for net
SMART_READER_LITE
LIVE PREVIEW

TTCN-3 for .NET Ulrich Grude Metarga GmbH, TFH Berlin - - PDF document

Feb 10, 2024 224 likes •345 views

TTCN-3 for .NET Ulrich Grude Metarga GmbH, TFH Berlin grude@tfh-berlin.de Friedrich Wilhelm Schrer Fraunhofer FIRST f.w.schroeer@first.fraunhofer.de Peter Enskonatus Fraunhofer FIRST peter.enskonatus@first.fraunhofer.de Overview

slide-1
SLIDE 1

TTCN-3 for .NET

Ulrich Grude Metarga GmbH, TFH Berlin

grude@tfh-berlin.de

Friedrich Wilhelm Schröer Fraunhofer FIRST

f.w.schroeer@first.fraunhofer.de

Peter Enskonatus Fraunhofer FIRST

peter.enskonatus@first.fraunhofer.de

Overview

  • Introduction
  • The TTCN-3.NET Compiler
  • The TTCN-3.NET Runtime
  • Conclusion
slide-2
SLIDE 2

Introduction

  • Combining TTCN-3 and .NET
  • Some Advantages of .NET

– Unifies many Languages (by CIL, CRT, CTS) – ECMA and ISO Standard – Independently implemented by Novell – Runs under Windows, Linux, Mac OS, ...

The TTCN-3.NET Compiler

  • Target language C#

– Adapters and Codecs in any .NET language

(e.g. C/C++, C#, Java, ...)

  • Edition 2 of TTCN-3
  • Standards

– ETSI ES 201 873-1 v2.2.1

TTCN-3 Core Language

– ETSI ES 201 873-5 v1.1.1

TTCN-3 Runtime Interface (TRI)

– ETSI ES 201 873-6 v1.1.1

TTCN-3 Control Interface (TCI)

slide-3
SLIDE 3

Tools used to build the Compiler

  • Gentle

An integrated System for Analysis, Transformation and Synthesis

  • Accent

A Compiler Compiler for the Entire Class of Context-free Grammars The Parser is directly based on the Standard

  • Valis

A Compiler Validation System Test-driven Development About 100.000 Lines of TTCN-3 Code

The TTCN-3.NET Runtime

  • Implements the Standards TRI and TCI
  • Connections to Modelling System Modelica
  • Distributed Load Tests
  • Continuous Systems
slide-4
SLIDE 4

An Example

Three connected Tanks

Actuator (input valve) Actuator (output valve,

  • pen/closed)

Sensors (levels)

An Example

Tester SUT

slide-5
SLIDE 5

An Example

Generator Evaluator Tester SUT

An Example

Generator Evaluator Device Controller Tester SUT

slide-6
SLIDE 6

An Example

Generator Evaluator Device Controller

Late Technology Binding Possibilities and Advantages

  • A Component in different Project Phases:

Model, Mockup, Product

  • Test a Model against a Tester
  • Test a Tester against a Model
  • Use TTCN-3 as a Modeling Language

(e.g. for the Controller in the Example)

  • Distribute Components of the Tester
slide-7
SLIDE 7

Technologies for Components

  • TTCN-3 Component
  • Tested Software Component
  • Tested Hardware Component
  • Model written in Modelica

An Example

Generator TTCN-3 Evaluator TTCN-3 Device Hardware Controller Software

slide-8
SLIDE 8

An Example

Generator TTCN-3 Evaluator TTCN-3 Device Modelica Controller Software

An Example

Generator TTCN-3 Evaluator TTCN-3 Device Modelica Controller TTCN-3

slide-9
SLIDE 9

An Example

Generator Modelica Evaluator TTCN-3 Device Hardware Controller Software

How do we get there? With Managers!

  • Every Component is assigned to a Manager.
  • Managers create and manage Components
  • Messages from Component A to B are sent via

the Manager of B.

slide-10
SLIDE 10

User may choose Technology

  • User may write AssignManager function
  • User may write Manager Objects to access

arbitrary Components realized in any Technology

  • All Managers must implement the new interface

TTCN3.IComponentManager

SEND(...)

A Message from A to B

P.send(...) Q.receive(...)

A B

Manager

slide-11
SLIDE 11

SEND(...) SEND(...)

A Message from A to remote B

P.send(...) Q.receive(...)

A B

Manager .NET Remoting

Conclusion

TTCN-3 .NET

  • Independant of Languages
  • Open for Heterogenous Technologies
  • Ready for Distribution