동적 트리 생성/탐색을 통한 Context 기반 연관 음악 탐색 방법

Synchronous formalisms such as SCADE or (subsets of) Simulink occupy a prominent place in the development of complex embedded systems in fields such as avionics, automotive, etc. As these systems grow in size and complexity, the corresponding synchronous specifications grow larger and include aspects that could otherwise be represented and implemented using classical asynchronous concurrency constructs (parallelism, independence). However, existing code generators for synchronous languages mostly produce code that re-creates the global execution cycle specific to the synchronous model. Asynchronous behaviours are all synchronized with respect the global execution cycle, which introduces significant over-synchronization, potentially reducing implementation efficiency.