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

Version 1 Current »

Meeting Details

  • Moderator: rvh
  • Protocol: sdo
  • Attendees:
    • rvh
    • als
    • ssm
    • lgr
    • nre
    • sdo
    • aas
    • peu
    • cds
  • Start: 09:45
  • End: 10:45

Agenda

Raceyard master project (peu)

  • the ICU logic has to be tested before using it in a real car
  • simulate behavior via simulation interface
  • the existing simulation (carmaker) software can only simulate the ICU and not the rest of the car
  • logic and hardware are separated in new implementation
  • TODOs for simulation:
    • Use simulated pins instead of real ones
    • Send to CAN bus

Ask raceyard for legacy code to test performance of SCCharts and generation of SCCharts from switch case statements

From Lustre to SCCharts (lgr)

  • TODO: add Lustre Model and dataflow SCChart (lgr)
  • TODO: <presentation> lgr
  • second implementation: Use variables instead of signals whenever possible
  • idea: Add when operator (as syntactic sugar)
  • when operator is a mux with memory node (intra tick delay)
  • x = z when clk => x = clk? z : x
  • Pre in Lustre:
    • guarded pre transforamtion
    • clock as parameter for pre
    • preXclk = pre(x, clk) // clk is bool
  • use bottom instead of / for no value
  • add operator representation (for fby and others)
  • add view for concrete model representation to KEITH (once worked via fallback synthesis)


  • No labels