嵌入式代码生成 SCADE Suite 工具讲义.ppt

发布时间：2022-05-29 发布人：admin 分类：说明书资料大小：9.03M 资料格式：ppt 举报版权申诉

wormwwww-10319887-4744302543306505455.ppt.pdf-第1页.png

第1页 / 共68页

wormwwww-10319887-4744302543306505455.ppt.pdf-第2页.png

第2页 / 共68页

wormwwww-10319887-4744302543306505455.ppt.pdf-第3页.png

第3页 / 共68页

wormwwww-10319887-4744302543306505455.ppt.pdf-第4页.png

第4页 / 共68页

wormwwww-10319887-4744302543306505455.ppt.pdf-第5页.png

第5页 / 共68页

wormwwww-10319887-4744302543306505455.ppt.pdf-第6页.png

第6页 / 共68页

wormwwww-10319887-4744302543306505455.ppt.pdf-第7页.png

第7页 / 共68页

wormwwww-10319887-4744302543306505455.ppt.pdf-第8页.png

第8页 / 共68页

文本预览

从源头上来解决问题 “运用一个独立的进程永远不能解决工业上的验证瓶颈。 Correct-by-construction 是唯一有效的开发方法。” Eric Bantegnie 法国爱斯特尔公司的主席兼首席执行官 4 在开发初期，消除需求的歧义和模糊，增进团队内部以及与客户／供应商之间的交流。 4 对耗费高和易出错的手动和半自动操作进行了自动化。 4 当需求发生改变时，能自动更新软件的代码和规范。 4 保持在各个层次上布线，测试工具和调试器等方面的现有投资。 6 Esterel Technologies © 2003 — www.esterel-technologies.com

德州仪器公司（TI）和空客（Airbus）　说： “拥有正确并可重用的需求” - 可作为与客户在需求级的合同条款 - 工程师间交流需求很简单 - 工程之间的需求重用性好 “处理日渐复杂的问题” - 早期模拟系统的行为 - 自动进行验证并且顺序测试 - 规范重用代替了设计技能的重用 7 Esterel Technologies © 2003 — www.esterel-technologies.com

公司的产品和解决方案 4 SCADE Suite: 高安全性的应用开发环境 4 运用correct by construction，覆盖了安全性嵌入式软件开发的整个流程，实现了从需求到 C或Ada语言的嵌入式代码的生成。 4 支持时间触发和事件触发 4 目前为止世界上唯一的严格满足DO- 178B, Level A民航标准的自动代码生成器 4 ESTEREL Studio: 芯片设计和验证环境 4 运用correct by construction，覆盖了从需求到 RTL/C的整个开发流程 4 自动生成FPGA 或SystemC 原型 4 最先进的测试功能：动态测试、静态分析、覆盖率测试、形式验证、验证模式 8 Esterel Technologies © 2003 — www.esterel-technologies.com

分享到：

赞收藏

资料库

嵌入式代码生成 SCADE Suite 工具讲义.ppt

相关推荐

开发技术

热门标签

最新资料