Project

General

Profile

Actions
Copy link

Feature #7979

open

Implement a EMG translator for simplified environment model with signal exchange

Added by Ilja Zakharov almost 8 years ago.

Status:
New
Priority:
High
Assignee:
Ilja Zakharov
Category:
Environment models
Target version:
-
Start date:
02/14/2017
Due date:
% Done:

0%

Estimated time:
Published in build:

Description

Currently a translator designed for parallel environment model generation for race detection is used as a main one. Unfortunately it lacks complete signal exchange model as it is planned. There is a need to implement another one translator on base of it that would generate simplified environment models still but with a complete model of signal exchange that can be ported from state-based translator. It would allow to keep writing EMG specifications with more complex signal sending.

No data to display

Actions
Copy link

Also available in: Atom PDF