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.

References

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
   
   • DOI
   • Google Scholar
   • BibTex
   • RIS