DVMEx Solution (advanced features) - Djukic Soft · Timer, ticker and task intervals ... Configure...

DVMEx Solution

(advanced features)

Run-Time

System

Run-Time

System

Special features of DVMEx Solution are implemented in modeling tools, parser,

native-code builder, linker and run-time system scheduler in order to:

• Support refinement of models and modeling languages

• Simplify integration of RTS in various modeling tools

• Use RTS for state machines and synchronization between drivers and scheduler

• Protect RTS from unauthorized use

Modeling tools

DVMEx Solution - Advanced features 1/27

Parser Parser

Native-code

Builder

Native-code

Builder Linker Linker

Generator Generator

Target RTS machine

Timer, ticker and task intervals


Timer actions

Ticker interval: 0.05 ms for Linux, 1 ms for WinCE / WinXP-Win8

Testing precision of timers used for scheduling

(hardware and OS dependent)

- WinXP-8 ticker (+/- 30 micro sec)

- WinCE ticker (+/- 3 micro sec)

- Linux ticker (+/- 1 micro sec)

Ticker actions Task cycles

Configure timer and ticker


<LINUX_SYSTEM_PRIORITY_CLASS>VERY_HIGH</LINUX_SYSTEM_PRIORITY_CLASS>

<RECORD_TIMER_ACTIVITIES>FALSE</RECORD_TIMER_ACTIVITIES>

<SCHEDULER_PRIORITY>1</SCHEDULER_PRIORITY>

<!– Windows 15 : critical, 2 : height, 0 : normal, -1 : bellow normal, -2 : lowest -->

<!– WinCE 90 : realtime, 255 : low -->

<!– Linux 0 : high, 99 : low -->

<TIMER_PRIORITY>0</TIMER_PRIORITY>

<STOP_CONF_TASK_PRIORITY>0</STOP_CONF_TASK_PRIORITY>

<TIMER_FREQ>200</TIMER_FREQ>



<TIMER_EPS_DELAY>-1</TIMER_EPS_DELAY>



In RTS config file:

RTS language commands:

RTS SHOW_TICK "true"

RTS SHOW_TIMER "true"

Configuration feasibility


Configuration that contains more tasks with different intervals and priorities

RTS commands used to find optimal configuration settings

• SCHEDULER CONFIG_TIME "Config1"

• SCHEDULER TIME_DOMAIN_SET "*","200"

CPU usage


RTS returns CPU usage for all tasks and for complete configuration

ET- estimated time for one cycle, I – specified interval, F – CPU usage

ws1 SCHEDULER CONFIG_TIME CONFIG1: ET=6.075ms, F=79.83%cpu

(TASK_RealToBoolTest,INTERVAL,ET=0.017ms,I=10.00ms,F=0.17%cpu)

(TASK_DVModelState,INTERVAL,ET=0.022ms,I=1.00ms,F=2.20%cpu)

(TASK_DVModelPragmaValidate,INTERVAL,ET=0.021ms,I=2.00ms,F=1.05%cpu)

(TASK_TimeToRealStatusTest,INTERVAL,ET=0.021ms,I=3.00ms,F=0.70%cpu)

(TASK_OTC_InOuts,INTERVAL,ET=0.029ms,I=4.00ms,F=0.73%cpu)

(TASK_HardwareSignals,INTERVAL,ET=0.021ms,I=5.00ms,F=0.42%cpu)

(TASK_CardReader,INTERVAL,ET=0.027ms,I=6.00ms,F=0.45%cpu)

(TASK_FunctionsAsParams,INTERVAL,ET=0.022ms,I=7.00ms,F=0.31%cpu)

(TASK_PIDT1,INTERVAL,ET=0.022ms,I=8.00ms,F=0.27%cpu)

(TASK_SpeedTest,INTERVAL,ET=5.848ms,I=8.00ms,F=73.10%cpu)

(TASK_UserDefinedFB,INTERVAL,ET=0.023ms,I=10.00ms,F=0.23%cpu)

(TASK_TimeDataType,INTERVAL,ET=0.020ms,I=10.00ms,F=0.20%cpu)

