nebel 最近的时间轴更新 nebel 最近的时间轴更新 |
nebelV2EX 第 18205 号会员，加入于 2012-03-16 11:07:12 +08:00 |
nebel 最近回复了
39 天前 回复了 bzlksxs 创建的主题 › 程序员 › lvgljs，用 JS 来写 lvgl UI |
请问，可以加下微信么 tenero
谢谢~~
谢谢~~
43 天前 回复了 nebel 创建的主题 › 酷工作 › [上海招聘] [实习生] 基于模型的系统工程的产品开发 |
44 天前 回复了 nebel 创建的主题 › 酷工作 › [上海招聘] [实习生] 基于模型的系统工程的产品开发 |
84 天前 回复了 nebel 创建的主题 › 酷工作 › [上海-招聘] C++工程师、前端全栈开发 |
84 天前 回复了 nebel 创建的主题 › 酷工作 › [上海-招聘] C++工程师、前端全栈开发 |
@cwaken
不同于常规的互联网领域，在工业领域，系统研发工程有套理论体系，MBSE （ Model Base Systems Engineering ）基于模型的系统工程。
简要的解释：
(A)- MBSE 工业领域，强调每一个环节都可以基于模型设计、可追溯、可验证、可仿真，以及最终基于工具生成可信的代码。
(B)- 这里的每个环节包括：需求、系统架构设计、详细设计等，每个环节目前在领域里都已有相关的工具去做(A)所述的功能。
(C)这些过程都是通过基于理论实现工具化的方式去实现的。
目前我们是针对其中环节做相关的工具，C++目前主要用来实现相关的理论模型的实现的落地，比如，静态变量的分析、形式化验证等等。
C++实现的东西，以 dll 或者 wasm 的形式提供给 GUI 应用层。应用层基于 Canvas 相关的技术去实现可视化模型编辑工具，最终的模型是调用 dll/Wasm 做静态变量分析，形式化验证的执行。
不同于常规的互联网领域，在工业领域，系统研发工程有套理论体系，MBSE （ Model Base Systems Engineering ）基于模型的系统工程。
简要的解释：
(A)- MBSE 工业领域，强调每一个环节都可以基于模型设计、可追溯、可验证、可仿真，以及最终基于工具生成可信的代码。
(B)- 这里的每个环节包括：需求、系统架构设计、详细设计等，每个环节目前在领域里都已有相关的工具去做(A)所述的功能。
(C)这些过程都是通过基于理论实现工具化的方式去实现的。
目前我们是针对其中环节做相关的工具，C++目前主要用来实现相关的理论模型的实现的落地，比如，静态变量的分析、形式化验证等等。
C++实现的东西，以 dll 或者 wasm 的形式提供给 GUI 应用层。应用层基于 Canvas 相关的技术去实现可视化模型编辑工具，最终的模型是调用 dll/Wasm 做静态变量分析，形式化验证的执行。
115 天前 回复了 nebel 创建的主题 › 酷工作 › [上海招聘] C++工程师、前端全栈开发 |
欢迎投递 ~~~
120 天前 回复了 nebel 创建的主题 › 酷工作 › [上海招聘] C++工程师、前端全栈开发 |
邮箱: [email protected] 谢谢
122 天前 回复了 nebel 创建的主题 › 酷工作 › [上海招聘] C++工程师、前端全栈开发 |
也欢迎帮推荐，走内推，
假设推荐最终成功，内推奖金归你~~~
假设推荐最终成功，内推奖金归你~~~
2021-07-15 15:58:57 +08:00 回复了 nebel 创建的主题 › 创业组队 › 有打算 2022 年出来创业的么？ base 上海 五角场 |
评论里的头像太小。可以扫帖子标题那个位置的头像，可以扫出码来~~~
Select Language