Brief Announcement: Towards Modular Verification of Stabilisation in Self-adaptive Embedded Systems

机译：简要公告：迈向自适应嵌入式系统稳定性的模块化验证

获取原文

获取原文并翻译 | 示例

页面导航

摘要
著录项
相似文献
相关主题

摘要

We introduce a formal semantic-based modelling framework to model, specify and verify the functional and adaptive behaviour of synchronous adaptive systems.

机译：我们引入了一个基于语义的形式化建模框架来建模，指定和验证同步自适应系统的功能和自适应行为。

著录项

来源
《International Symposium on Stabilization, Safety, and Security of Distributed Systems(SSS 2006); 20061117-19; Dallas,TX(US)》|2006年|584-585|共2页
会议地点 DallasTX(US)
作者
Ina Schaefer; Arnd Poetzsch-Heffter;
展开▼
作者单位

Software Technology Group, Technische Universitaet Kaiserslautern, Germany;

展开▼
会议组织
原文格式 PDF
正文语种 eng
中图分类安全保密;
关键词

相似文献

外文文献
中文文献
专利

1. Strategic logics for collaborative embedded systems Specification and verification of collaborative embedded systems using strategic logics [J] . Damian Kurpiewski, Diego Marmsoler Computer science . 2019,第4期

机译：协作嵌入式系统的策略逻辑使用策略逻辑对协作嵌入式系统进行规范和验证
2. Transforming Opacity Verification to Nonblocking Verification in Modular Systems [J] . Mohajerani Sahar, Lafortune Stephane IEEE Transactions on Automatic Control . 2020,第4期

机译：将透明度验证转换为模块化系统中的非阻塞验证
3. An online self-adaptive modular neural network for time-varying systems [J] . Junfei Qiao, Zhaozhao Zhang, Yingchun Bo Neurocomputing . 2014,第feba11期

机译：时变系统的在线自适应模块化神经网络
4. Brief Announcement: Towards Modular Verification of Stabilisation in Self-adaptive Embedded Systems [C] . Ina Schaefer, Arnd Poetzsch-Heffter International Symposium on Stabilization, Safety, and Security of Distributed Systems(SSS 2006); 20061117-19; Dallas,TX(US) . 2006

机译：简要公告：迈向自适应嵌入式系统稳定性的模块化验证
5. Modular verification and supervisory controller design for discrete-event systems using abstraction and incremental construction. [D] . Hill, Richard Charles. 2008

机译：使用抽象和增量构造的离散事件系统的模块化验证和监督控制器设计。
6. A Fast Radio Map Construction Method Merging Self-Adaptive Local Linear Embedding (LLE) and Graph-Based Label Propagation in WLAN Fingerprint Localization Systems [O] . Yepeng Ni, Jianping Chai, Yan Wang, 2020

机译：WLAN指纹定位系统中融合自适应局部线性嵌入（LLE）和基于图的标签传播的快速无线电地图构建方法
7. Verifying Stochastic Behaviors of Decentralized Self-Adaptive Systems: A Formal Modeling and Simulation Based Approach [O] . Li Nianyu, Bai Di, Yang Zhuoqun, 2017

机译：验证分散自适应系统的随机行为：a 基于形式化建模和仿真的方法

Brief Announcement: Towards Modular Verification of Stabilisation in Self-adaptive Embedded Systems

摘要

著录项

相似文献

相关主题

期刊订阅