CSR---EHS: SysWeaver: A Holistic Model-Based Design and Development Environment for Distributed Real-Time Systems
CSR---EHS:SysWeaver:分布式实时系统的基于模型的整体设计和开发环境
基本信息
- 批准号:0720527
- 负责人:
- 金额:$ 18万
- 依托单位:
- 依托单位国家:美国
- 项目类别:Continuing Grant
- 财政年份:2007
- 资助国家:美国
- 起止时间:2007-09-01 至 2012-08-31
- 项目状态:已结题
- 来源:
- 关键词:
项目摘要
Embedded real-time systems span a wide range of application domains including consumer electronics, motion and transportation control, automotive systems, building control, process control, industrial automation, aerospace and defense, and network elements. For example, a modern automobile has tens of microcontrollers, which must coordinate and control actuators in real-time. Failure to act on time can lead to damage to property and even loss of life. Hence, these systems must often satisfy multiple requirements: timeliness, jitter, fault-tolerance, safety, security and dynamic modalities. However, the bulk of the development of these systems continues to be at a low level of abstraction. Policies dealing with concurrency, end-to-end timing requirements, jitter constraints, exception-handling, failure management, safety issues and security concerns are hardwired into the architecture. Subsequently, the system implementation is directly coupled with the details of underlying run-time environments including OS interfaces, communication protocols adopted and programming languages used. The end-result is the creation of stove-pipe architectures and implementations that are very hard, a posteriori, to understand, analyze, validate, modify and maintain. Model-based development of embedded real-time systems is aimed at elevating the level of abstraction at which these systems are designed, analyzed, validated, coded and tested. The use of a holistic and coherent multi-dimensional model across all behaviors enables model-based design to generate systems that are correct by construction. It thus offers the promise of representing necessary functional and para-functional (sometimes called non-functional) behaviors at a level that is easy to understand, reuse, analyze formally, validate rigorously, and significantly easier to modify and maintain. This project is developing a model-based design and development toolset called SysWeaver that (i) models in an integrated fashion functional and para-functional concerns along with hardware configurations of distributed real-time systems, (ii) validates functional and para-functional behaviors at the modeling level, (iii) generates complete runtime code for these systems, (iv) helps collect run-time measurements to provide richer annotations of the models required for (say) worst-case timing analysis. The software tools are made available for free download and use.
嵌入式实时系统跨越了广泛的应用领域,包括消费电子、运动和运输控制、汽车系统、楼宇控制、过程控制、工业自动化、航空航天和国防以及网络元件。例如,现代汽车有数十个微控制器,必须实时协调和控制执行器。不及时采取行动可能导致财产损失,甚至生命损失。因此,这些系统往往必须满足多个要求:及时性,抖动,容错,安全性,安全性和动态模式。然而,这些系统的大部分开发仍然处于低抽象级别。处理并发、端到端时序要求、抖动约束、异常处理、故障管理、安全问题和安全问题的策略都被硬连接到架构中。随后,系统实现直接耦合到底层运行时环境的细节,包括操作系统接口,采用的通信协议和使用的编程语言。最终的结果是创建烟囱式架构和实现,这些架构和实现很难理解、分析、验证、修改和维护。 嵌入式实时系统的基于模型的开发旨在提升这些系统的设计,分析,验证,编码和测试的抽象层次。在所有行为中使用整体和一致的多维模型,使基于模型的设计能够生成通过构造而正确的系统。因此,它提供了在一个易于理解、重用、形式化分析、严格验证和更容易修改和维护的级别上表示必要的功能和准功能(有时称为非功能)行为的承诺。该项目正在开发一个基于模型的设计和开发工具集,称为SysWeaver,它(i)以集成的方式对分布式实时系统的功能和准功能关注点沿着硬件配置进行建模,(ii)在建模级别验证功能和准功能行为,(iii)为这些系统生成完整的运行时代码,(iv)帮助收集运行时度量,以提供(比如)最坏情况时序分析所需的模型的更丰富注释。 这些软件工具可供免费下载和使用。
项目成果
期刊论文数量(0)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)
数据更新时间:{{ journalArticles.updateTime }}
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
数据更新时间:{{ journalArticles.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ monograph.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ sciAawards.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ conferencePapers.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ patent.updateTime }}
Ragunathan Rajkumar其他文献
Practical task allocation for software fault-tolerance and its implementation in embedded automotive systems
- DOI:
10.1007/s11241-019-09339-7 - 发表时间:
2019-09-06 - 期刊:
- 影响因子:1.300
- 作者:
Anand Bhat;Soheil Samii;Ragunathan Rajkumar - 通讯作者:
Ragunathan Rajkumar
Ragunathan Rajkumar的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
{{ truncateString('Ragunathan Rajkumar', 18)}}的其他基金
NSF Workshop on Transportation Cyber-Physical Systems - Participant Support
NSF 交通网络物理系统研讨会 - 参与者支持
- 批准号:
1439929 - 财政年份:2014
- 资助金额:
$ 18万 - 项目类别:
Standard Grant
Support for CPS Week 2010 and ICCPS 2010 Conference Travel and Activities
支持 CPS Week 2010 和 ICCPS 2010 会议旅行和活动
- 批准号:
1036440 - 财政年份:2010
- 资助金额:
$ 18万 - 项目类别:
Standard Grant
CPS: Large: Center for Autonomous Transportation Systems
CPS:大型:自主交通系统中心
- 批准号:
1035813 - 财政年份:2010
- 资助金额:
$ 18万 - 项目类别:
Standard Grant
EAGER: Core Capabilities for Smart Cars
EAGER:智能汽车的核心能力
- 批准号:
1035452 - 财政年份:2010
- 资助金额:
$ 18万 - 项目类别:
Standard Grant
National Workshop on High-Confidence Automotive Cyber-Physical Systems. To be Held April 3-4, 2008 in Troy, Michigan.
国家高可信度汽车网络物理系统研讨会。
- 批准号:
0829894 - 财政年份:2008
- 资助金额:
$ 18万 - 项目类别:
Standard Grant
Collaborative Research: CSR-EHCS(CPS), TM: AutoMatrix: Large-scale Test-bed and Real-Time Protocols for Vehicle-to-Vehicle Wireless Networks
合作研究:CSR-EHCS(CPS),TM:AutoMatrix:车对车无线网络的大规模测试平台和实时协议
- 批准号:
0834740 - 财政年份:2008
- 资助金额:
$ 18万 - 项目类别:
Continuing Grant
SGER: Enabling Cyber-Physical Systems
SGER:启用网络物理系统
- 批准号:
0714576 - 财政年份:2007
- 资助金额:
$ 18万 - 项目类别:
Standard Grant
Collaborative Research: CSR-EHS: Real-time Sensor-Actuator Systems for Automation
合作研究:CSR-EHS:自动化实时传感器执行器系统
- 批准号:
0720816 - 财政年份:2007
- 资助金额:
$ 18万 - 项目类别:
Continuing Grant
National Workshop on Cyber-Physical Systems
国家网络物理系统研讨会
- 批准号:
0703283 - 财政年份:2007
- 资助金额:
$ 18万 - 项目类别:
Standard Grant
NSF Planning Meeting for Cyber-Physical Systems
NSF 网络物理系统规划会议
- 批准号:
0643274 - 财政年份:2006
- 资助金额:
$ 18万 - 项目类别:
Standard Grant
相似国自然基金
不同F1小鼠影响EHS生长的研究
- 批准号:
- 批准年份:2024
- 资助金额:0.0 万元
- 项目类别:省市级项目
靶向调控环氧二十碳三烯酸/环氧化物水解酶(EETs/EHs轴延缓IgA肾病进展的作用与机制研究
- 批准号:CSTB2022NSCQ-LZX0027
- 批准年份:2022
- 资助金额:0.0 万元
- 项目类别:省市级项目
EHS3D-MT数据的RRMC统一处理与反演解释
- 批准号:41874087
- 批准年份:2018
- 资助金额:63.0 万元
- 项目类别:面上项目
东喜马拉雅构造结及周围地区深部三维结构与动力学(EHS3D)-第二阶段
- 批准号:41330212
- 批准年份:2013
- 资助金额:315.0 万元
- 项目类别:重点项目
EHS3D-MT数据的静位移校正与畸变分析
- 批准号:40974043
- 批准年份:2009
- 资助金额:56.0 万元
- 项目类别:面上项目
东喜马拉雅构造结及周围地区深部三维结构与动力学(EHS3D)-第一阶段
- 批准号:40634025
- 批准年份:2006
- 资助金额:160.0 万元
- 项目类别:重点项目
相似海外基金
Environmental Health Sciences Research for Indigenous Scholar Engagement (EHS-RISE)
土著学者参与的环境健康科学研究(EHS-RISE)
- 批准号:
10590309 - 财政年份:2023
- 资助金额:
$ 18万 - 项目类别:
Environmental Health Specialists Network (EHS-Net) - Practice Based Research to Improve Food Safety In New York State
环境健康专家网络 (EHS-Net) - 基于实践的研究,以改善纽约州的食品安全
- 批准号:
10438161 - 财政年份:2020
- 资助金额:
$ 18万 - 项目类别:
Environmental Health Specialist Network (EHS-Net) - Practice Based Research to Improve Food Safety
环境健康专家网络 (EHS-Net) - 基于实践的研究,以提高食品安全
- 批准号:
10662443 - 财政年份:2020
- 资助金额:
$ 18万 - 项目类别:
Advancing Resource & Research Opportunities in Environmental HealthSciences (ARRO-EHS)”
推进资源
- 批准号:
10669134 - 财政年份:2020
- 资助金额:
$ 18万 - 项目类别:
Advancing Resource & Research Opportunities in Environmental HealthSciences (ARRO-EHS)”
推进资源
- 批准号:
10474273 - 财政年份:2020
- 资助金额:
$ 18万 - 项目类别:
Environmental Health Specialists Network (EHS-Net) - Practice Based Research to Improve Food Safety In New York State
环境健康专家网络 (EHS-Net) - 基于实践的研究,以改善纽约州的食品安全
- 批准号:
10662419 - 财政年份:2020
- 资助金额:
$ 18万 - 项目类别:
Environmental Health Specialists Network (EHS-Net) - Practice based research to improve food safety
环境健康专家网络 (EHS-Net) - 基于实践的研究,以改善食品安全
- 批准号:
10259652 - 财政年份:2020
- 资助金额:
$ 18万 - 项目类别:
Environmental Health Specialists Network (EHS-Net) - Practice based research to improve food safety
环境健康专家网络 (EHS-Net) - 基于实践的研究,以改善食品安全
- 批准号:
10657528 - 财政年份:2020
- 资助金额:
$ 18万 - 项目类别:
Advancing Resource & Research Opportunities in Environmental Health Sciences (ARRO-EHS)”
推进资源
- 批准号:
10005011 - 财政年份:2020
- 资助金额:
$ 18万 - 项目类别:
Environmental Health Specialist Network (EHS-Net) - Practice Based Research to Improve Food Safety
环境健康专家网络 (EHS-Net) - 基于实践的研究,以提高食品安全
- 批准号:
10438158 - 财政年份:2020
- 资助金额:
$ 18万 - 项目类别: