服务

为了确保工具在您的项目中得到最高效的使用，并把项目引向成功，我们很乐意在以下领域提供深度的技术支持和咨询引领服务：

插件开发

让工具更适配于您当前的开发和测试环境会让工作变得更加富有成效。通过 BTC 提供的开放的 API 接口和插件架构，可以很方便的对工具的功能进行扩展和定制 。具体应用例子比如二次开发支持特殊格式数据文件的导入导出，定制的工作流程，和定制的报告格式等。

解决方案的提供

基于 BTC 先进的核心技术，BTC EmbeddedSystems 可以提供以以下技术为支撑的客户定制产品：

• 静态数学证明技术（Model Checking）
• 安全相关需求的形式化作业
• 形式验证
• 自动测试用例生成
• FTA（故障树解析）
• FMEA（失效模式于影响分析）

咨询服务

基于全球客户量产部署17年的现场经验，我们非常乐意共享一些诀窍，提供一些定制的培训和咨询服务，帮助您快速对接国际水平，实现时间效果的最大化。这些咨询服务的领域包括如下：

• 基于模型开发的流程构建咨询
• 自动代码生成咨询（架构，代码优化等）
• 功能测试
• 等效性测试
• 需求形式化及形式验证
• ISO26262实操指南
• AUTOSAR

工程服务

我们以最专业最先进的技术，积极乐意承包您的开发和测试业务。尤其对于以下 BTC 的强势领域，我们当仁不让的把品质做到最好。

• 基于模型的功能开发
• 自动代码生成
• 软件单元测试
• 软件集成测试
• 安全关键需求的形式化
• 形式验证