KIELER Project


Get me back to the home page!

Page tree
Skip to end of metadata
Go to start of metadata

You are viewing an old version of this page. View the current version.

Compare with Current View Page History

« Previous Version 2 Next »

Meeting Details

  • Moderator: ssm
  • Protocol: sdo
  • Attendees:
    • als
    • andy
    • nre
    • rvh
    • ssm
    • lgr
    • cds
    • peu
    • mek
    • lan
    • kolja
  • Start: 15:00
  • End:

Agenda


Bitbucket Problems (sdo)

  • Too many user
  • Alex will find a solution
  • Everybody panic!!!

Circuit Layout in Dataflow Synthesis (kolja)

  • Hardware synthesis is now based on the Netlist
  • Problems:
    • Registers are there multiple times
    • And gate has output ports to NORTH, it should be EAST
    • If one variable is written to after its read it is visualized as output
    • Registers are initialized to 0, this is currently not visualized
    • Order of expression still has relevance, this should be fixed
    • Binary OR should be the same as logical OR
    • Negation sign in actors and triangle in register should be bigger
  • Visualization: Mark wires that are true as red, numbers are shown

Release of Everything (nre)

  • KEITH should be released
  • Agenda
    • ELK release (only one open bug)
    • Pragmatic release + LS mergen
    • Semantic release + LS mergen
    • Pragmatic de-eclipsification release later
  • OSGi release
    • Suggestion: Release in pragmatic as feature (cds thinks this is good)
    • Suggestion: Put it in open-kieler (cds)
    • Everything else is discussed in a smaller group
  • Extend OSGi tool to C++ Module System (as thesis)(cds: nothing to do with our research, rvh maybe)

Selfloops (cds)

  • Use the simple solution as often as possible, try to reduce code complexity
  • Use different routing slots for spline self-loops instead of trying to calculate the best solution
  • Problems:
    • Spline self-loops:
      • Spline labels will not work with too many self-loops
    • Self-loops between the same ports are drawn in the same routing segment (this is no problem for SCCharts)
  • Splines, polyline and orthogonal works
  • Self-loop label are now counted to the size of the node
  • TODO for release.
    • Fix remaining tickets
    • Aks elk people
    • Ask Alex to test everything
    • Release planned this year

KiCo CLI (als)

    • KiCo is now available as a command-line tool, with kico and all languages from KIELER
    • One is able to
      • set the compilation system
      • set an output directory
      • set verbose
      • one is able to save all intermediary results
      • set properties
      • use pattern for input files
    • Tasks
      • Order intermediary results by number (such as the pragmatic)
      • After pragmatic de-eclipsification use this to generate pdfs, svgs, pngs
      • only show public systems
      • Suggestion: Flag for output language for listing systems
    • One executable for each OS and for Java 8
    • Only SCCharts only CLI compiler is also delivered
    • mek might be able to use this tool

Deferred & weak suspend (kolja)

  • Deferred was translated via deferred guard
    • Problem: Cannot be scheduled for some cases (if immediate transition back to state that was active before deferred transition was active)
  • Solution:
    • Split state that is reached by deferred in deferred state and original state where the deferred state has only delayed outgoing transitions
    • Do this only if it is otherwise not schedulable, since this transformation is expensive
    • Private variables are upped one level to be used in both states
  • Weak suspend should work now with the new deferred implementation
  • Problem with weak suspend
    • entry and exit action are executed every tick
  • Solution
    • Put entry and exit actions in own state before/after the state they refer to
  • Shallow deferred does not regard actions
    • It should do this somehow






  • No labels