Semi-formal refinement of heterogeneous embedded systems by foreign model integration

There is a need for integration of external models in high-level system design flows. We introduce a set of partial refinement operations to implement models of heterogeneous embedded systems. The models are in form of process networks where each process belongs to a single model of computation. A semi-formal design flow has been introduced based on these operations to incrementally refine system specifications to their implementation. Wrapper processes, which allow co-simulation of a system model in the framework with external models and implementations are used to keep the intermediate system models after each refinement step verifiable. Additionally, this design flow has the advantage of integrating legacy code and IP cores. Using a simple example as the case study, we have shown how we can apply this design methodology to a simple system.

[1]  Edward A. Lee,et al.  Taming heterogeneity - the Ptolemy approach , 2003, Proc. IEEE.

[2]  Fernando Herrera,et al.  A framework for heterogeneous specification and design of electronic embedded systems in SystemC , 2007, TODE.

[3]  Luciano Lavagno,et al.  Metropolis: An Integrated Electronic System Design Environment , 2003, Computer.

[4]  Tiziana Margaria,et al.  Dynamic and Formal Verification of Embedded Systems: A Comparative Survey , 2005, International Journal of Parallel Programming.

[5]  Axel Jantsch,et al.  Application and Verification of Local Nonsemantic-Preserving Transformations in System Design , 2008, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

[6]  Axel Jantsch,et al.  Modeling embedded systems and SoCs - concurrency and time in models of computation , 2003, The Morgan Kaufmann series in systems on silicon.

[7]  Ingo Sander,et al.  Co-simulation of embedded systems in a heterogeneous MoC-based modeling framework , 2011, 2011 6th IEEE International Symposium on Industrial and Embedded Systems.

[8]  Axel Jantsch,et al.  Hardware Design and Synthesis in ForSyDe , 2009 .

[9]  Axel Jantsch,et al.  System modeling and transformational design refinement in ForSyDe [formal system design] , 2004, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

[10]  Edward A. Lee,et al.  A framework for comparing models of computation , 1998, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..