Specification and Verification Techniques of Embedded Systems Using Probabilistic Linear Hybrid Automata

机译：基于概率线性混合自动机的嵌入式系统规范与验证技术

获取原文

获取原文并翻译 | 示例

页面导航

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

摘要

We can model embedded systems as hybrid systems. Moreover, they are distributed and real-time systems. Therefore, it is important to specify and verify randomness and soft real-time properties. For the purpose of system verification, we formally define probabilistic linear hybrid automaton and its symbolic reachability analysis method. It can describe uncertainties and soft real-time characteristics. Our proposal method is the first attempt to symbolically verify probabilistic linear hybrid automata.

机译：我们可以将嵌入式系统建模为混合系统。而且，它们是分布式实时系统。因此，指定和验证随机性和实时性很重要。为了系统验证的目的，我们正式定义了概率线性混合自动机及其符号可达性分析方法。它可以描述不确定性和软实时特性。我们的建议方法是首次尝试以符号方式验证概率线性混合自动机。

著录项

来源
《International Conference on Embedded Software and Systems(ICESS 2005); 20051216-18; Xi'an(CN)》|2005年|P.346-360|共15页
会议地点 Xian(CN)
作者
Yosuke Mutsuda; Takaaki Kato; Satoshi Yamane;
展开▼
作者单位

Graduate School of Natural Science Technology, Kanazawa University, Kakuma-machi, Kanazawa city, Japan ZIP/CODE 920-1192;

展开▼
会议组织
原文格式 PDF
正文语种 eng
中图分类计算机软件;
关键词

相似文献

外文文献
中文文献
专利

1. Specification and Verification of Dynamically Reconfigurable Systems Using Dynamic Linear Hybrid Automata [J] . Ryo Yanase, Tatsunori Sakai, Makoto Sakai, Journal of Software Engineering and Applications . 2016,第9期

机译：使用动态线性混合自动机对动态可重构系统进行规范和验证
2. A note on the verification of automata specifications of probabilistic real-time systems [J] . Arnaldo V. Moura, Guilherme A. Pinto Information Processing Letters . 2002,第5期

机译：关于验证概率实时系统自动机规格的说明
3. Verifying Automata Specification of Distributed Probabilistic Real-Time Systems [J] . Luo Tiegeng, Chen Huowang, Wang Bingshan Journal of Computer Science & Technology . 1998,第Suppl期

机译：验证分布式概率实时系统的自动机规范
4. Specification and Verification Techniques of Embedded Systems Using Probabilistic Linear Hybrid Automata [C] . Yosuke Mutsuda, Takaaki Kato, Satoshi Yamane International Conference on Embedded Software and Systems . 2005

机译：概率线性混合自动机嵌入式系统的规范与验证技术
5. Probabilistic constraint nets: A formal framework for the modeling and verification of probabilistic hybrid systems. [D] . St-Aubin, Robert Jr. 2005

机译：概率约束网：用于概率混合系统建模和验证的正式框架。
6. Model Checking Techniques for Assessing Functional Form Specifications in Censored Linear Regression Models [O] . Larry F. León, Tianxi Cai -1

机译：模型检测技术在截尾线性回归模型评估函数形式规格
7. Hybrid Automata: An Algorithmic Approach to the Specification and Verification of Hybrid Systems [O] . Alur, Rajeev, Courcoubetis, Costas, Henzinger, Thomas A., 1993

机译：混合自动机：混合系统规范和验证的算法方法

Specification and Verification Techniques of Embedded Systems Using Probabilistic Linear Hybrid Automata

摘要

著录项

相似文献

相关主题

期刊订阅