Formal development method of embedded systems based on refinement verification theory of hybrid models

Satoshi Yamane

首页> 外文期刊>電子情報通信学会技術研究報告. ソフトウェアサイエンス. Software Science >Formal development method of embedded systems based on refinement verification theory of hybrid models

【24h】

Formal development method of embedded systems based on refinement verification theory of hybrid models

机译：基于细化验证理论的混合模型嵌入式系统的正式发展方法

获取原文

获取原文并翻译 | 示例

掌桥外文数据库（机构版） >>

开具论文收录证明 >>

文献代查 >>

页面导航

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

摘要

We capture embedded systems form the standpoints of hybrid models, and develop them by processes such as (1) Most upstream: development of control laws, (2) Upstream: development of hybrid models, (3) Midlestream: development of software models (task structures and their scheduling), (4) Lowstream: development of programming. We specify both specification and software models using hybrid automata., and verify whether software models refine specification or not based on hybrid automata theories.

机译：我们捕获嵌入式系统形成混合模型的观点，并按照（1）最上游的进程开发它们：控制法的发展，（2）上游：混合模型的开发：软件模型的开发（任务结构及其调度），（4）Lowstream：编程开发。我们使用混合自动机指定了既规范和软件模型。，并验证软件模型是否优化规范或不基于混合自动机构理论。

著录项

来源
《電子情報通信学会技術研究報告. ソフトウェアサイエンス. Software Science》 |2001年第629期|共8页
作者
Satoshi Yamane;
展开▼
作者单位

展开▼
收录信息
原文格式 PDF
正文语种 jpn
中图分类计算机软件;
关键词
Hybrid models; Embedded systems; Specification; Refinement verification;

机译：混合模型;嵌入式系统;规范;细化验证;

相似文献

外文文献
中文文献
专利

1. Formal development method of embedded systems based on refinement verification theory of hybrid models [J] . Satoshi Yamane 電子情報通信学会技術研究報告. ソフトウェアサイエンス. Software Science . 2001,第629期

机译：基于细化验证理论的混合模型嵌入式系统的正式发展方法
2. Web Service Compensation at Runtime: Formal Modeling and Verification Using the Event-B Refinement and Proof Based Formal Method [J] . Guillaume Babin, Yamine Aït-Ameur, Marc Pantel Services Computing, IEEE Transactions on . 2017,第1期

机译：运行时Web服务补偿：使用基于Event-B提炼和证明的形式化方法进行形式化建模和验证
3. A formal framework for verifying distributed embedded systems based on abstraction methods [J] . Francois Carcenac, Frederic Boniol International Journal on Software Tools for Technology Transfer . 2006,第6期

机译：基于抽象方法的分布式嵌入式系统验证的正式框架
4. Refinement Theory of Embedded Systems based on Hybrid models [C] . Satoshi Yamane International Conference on Information and Knowledge Engineering IKE'02, Jun 24-27, 2002, Las Vegas, Nevada, USA . 2002

机译：基于混合模型的嵌入式系统细化理论
5. Formal Methods for Design and Verification of Embedded Control Systems: Application to an Autonomous Vehicle. [D] . Wongpiromsarn, Tichakorn. 2010

机译：嵌入式控制系统设计和验证的正式方法：应用于自动驾驶汽车。
6. IV. Clinical Consultation Systems Medical Decision Support Systems and Clinical Research Data Bases: A. Medical Decision Support and Artificial Intelligence Methodologies: A Use of Formal Language Theory in Medical Decision-Making [O] . Thomas J. Sager 1981

机译：IV。临床咨询系统医疗决策支持系统和临床研究数据库：A.医疗决策支持和人工智能方法论：形式语言理论在医疗决策中的运用
7. A Formal Method for Modeling, Verification and Synthesis of Embedded Reactive Systems [O] . Caldas Ruiter, Barreto Raimundo, Cordeiro Lucas, 100

机译：嵌入式无功系统建模，验证与综合的形式化方法

Formal development method of embedded systems based on refinement verification theory of hybrid models

摘要

著录项

相似文献

相关主题

期刊订阅