KPASSA - Archive ouverte HAL Access content directly
Patents Year : 2014

KPASSA

(1)
1

Abstract

This software is dedicated to the simulation, analysis, and static scheduling of Event/Marked Graphs, SDF and KRG extensions. A graphical interface allows to edit the Process Networks and their time annotations (latency, ...). Symbolic simulation and graph-theoretic analysis methods allow to compute and optimize static schedules, with best throughputs and minimal buffer sizes. In the case of KRG the (ultimately k-periodic) routing patterns can also be provided and transformed for optimal combination of switching and scheduling when channels are shared. KPASSA also allows for import/export of specific description formats such as UML-MARTE, to and from our other TimeSquare tool.
Not file

Dates and versions

hal-01355713 , version 1 (24-08-2016)

Identifiers

  • HAL Id : hal-01355713 , version 1

Cite

Jean-Vivien Millo. KPASSA. France, Patent n° : IDDN.FR.001.350040.000.S.P.2014.000.10600. 2014. ⟨hal-01355713⟩
75 View
0 Download

Share

Gmail Facebook Twitter LinkedIn More