引文输出
出版物
保存此搜索
研究论文 带有信号处理的核心Erlang语义 Erlang 2023：第22届ACM SIGPLAN Erlang国际研讨会会议记录 • 2023年8月，第31-38页 • https://doi.org/10.1145/3609022.3609417 我们为Core Erlang的一个子集引入了一个小步语义，为其监控和信号系统建模。 我们语义学的目标是能够构建财产侵权的因果解释，这将是未来工作的目标。。。 第条 解释实时系统中的安全违规 摘要 我们解决了实时系统中的故障解释问题。 直觉上，对执行违反安全属性的解释是错误执行的简明摘录，只保留了与……相关的元素。。。 海报 SAKURA：基于模型的vIMS根本原因分析框架（海报） 基于模型的机器学习（MBML）技术解决了新的诊断问题，并为其决策提供了解释。 然而，由于网络虚拟化带来了新的挑战，如动态性、可扩展性等，目前的MBML受到了一些限制。。。 研究论文 基于组件的系统中责备的通用框架 在基于组件的安全关键型嵌入式系统中，确定违反安全属性的原因至关重要，无论是发出准确警报、将系统引导至安全状态，还是确定组件提供商的责任。。。 研究论文 基于组件的实时系统中的指责 在基于组件的安全关键型实时系统中，关键是要确定哪些组件导致违反了所需的系统级安全属性，无论是发出准确警报，还是确定组件提供商的责任。 在此。。。 第条 基于迹的逻辑因果关系通用框架 摘要 在基于组件的安全关键型嵌入式系统中，确定违反安全属性的原因至关重要，无论是发出精确警报、将系统引导到安全状态，还是确定组件的责任。。。 研究论文 CoSyMA公司 : 基于多尺度抽象的控制器综合工具 我们介绍了CoSyMA，一种基于多尺度离散抽象的增量稳定切换系统自动控制器综合工具。 该工具接受由一组微分方程和…表示的切换系统的描述。。。 第条 基于组件模型的故障恢复理论 本文介绍了 故障恢复 用于基于组件的模型。 我们根据一组原子组件来指定模型，这些原子组件由一组粘合操作符增量组合和同步。 我们定义了这些模型提供。。。 文章 基于组件设计的概率契约 基于离散时间交互式马尔可夫链的形式，我们定义了一个用于构建基于组件的嵌入式系统的概率契约框架。 合同规定了组件对其上下文和。。。 研究论文 基于近似双相似多尺度抽象的开关控制器综合 如果可用，离散抽象为控制器综合提供了一种吸引人的方法。 最近，人们提出了一种计算增量稳定切换系统离散抽象的方法，它使用了近似。。。 第条 合同违约因果关系分析 RV’10：第一届运行时验证国际会议记录 • 2010年11月，第270-284页 在基于组件的系统中确定责任是一项具有挑战性的任务，因为它需要就故障的发生以及故障和损害之间的因果关系建立令人信服的证据。 第二个问题是。。。 第条 基于组件设计的概率契约 ATVA’10：第八届验证和分析自动化技术国际会议记录 • 2010年9月，第325-340页 基于交互式马尔可夫链理论，我们定义了一个用于构建基于组件的嵌入式系统的概率契约框架。 合同规定了组件对其上下文所做的假设，并保证其。。。 第条 组合策略映射 随着嵌入式系统的日益复杂，再加上对更快的上市时间和产品可靠性的高度信心的需求，通过构造确保正确性的设计方法在可用时是……的解决方案。。。 第条 基于组件的系统建模与验证方法 我们构建了一个用于建模和研究基于组件的系统的框架，该框架将组件的行为描述与其交互方式严格分开。 我们讨论了系统行为的各种性质，如活性、局部进程。。。 章 确保交互系统的属性 程序分析与编写、理论与实践 • 2007年1月，第201-224页 我们提出了从交互模型及其组件的属性确保基于组件的系统属性的结果。 这里我们考虑子系统的死锁自由和局部进度。 这是在交互系统的框架内完成的。。。 第条 遗传网络的成分可达性分析 遗传调控网络已被许多方法建模为离散过渡系统，这得益于可用于分析离散过渡系统的大量形式化验证算法。 然而，其中大多数。。。 文章 基于组件建模的组合 我们提出了一个基于组件建模的框架，使用组件的抽象分层模型。 组件是两个模型的叠加：行为模型和交互模型。 交互模型描述了架构约束。。。 第条 大都市中的组合建模 EMSOFT’02：第二届嵌入式软件国际会议论文集 • 2002年10月，第93-107页 METROPOLIS是一个设计异构嵌入式系统的环境。 该框架基于称为METROPOLIS元模型的通用系统表示。 该模型构成了软件系统的主干，用于集成一个。。。 文章 基于控制器综合范式的调度程序建模 控制器综合范式为调度实时应用程序提供了一个通用框架。 调度程序可以被视为应用程序的控制器； 它们限制自己的行为，以便满足给定的调度要求。 我们研究。。。
