个人中心
文章发布
退出
作者热门文章
- html - 出于某种原因，IE8 对我的 Sass 文件中继承的 html5 CSS 不友好？
- JMeter 在响应断言中使用 span 标签的问题
- html - 在 :hover and :active? 上具有不同效果的 CSS 动画
- html - 相对于居中的 html 内容固定的 CSS 重复背景？
29
4
有谁知道空中交通管制系统是如何实现软件容错的？
一些 URL 会很有帮助。
最佳答案
Lockheed 不久前发表了一些关于此的文章。看看<强>here .
许多系统都使用 Ada，它明确支持验证命题和其他形式逻辑思想，因此您可以保证系统的一致性。阅读更多有关 here 的信息.
您还需要搜索 ERAM，它是“ En Route Automation Modernization ”的首字母缩写词，它是目前在美国(非常)缓慢推出的新系统的名称。这是 En Route Host System 的替代品，En Route Host System 是现有的遗留系统，可防止一切相互碰撞。
关于fault - 软件容错，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/2483873/
29
4
0
我有一个具有以下架构的网站: End user ---> Server A (PHP) ---> Server B (ASP.NET & Database)
是否有认证或某些权威来决定软核是否具有容错性？ 另一个问题。我已经看到 LEON3-FT 只有在 RTAX Actel FPGA 上实现时才具有耐辐射性。那正确吗？ 打扰一下，但我对此感到困惑，因为有
我正在使用 Data.Aeson 将一些 JSON 解析为 Record 类型。不时将数据添加到 JSON 中，这会破坏我的代码，因为 Aeson 会提示以下内容: expected Object w
我对分区模式下的 Ignite Cache 有几个问题 1)当Ignite集群中的节点发生故障时，如果故障节点是某个 key 的主节点，那么该节点的备份是否会成为新的主节点？ 2) 故障节点中的备份副
我正在深入研究 Akka只是看着他们的 fault tolerance example ，并试图理解它。 为什么我不能在“纯 Java”中实现所有相同类型(Worker、Listener、Counte
Apache Kylin 看起来是一个很棒的工具，可以满足大量数据科学家的需求。这也是一个非常复杂的系统。我们正在开发一个内部解决方案，其目标完全相同，即具有低查询延迟的多维 OLAP 多维数据集。在
我需要将目录从一个集群复制到另一个具有类似 HDFS 的集群(两者都是 MAPR 集群)。 我计划使用 DistCp Java API。但我想避免目录中文件的重复副本。我想知道这些操作是否容错？也就是
有没有人拥有/制造/销售用于 .NET 的容错 XML 阅读器？ 是的，我知道，XML 的设计目的不是为了在其中包含错误，如果它无效就应该被拒绝......等等等等。但遗憾的是，现实世界是不完美的，开
我试图在 akka Actors 中获得容错行为。我正在编写一些代码，这些代码依赖于系统中的 Actor 可用于长期处理。我发现我的处理在几个小时后停止(大约需要 10 小时)并且没有发生太多事情。我
我有兴趣了解 Spark 如何实现容错。在他们的paper他们描述了他们如何为“狭窄的依赖关系”做这件事，比如相当简单的 map 。但是，我没有说明如果节点在像排序操作这样的广泛依赖性之后崩溃时他们会
我目前正在通过离线访问在 Android 上实现 Google+ 身份验证。这需要请求一个一次性授权代码，该代码可以发送到服务器并兑换为刷新 token 。到目前为止一切顺利。 然而，假设在兑换代码和
我需要解析一个没有根元素、命名空间声明和实体声明的 xml block ，尽管包括所有这三个元素。 到目前为止，我一直在使用 Dom4j 并对内容进行一些包装，但不断出现新的实体和 namespace
我有一个 23 节点集群，在 AWS 上跨 4 个可用区运行 CoreOS Stable 681.2.0。所有节点都在运行 etcd2 和 flannel。在 23 个节点中，8 个是专用的 etcd
在我的办公室，我们正在使用 (https://docs.microsoft.com/en-us/dotnet/api/system.io.filesystemwatcher?view=netframe
我是一名优秀的程序员,十分优秀！