1作者: twopowerX26 天前原帖
系统工程师使用无法进行有效差异比较/合并/版本控制的工具来建模价值数十亿美元的航天器、救生医疗设备和自主车辆,即使在大型昂贵的基础设施下也是如此。<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>欢迎反馈——特别是来自希望他们的建模工具更像代码编辑器的工程师们。
2作者: mudge26 天前原帖
我正在寻找一些好的选择,以便为一个开源项目创建文档网站。我希望找到一些免费的或非常便宜的工具,并且这些工具使用和设置起来都非常简单。它可以是一个工具、服务或托管平台。我不是网页开发者,但我了解Markdown。<p>你知道有哪些好的选择吗?