From Stateflow Simulation to Verified Implementation: A Verification Approach and A Real-Time Train Controller Design

@article{Jiang2016FromSS,
  title={From Stateflow Simulation to Verified Implementation: A Verification Approach and A Real-Time Train Controller Design},
  author={Yu Jiang and Yixiao Yang and Hao Liu and Hui Kong and Ming Gu and Jia-Guang Sun and Lui Sha},
  journal={2016 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS)},
  year={2016},
  pages={1-11}
}
Simulink is widely used for model driven development (MDD) of industrial software systems. Typically, the Simulink based development is initiated from Stateflow modeling, followed by simulation, validation and code generation mapped to physical execution platforms. However, recent industrial trends have raised the demands of rigorous verification on safety-critical applications, which is unfortunately challenging for Simulink. In this paper, we present an approach to bridge the Stateflow based… CONTINUE READING
Highly Cited
This paper has 31 citations. REVIEW CITATIONS

Citations

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

References

Publications referenced by this paper.
Showing 1-10 of 32 references

Similar Papers

Loading similar papers…