可靠性服务的灵活开发：源自能源自动化系统的经验
分布式、并行与集群计算
2019-10-04 v1
摘要
本文描述了一种用于可靠自动化服务灵活开发的新型方法，并应用于取自能源自动化系统需求的一个案例研究。它首先展示了如何利用定制的组合式恢复语言在软件中实现灵活且可靠的功能；随后展示了如何基于 Petri 网的建模技术来评估所关注服务不同配置所能达成的性质。
引用
@article{arxiv.1910.01483,
title = {Flexible Development of Dependability Services: An Experience Derived from Energy Automation Systems},
author = {Vincenzo De Florio and Susanna Donatelli and Giovanna Dondossola},
journal= {arXiv preprint arXiv:1910.01483},
year = {2019}
}
备注
The final version of this paper appeared in the Proceedings of the 2002 Conference on the Engineering of Computer Based Systems (ECBS-2002). arXiv admin note: text overlap with arXiv:1611.02273