IDAS: Intent-Defined Adaptive Software
项目负责人：William Martin 先生 赞助组织：DARPA网站：https://www.darpa.mil/program/intent-defined-adaptive-software 项目概要：IDAS 致力于开发捕捉软件工程师意图的技术，以支持国防部软件系统的持续适应
2023/03/27 Show Us the Proof: Formal Methods Can Be Applied at Large Scale
DARPA 的支持鲁棒系统的验证程序的流水线推理 (PROVERS) 计划将开发形式化方法工具，以指导软件工程师设计证明友好的软件系统并减少证明修复工作量。
How to Complete a Software Security Risk Assessment
由于其众多好处，技术在我们的生活中发挥着越来越重要的作用。不幸的是，网络攻击也在增加，每年增加 400%。这些攻击可能导致不同的问题，例如金钱损失以及医疗、个人、财务和其他私人信息被盗。如果您的组织依赖软件系统，[…] 文章如何完成软件安全风险评估首先出现在 SimplivLearning 博客上。
WAF mitigation for Spring Framework RCE CVE-2022-22965
Spring Framework RCE 漏洞 (CVE-2022-22965) 于 2022 年 3 月 31 日公布 漏洞 Spring Framework 是一个开源的轻量级 J2EE 应用程序开发框架，它提供 IOC、AOP、MVC 等功能。 Spring Framework 可以解决程序员在开发中遇到的常见问题，提高应用程序开发的便利性和软件系统构建效率。 […]Spring Framework RCE CVE-2022-22965 的 WAF 缓解首先出现在 CDNetworks 上。
Минцифры направит 3,8 млрд рублей на гранты ИТ-компаниям
数字发展部正在发起竞赛，争取总额为 38 亿卢布的赠款。 IT 项目和实施数字解决方案的公司将可以申请。支持运营商是俄罗斯信息技术发展基金会（RFIT）。软件、硬件和软件系统的开发商将能够获得20至3亿卢布的资助。该部门在一份声明中表示，开发公司可以参加竞争，不受 OKVED 和收入金额的限制，包括初创公司和分拆公司（大公司的部门分成不同的组织）。对于实施俄罗斯IT解决方案的公司，资助金额将为120至3亿卢布；对于单个项目，最低门槛降至1000万卢布，例如“工程软件”、“控制系统”和“软件”领域。开发工具和应用程序创建》该部门打算在专门的网络研讨会上讨论申请提交程序。第一场活动将于 7 月 1
Annually released, government-owned autonomous software plays key role in student competition
密歇根州罗切斯特——通用软件系统使机器人编程和操作变得更加容易。常见任务，例如反馈循环、控制、寻路……
ASMIS 2.0 Assessment, Inspection and Survey application undergoes full release
阿拉巴马州拉克堡（2021 年 3 月 2 日）——评估、检查和调查应用程序，是安全报告软件系统系列的一部分，称为...
ASMIS 2.0 Assessment, Inspection and Survey application undergoes limited release
阿拉巴马州拉克堡（2021 年 2 月 1 日）——评估、检查和调查应用程序，是已知的安全报告软件系统系列的一部分......
University students help JSTARS innovate scheduling
E-8C 联合监视目标攻击雷达系统的操作员正在与佐治亚州梅肯的美世大学计算机科学系合作，改进过时的软件系统。
University students help JSTARS innovate scheduling
E-8C 联合监视目标攻击雷达系统的运营商正在与佐治亚州梅肯市的默瑟大学计算机科学系合作，以改进过时的软件系统。
Wandelbots предлагает новый способ программирования роботов (+видео)
对于一家刚刚在两周前正式成立的初创公司来说，Wandelbots 已经取得了不俗的成绩。这家德国公司专门利用可穿戴系统解决机器人技术的关键问题，并在自适应软件系统的研发方面拥有两年多的经验。
86th IBCT (MTN) finishes warfighter exercise
佛蒙特州国民警卫队第 86 步兵旅战斗队（山地）于 6 月 3 日至 14 日举行了一次战士演习。该演习是一次战术行动演习，旨在使用陆军未来指挥所进行模拟来训练旅参谋，该软件系统使指挥官能够看到战场并在整个部队中进行沟通。该旅在德拉姆堡为演习提供便利。
AImotive разрабатывает универсальное ПО для автономного транспорта (+видео)
AIMotive，原名AdasWorks，声称正在开发自动驾驶通用软件系统。该公司并没有尝试开发自己的硬件和芯片，而是将精力集中在软件上。