Auto-detection of task delays


Delay bigger than 0.2 ms caused by processing commands on high priority over

synchronous interface

Events (declaration)


...

FUNCTION_BLOCK FUNC1

VAR_INPUT

STR1 : STRINGTYPE;

STR2 : STRING;

Int1 : int;

END_VAR

NIL;

END_FUNCTION_BLOCK

EVENT_HANDLER EventHandler1

VAR_INPUT

STR1 : STRINGTYPE;

STR2 : STRING;

Int1 : int;

END_VAR

VAR_OUTPUT

o1 : INT;

END_VAR

o1 := int1;

END_EVENT_HANDLER

Events - calling


PROGRAM EventDemo

EVENTS

e1 : EventHandler1;

END_EVENTS

VAR

i1 : INT := 32000;

i2 : INT := 32000;

f1 : FUNC1;

add_1 : add := (in0 := int#0, in1 := int#0, out := int#0);

FUNC1_1 : FUNC1;

END_VAR

RAISE EVENT e1(int1 := 10);

i1 := e1.o1;

FUNC1_1(int1 := 10);

END_PROGRAM

CONFIGURATION CONFIG1

RESOURCE RESOURCE1 ON WinXP

TASK Task_NewProgram(INTERVAL := t#50ms, PRIORITY := 0);

PROGRAM NewProgram WITH Task_NewProgram : Task_NewProgram;

END_RESOURCE

END_CONFIGURATION

How to influence scheduler from driver ?


1) Synchronous interface time slices (for example 1 ms in each 20 ms)

2) TASK_SpeedTest is suspended for 1000 ms or while condition is satisfied

3) Task_DVModelState that is not suspended

4) Command SCHEDULER SET_SUSPENDED "TASK_SpeedTest","1000"

or notification from driver level – DriverStateChanged(params)

4

2

1

3

How to influence driver from scheduler ?


class SchedulerEventListener : public SchedulerEventIface

{

public:

void TaskChanged(wchar_t* specId, wchar_t* taskName, wchar_t* progName, ULONGLONG cycle,

ULONGLONG timeStamp, wchar_t status, TaskConfInfo* taskConfInfo)

{

//.... Driver level actions on this notification

}

};

int main()

{

RtsComm* rsComm = new RtsComm();

SchedulerEventListener* listener = new SchedulerEventListener();

rsComm->SetSchedulerEventListener(listener);

//....

}

RTS extension for state machines

Run-Time System and appropriate IEC 61131-3 parser and Native-code Builder

are extended with some IEC 61499 concepts to simplify implementing of state

machines

This feature is very usable for embedded systems


Algorithms for encryption


Run-Time

System

Run-Time

System

Modeling tools

Parser Parser

Native-code

Builder

Native-code

Builder Linker Linker

Generator Generator

Code generators, parser and native code builder are places where

unique encryption / decryption algorithms are created automatically

Target RTS machine

Native code decryption


<DVNativeCodeGen>

<CARDINALITYTEST Id="" FuncCallStackSize="0">

<BIN_SEGMENT PROCESSOR_ARCHITECTURE="INTEL"

OS_VERSION="WIN7">

[ In each code section is stored unique algorithm for the decription of native code in

the context of target machine, user, license type, etc.

This is done by dynamic linker ]

60

55

8B EC

83 EC 0C

FF 35 $$sectPtr

FF 15 $$leaveCritSect

FF 35 $$sectPtr

FF 15 $$enterCritSect

A1 $$step

6B C0 0A

89 45 FC

C7 45 F8 00 00 00 00

C6 05 $ADD1$status 01

A0 $HWIN2$status

3C 00

75 07

Licensing and security


Registration and order for Run-time System licenses

Company name : Djukic Software GmbH

Street and number : Gärtnerstr. 17

Post code : 90408

Place : Nürnberg

Land : DE

Contact person : Verislav Djukic

E-mail : [email protected]

Phone : 0911 4313686

Fax : 0911 4313687

VAT ID : *****

Notes : Comments

Target processor : ARM

Target operating system : Linux

License type : Professional

