distributed real-time systems; dependable systems; petri net; time polymorphic invocation; timing constrained methods; remaining time; fault-tolerant systems;
机译:一个支持分布式实时控制系统设计和分析的建模框架
机译:分布式系统中的信息可靠性:可靠的分布式存储系统
机译:引发和建模系统可靠性要求的实用框架:来自NASA高可靠性计算项目的经验
机译:一种建模可靠实时分布式系统的框架
机译:分布式存储系统的可靠性建模和基准测试。
机译:自我管理的网络物理系统中可靠决策过程的分散组成框架
机译:mopED:基于组件的分布式实时嵌入式系统中基于模型的可靠性供应引擎
机译:aNTs分布式实时系统的容错特性和实验.aNTs:一种高性能,超可靠的方法