SCADE Architect是为用户提供系统设计环境，可用于具有高可靠性要求的系统，为工业系统工程流程提供全面支持，例如ARP 4754A，ISO 26262 ，以及EN 50126. 
该产品在基于SysML的环境中具有功能和架构系统建模和验证功能。SCADE Architect为部署基于模型的系统工程（MBSE）流程和最佳实践提供了坚实的基础。一个关键特性是能够生成一致和全面的接口控制文档（ICD）作为MBSE过程的重要结果。

 Unified Platform for  Defence Modeling，  防卫系统建模统一平台

 如何设计词法分析器

 语言是人类最伟大的工具之一，描述是人类所有智慧的基础，描述分为各种层次：

• 自然语言 

• 数学公式 

• 建筑图形 

• 软件模型 

人的科学知识、文学知识都是在自然语言的基础上，演进出了各种专业符号系统。如果能够理清自然语言，可以帮助我们更好的认识自己如何描述世界，进而关联到各个学科的专业符号。这可以帮助我们：

• 认识自己的思维形成基础

• 更好的交流 

• 更有效的操纵各种知识。

• 具有创新的视野和余力！

 各个学科，各个国家，各个民族，各个地域，都有各自的语言，每种语言给专自己带来便利的同事，也建立了知识的壁垒，如果有一门能够适用于各种学科、民族、专业的通用语言该多好，我们能够找到或者建立这样一门语言吗？

 美国国家信息交换模型（NIEM）为解决跨领域信息交换与共享问题提供了科学有效的解决方案，对推动我国跨领域信息交换理论研究与工程实践具有重要的参考和借鉴作用。

 从设计图生成代码

 如何对C代码进行逆向，生成调用关系图和流程图？

 最近想根据工作需要建立一种编程语言。

Simulink 是一个模块图环境，用于多域仿真以及基于模型的设计。它支持系统级设计、仿真、自动代码生成以及嵌入式系统的连续测试和验证。Simulink 提供图形编辑器、可自定义的模块库以及求解器，能够进行动态系统建模和仿真。Simulink 与 MATLAB® 相集成，这样您不仅能够在 Simulink 中将 MATLAB 算法融入模型，还能将仿真结果导出至 MATLAB 做进一步分析。

Activiti是一个开源的工作流引擎，它实现了BPMN 2.0规范，可以发布设计好的流程定义，并通过api进行流程调度。
BPMN即业务流程建模与标注（Business Process Model and Notation，BPMN) ，描述流程的基本符号，包括这些图元如何组合成一个业务流程图（Business Process Diagram）。

企业架构建模涉及业务架构、应用架构、数据架构、技术架构，内容比较多，建模也复杂，希望系统学习一下。

 在搞生产系统研发，如何建模和仿真呢？

 IDEF，是ICAM Definition的缩写，是指一个家族的系统和软件工程领域的建模语言。它最初于20世纪70年代在俄亥俄州美国空军材料实验室，由赖特 - 帕特森空军基地的Dennis E. Wisnosky, Dan L. Shunk等人发起。 IDEF涵盖了广泛的用途，从功能建模到数据，模拟，面向对象的分析和设计，以及知识获取。 IDEF图表有很多类型，包括IDEF0，IDEF1，IDEF1X，IDEF2，IDEF3，IDEF4，IDEF5，IDEF6，IDEF7，IDEF8，IDEF9，IDEF10，IDEF11，IDEF12，IDEF13和IDEF14的。

UML相关的学习资料有吗？

思维导图是整理思路的利器，有哪些思路建模方法呢，想系统学学。

如何基于EA进行项目系统需求分析以及建模，最好结合案例讲解

AutoSAR是汽车电子领域的框架规范，想学习参考一下。

希望能够学习到如何从模型验证需求和设计

在建模方面，Modelica语言集合了面向对象建模、非 因果建模、连续离散混合系统建模等建模思想，采用面向对象方式实现不同领域子模型之间的无缝集成。同时它的符号化建模功能可以用来封装键合图、线性图、虚功原理等特殊建模方法。