Validation Support for Distributed Real-Time Embedded Systems in VDM++

机译：VDM ++中对分布式实时嵌入式系统的验证支持

获取原文

页面导航

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

摘要

We present a tool-supported approach to the validation of system-level timing properties in formal models of distributed real-time embedded systems. Our aim is to provide system architects with rapid feedback on the timing characteristics of alternative d

机译：我们提出了一种工具支持的方法，用于在分布式实时嵌入式系统的正式模型中验证系统级时序属性。我们的目标是为系统架构师提供有关替代D的时序特性的快速反馈。

著录项

来源
《High-Assurance Systems Engineering (HASE), 2007 IEEE International Symposium on》|2007年|P.331-340|共10页
会议地点 PlanoTX
作者
Fitzgerald; John S.; Tjell; Simon; Larsen; Peter Gorm; Verhoef; Marcel;
展开▼
作者单位

展开▼
会议组织
原文格式 PDF
正文语种
中图分类
关键词

相似文献

外文文献
中文文献
专利

1. Problems of Instrumental Support for the Development of Distributed Embedded Real-Time Systems [J] . A. G. Bakhmurov, R. L. Smelyansky Programming and Computer Software . 2013,第5期

机译：分布式嵌入式实时系统开发的工具支持问题
2. Supporting component-based failover units in middleware for distributed real-time and embedded systems [J] . Wolf F., Balasubramanian J., Tambe S., Journal of systems architecture . 2011,第6期

机译：在分布式实时和嵌入式系统的中间件中支持基于组件的故障转移单元
3. Distributed Real-Time Managed Systems: A Model-Driven Distributed Secure Information Architecture Platform for Managed Embedded Systems [J] . Software, IEEE . 2014,第2期

机译：分布式实时受管系统：用于托管嵌入式系统的模型驱动的分布式安全信息体系结构平台
4. Validation Support for Distributed Real-Time Embedded Systems in VDM++ [C] . Fitzgerald John S., Tjell Simon, Larsen Peter Gorm, IEEE High Assurance Systems Engineering Symposium . 2007

机译：VDM ++中分布式实时嵌入式系统的验证支持
5. Control and validation mechanisms for information, resources, and deployments in distributed real-time and embedded systems. [D] . Edmondson, James R. 2012

机译：分布式实时和嵌入式系统中信息，资源和部署的控制和验证机制。
6. MicROS-drt: supporting real-time and scalable data distribution in distributed robotic systems [O] . Bo Ding, Huaimin Wang, Zedong Fan, -1

机译：MicROS-drt：在分布式机器人系统中支持实时和可扩展的数据分发
7. Validation Support for Distributed Real-Time Embedded Systems in VDM++ [O] . Fitzgerald John S., Larsen Peter Gorm, Tjell Simon, 2007

机译：VDM ++中对分布式实时嵌入式系统的验证支持
8. Validation Support for Distributed Real-Time Embedded Systems in VDM++:Technical rept. series [R] . Fitzgerald, J. S. 2007

机译：VDm ++中分布式实时嵌入式系统的验证支持：技术部门

Validation Support for Distributed Real-Time Embedded Systems in VDM++

摘要

著录项

引文网络

相似文献

相关主题

期刊订阅