From Verification to Implementation: A Model Translation Tool and a Pacemaker Case Study

@article{Pajic2012FromVT,
  title={From Verification to Implementation: A Model Translation Tool and a Pacemaker Case Study},
  author={Miroslav Pajic and Zhihao Jiang and Insup Lee and Oleg Sokolsky and Rahul Mangharam},
  journal={2012 IEEE 18th Real Time and Embedded Technology and Applications Symposium},
  year={2012},
  pages={173-184}
}
Model-Driven Design (MDD) of cyber-physical systems advocates for design procedures that start with formal modeling of the real-time system, followed by the model's verification at an early stage. The verified model must then be translated to a more detailed model for simulation-based testing and finally translated into executable code in a physical implementation. As later stages build on the same core model, it is essential that models used earlier in the pipeline are valid approximations of… CONTINUE READING
Highly Cited
This paper has 67 citations. REVIEW CITATIONS

Citations

Publications citing this paper.
Showing 1-10 of 36 extracted citations

67 Citations

0102030'13'15'17
Citations per Year
Semantic Scholar estimates that this publication has 67 citations based on the available data.

See our FAQ for additional information.

References

Publications referenced by this paper.

Similar Papers

Loading similar papers…