Quantity : 1

Request IP : 212.114.206.149

Hard disk ID : 8735305857413211

Processor ID : BFEBFBFF000307B9

Bios ID : 5B565412R

OS Version : Win32NT 6.1.7601 Service Pack 1

RTS IP : 192.168.178.42,192.168.56.1

Action reports and meta-logic in DSM


Model, HMI control, generator, code


Run-Time

System

Run-Time

System

Action

reports

Platform for automated refinement of

DSL, models, generators and RTS


Actions:

- Redefine DSL

- Update M2T transofrmations

- Improve target RTS

Unexpected state (reasons):

- Lack of DSM semantics

- Wrong M2T transformation

- Limitations or RTS

Refinement of meta-model (DSL)


The main goal is to recognize how to extend DSL and code generators

in order to have modeling concepts on higher level of abstraction

Robot-motion control language


Recovery strategies (compiler level)


Meta-logic, driven by compiler properties


mov DIV2$status, 1

mov al, __SLIDER1$status

cmp al, 0

jne ok3

mov __DIV2$status, 0

ok3:

movsx ebx, WORD PTR __SLIDER1

mov al,__ SLIDER2$status

cmp al, 0

jne ok4


ok4:

movsx ecx, WORD PTR __SLIDER2

cmp ecx, 0

jne ok5


jmp skip6

ok5:

mov eax, ebx

cdq

idiv ecx

mov ebx, eax

mov __DIV2, bx

Generators of generators


REPORT ExecuteModel INTERVAL 200

/* ---------------- Update DSM control values ------------------ */

var $tp = :RemoteIPPortAsync;

if :TargetRTSPort; = 'SYNC' then

$tp = :RemoteIPPortSync;

endif

var $mList = 'DB GV "CardReader.generator1.OUT,CardReader.add4,

CardReader.generator24.OUT,

CardReader.gentoswitch3.OUT,CardReader.generator5.OUT"'

var $setOfVars = f:EXTERNAL($tp,$mList)

toset $mList $setOfVars,','

foreach {$mList}

{

var $curInd = current.index

var $curVal = current.value

if $curInd=1 then

do {.} where id='dvmexCardReader1' {:OUT=$curVal;}

endif

if $curInd=2 then

do {.} where id='dvmexMoneyCounter1' {:OUT=$curVal;}

endif

if $curInd=3 then

do {.} where id='dvmexDigitalDisplay4' {:OUT=$curVal;}

endif

if $curInd=4 then

do {.} where id='dvmexPipeSwitch1' {:OUT=$curVal;}

endif

if $curInd=5 then

do {.} where id='dvmexMoneyCounter2' {:OUT=$curVal;}

endif

}

REPORT PrepareExecuteModel

var $sList =''

var $prgID = id

append $prgID '.'

'REPORT ExecuteModel INTERVAL 200' nl

'/* ---------------- Update DSM control values ------------------ */'

nl

'var $tp = :RemoteIPPortAsync;' nl

'if :TargetRTSPort; = \'SYNC\' then

$tp = :RemoteIPPortSync;

endif' nl

'var $mList = \'DB GV "'

Representations of language concepts


Representation of language concept is specified on the meta-model level, but can

be different for each instance and dependent of the RTS state or values of variables

MetaEdit Modeler and RTS


One model – more outputs


VHDL generator

Status: prototype


Useful links

Videos:

.Net extension for MetaEdit+ Modeler

http://www.djukic-soft.com/Framework/MetaEdit_DVMEx_DSM_RTS.wmv

Animation of MetaEdit+ models

http://www.djukic-soft.com/Framework/MetaEditModelExec.wmv

DSL-s for embedded devices

http://www.djukic-soft.com/Framework/BloodPressDemo.wmv

Contact:

Djukic Software GmbH

www.djukic-soft.com

MetaCase

www.metacase.com


DVMEx Solution (advanced features) - Djukic Soft · Timer, ticker and task intervals ... Configure...

Documents

Transcript of DVMEx Solution (advanced features) - Djukic Soft · Timer, ticker and task intervals ... Configure...