运行时监控论文
基于混成自动机的事件驱动的CPS系统监控方法研究
论文摘要信息物理融合系统(CPS系统)被认为是下一代嵌入式系统,具有广阔的应用前景。CPS系统涉及信息、物理等多方面,本身复杂度高,而且CPS系统往往运行于不确定的物理环境中,...基于目标的高可信自适应容错软件开发方法研究
论文摘要随着以Internet软件为核心的信息系统的深入,基于Internet的分布式计算机系统及开放式网络环境增加了系统的复杂度、故障率和不安全因素,使得软件系统变得日趋庞大...基于模式的复合服务监管关键技术研究
论文摘要Web服务(WebServices)是构造下一代分布式计算平台的基本技术。单个Web服务所能够提供的功能有限,服务复合(ServicesComposition)通过组合...