详见老帖: https://www.v2ex.com/t/869111
谢谢^_^
1
cwaken 2022-09-02 18:50:12 +08:00 via iPhone
你这 c++只是为了完成 wasm 部分吧
|
2
cwaken 2022-09-02 18:51:18 +08:00 via iPhone
我不理解为啥要拖拽控件生成 c 代码?
|
3
nebel OP @cwaken
不同于常规的互联网领域,在工业领域,系统研发工程有套理论体系,MBSE ( Model Base Systems Engineering )基于模型的系统工程。 简要的解释: (A)- MBSE 工业领域,强调每一个环节都可以基于模型设计、可追溯、可验证、可仿真,以及最终基于工具生成可信的代码。 (B)- 这里的每个环节包括:需求、系统架构设计、详细设计等,每个环节目前在领域里都已有相关的工具去做(A)所述的功能。 (C)这些过程都是通过基于理论实现工具化的方式去实现的。 目前我们是针对其中环节做相关的工具,C++目前主要用来实现相关的理论模型的实现的落地,比如,静态变量的分析、形式化验证等等。 C++实现的东西,以 dll 或者 wasm 的形式提供给 GUI 应用层。应用层基于 Canvas 相关的技术去实现可视化模型编辑工具,最终的模型是调用 dll/Wasm 做静态变量分析,形式化验证的执行。 |