返回首页
最新
系统工程师使用无法进行有效差异比较/合并/版本控制的工具来建模价值数十亿美元的航天器、救生医疗设备和自主车辆,即使在大型昂贵的基础设施下也是如此。<p>我创建了Sylang来解决这个问题。<p>什么是Sylang?<p>一种基于文本的复杂系统建模语言。编写声明式代码,自动生成可视化图表、可追溯性矩阵、FMEA分析和合规报告。与Git、VSCode和AI代码助手兼容。<p>示例:<p><pre><code> def requirement BrakeActivation
description "系统应在100毫秒内激活刹车"
safetylevel ASIL-D
testedby ref testcase EmergencyBrakeTest
derivedfrom ref safetygoal PreventCollision
allocatedto ref block BrakeController
</code></pre>
这将生成:<p>- 架构图(分解图、内部块图)
- 可追溯性矩阵(需求 ↔ 测试 ↔ 块 ↔ 安全目标)
- 覆盖分析(哪些需求缺少测试?)
- 合规报告(功能安全、ASPICE等)<p>为什么基于文本的建模有效:<p>您的AI代码助手(Cursor、GitHub Copilot、Claude、Gemini)可以:
- 从安全目标生成需求
- 从需求创建测试用例
- 从架构起草FMEA分析
- 在文件间进行语义理解的重构
- 建议缺失的关系<p>有效的Git工作流程:<p><pre><code> git diff requirements.req # 查看更改内容
git merge feature/new-sensors # 合并架构分支
git blame safety-goals.sgl # 谁定义了这个安全目标?
</code></pre>
没有XMI。没有数据库导出。没有PowerPoint。只有可读的文本,生成您所需的一切。<p>您将获得:<p>覆盖整个工程生命周期的23种文件类型:
- 产品线和变体 (.ple, .fml, .vml)
- 架构 (.blk, .fun, .ifc)
- 需求和测试 (.req, .tst)
- 行为模型 (.ucd, .seq, .smd)
- 安全分析 (.haz, .sgl, .sam, .flr, .fta)
- 仪表板和规格 (.dash, .spec)
- 自动化 (.agt, .spr)<p>所有自动生成的可视化图表:特征模型、分解图、时序图、状态机、可追溯性矩阵。<p>当前状态:<p>- 语言稳定(v0.9.27)
- 可用VSCode扩展(在扩展中搜索“Sylang”)
- 与Cursor、GitHub Copilot、Claude、Gemini代码助手兼容
- 图表渲染、可追溯性、覆盖分析正常工作
- 独立开发,兼职,公开构建<p>下载地址:<p><a href="https://marketplace.visualstudio.com/items?itemName=balaji-embedcentrum.sylang" rel="nofollow">https://marketplace.visualstudio.com/items?itemName=balaji-e...</a><p>网站: <a href="https://sylang.dev" rel="nofollow">https://sylang.dev</a><p>GitHub: <a href="https://github.com/balaji-embedcentrum/sylang" rel="nofollow">https://github.com/balaji-embedcentrum/sylang</a><p>欢迎反馈——特别是来自希望他们的建模工具更像代码编辑器的工程师们。
我正在寻找一些好的选择,以便为一个开源项目创建文档网站。我希望找到一些免费的或非常便宜的工具,并且这些工具使用和设置起来都非常简单。它可以是一个工具、服务或托管平台。我不是网页开发者,但我了解Markdown。<p>你知道有哪些好的选择吗?