共享信息,推动正式验证的边界。
它的发生。有些人可能会猜测,随着西门子对OneSpin的收购,OneSpin用户组会议(通常被称为Osmosis)将正式(双关语)纳入更大的西门子活动。好吧,我在这里告诉你,渗透法已经正式上书,并将继续专注于正式验证的特定领域。在过去的几个月里,该团队一直在努力工作,以便将一个OneSpin用户基础会发现非常有趣的程序组合在一起。
对于那些第一次参加Osmosis的人来说,这个名字代表的是OneSpin解决方案、创新和战略会议。该活动的目的是允许信息不仅在用户之间流动,而且在用户和OneSpin团队之间来回流动。正是这种将知识传递给所有相关方的做法,使得Osmosis与众不同。该名称作为首字母缩写,并提供了如何共享信息的清晰定义。
现在我已经给了你一些背景知识,让我们来了解一下与会者在今年11月3日至4日为期两天的虚拟会议上可以期待什么。
第一天将由西门子数字工业软件公司的领导进行主题演讲:高级副总裁兼总经理Ravi Subramanian和高级工程总监(前OneSpin首席执行官)Raik Brinkmann。他们将分享关于收购OneSpin的愿景,以及它将如何将正式的核查领域扩大到新的领域和挑战。
作为补充,由Raik在第二天发表的主题演讲将更深入地探讨OneSpin: a Siemens Business将推动正式验证边界的具体领域,包括:
在为期两天的活动中,OneSpin团队将就用于确保当今设计的功能正确性、安全性、可靠性和安全性的技术和解决方案进行深入的技术讨论。这些会议包括:
当然,如果不听取来自领先公司和关键行业的忠实用户的意见,这就不是一个用户群体。为了最大限度地发挥知识转移的影响,上述每个OneSpin会议将与一个或多个用户案例研究配对:
在过去的几个月里,我们一直在为这次活动做准备,这对OneSpin来说是一条令人兴奋的道路。当我们进入新的领域时,我们渴望分享我们将如何进行正式操作。我们也期待着了解我们的用户是如何成功的,以及我们可以做些什么来保持这种成功。这两天充满了很多我们认为会给用户带来价值的内容。我们都等不及要见大家了。
如果您是OneSpin用户,您可以获得有关活动的更多详细信息并在www.onespin.com/osmosis - 2021.
对于那些不是OneSpin用户(为什么不呢?)但正在考虑使用它的人,我们邀请您看看去年的Osmosis演讲www.onespin.com/resources/videos/osmosis - 2020.
留下回复