推荐一篇2008年电子科技大学高权撰写的论文,探讨了基于Simulink和Stateflow建模的嵌入式软件开发平台。论文使用了Simulink、Stateflow、T-VEC、TestBed、Test Director和Visual C等工具,重点在于利用RTW接口生成符合自定义操作系统规范的代码,并强调了模型与自动生成代码的交叉调试能力及一致性验证。尽管论文中未透露部分公司及开发人员的名字,但其思路和方法具有一定的原创性。一般高校的硕士论文库订阅者可获取更多信息。