威勒尔,英国- 2021年9月9日-LDRAG.G.Tronics是标准遵从、自动化软件验证、软件代码分析和测试工具的领导者,今天宣布选择LDRA工具套件对其软件代码执行静态和动态分析。该公司选择了该工具套件来提高质量,确认正确的功能,并根据EN 50128演示和维护需求可追溯性。
G.G.Tronics是M/s的一部分。日本的日本信号有限公司,位于班加罗尔,印度自己的“硅谷”。该公司对质量的承诺通过了ISO 9001:2015认证和印度铁路研究设计和标准组织(RDSO)的批准。
G.G.Tronics的最新产品是MSDAC-G39,多节数字轴计数器。MSDAC-G39是一种故障安全、可靠和用户友好的2 / 3基于架构的设计,符合RDSO/SPN/176/2013 Ver 3.0,并符合EN5012X系列标准(“CENELEC”)定义的SIL4完整性级别。
车轴计数器监视每个轨道段是否有火车。当列车的第一个轴在一个区段内被检测到时,所谓的“重要输出”将被丢弃以确认占用情况。当列车的所有轴都离开该区段时,再次驱动重要输出。这里的软件故障可能会导致轴计数器驱动其重要输出,而列车仍然占据轨道段,可能会允许另一列火车进入同一段,造成危及生命的后果。
G.G.Tronics选择了LDRA工具套件来帮助公司实现这些苛刻的目标,应用静态和动态分析来提高源代码质量,确认正确的功能,并根据EN 50128 SIL4演示和维护需求可追溯性。
G.G.Tronics软件质量经理Rajganesh Marappan先生说:“从一开始,TUV对LDRA工具套件的批准对我们来说就很重要。“为未经批准的工具寻求类似级别的保证是一项重大开销。LDRA工具获得了TUV SUD和TUV SAAR的安全相关开发许可,符合EN 50128,直至SIL 4。”
马拉潘接着说:“我们还希望投资一种能够适应未来的工具。”“我们对MSDAC-G39的优先考虑是功能安全,但我们也需要考虑网络安全。LDRA工具套件的TBmanager组件能够同时跟踪IEC 62443和EN 50128目标到源代码和测试用例。”
LDRA工具套件是一个完全集成的解决方案,使客户能够从需求到部署构建高质量的软件。将LDRA工具套件集成到软件开发过程中已被证明对许多安全、安全、业务和任务关键型软件项目的成功至关重要,特别是那些具有严格的安全关键型过程指南的项目,如EN 50128、DO-178C、ISO 26262、IEC 62304和IEC 61508。
该项目对LDRA和G.G.Tronics来说都是一次成功的经历。LDRA东南亚业务总监Shinto Joseph表示:“我们很自豪能与G.G.Tronics合作,G.G.Tronics在印度为印度和世界进行创新。MSDAC-G39已根据EN 50128 SIL 4获得RDSO批准和认证。我们很高兴看到世界一流的产品在印度建造。这是铁路国产化的一个重要里程碑。”
关于LDRA如何帮助软件开发团队在关键的GTS开发中构建安全性的更多信息,请参见https://www.ldra.com/rail.
关于LDRA
40多年来,LDRA开发并推动了用于安全、任务、安全和业务关键市场的自动化代码分析和软件测试的软件市场。LDRA与客户合作,实现早期错误识别并完全符合行业标准,通过静态和动态分析跟踪需求,对各种硬件和软件平台进行单元测试和验证。LDRA总部位于英国,在美国、德国和印度设有子公司,并拥有广泛的分销网络。有关LDRA工具套件的更多信息,请访问www.ldra.com.