You are here

Congrats to Jiaxing Zhang on his accepted journal [1]  in the Springer Design Automation for Embedded Systems (DAEM) . This article proposes to join ALD and SLD to close the specification gap through a Specification Synthesis approach. We introduce Algo2Spec, which synthesizes an SLDL specification out of an algorithm model in Simulink. 

The journal is related to the project "Integrating Algorithm Development and System-level Design". Read more about this project here.


  1. J. Zhang and G. Schirner, Towards Closing the Specification Gap by Integrating Algorithm-Level and System-Level Design, Springer Design Automation for Embedded Systems (DAEM), 2015

Theme by Danetsoft and Danang Probo Sayekti inspired by Maksimer