期刊
PROCEEDINGS OF THE IEEE
卷 100, 期 1, 页码 13-28出版社
IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC
DOI: 10.1109/JPROC.2011.2160929
关键词
Computers and information processing; computer simulation; continuous time systems; discrete time systems; embedded software; modeling; simulation; software; system analysis and design; systems engineering and theory; time factors
资金
- Center for Hybrid and Embedded Software Systems (CHESS), University of California Berkeley
- National Science Foundation [NSF] [0720882, 0931843, 1035672]
- U.S. Army Research Office (ARO) [W911NF-07-2-0019]
- U.S. Air Force Office of Scientific Research (MURI) [FA9550-06-0312]
- Multiscale Systems Center (MuSyC)
- Semiconductor Research Corporation
- Bosch
- National Instruments
- Thales
- Toyota
- Focus Center
- Direct For Computer & Info Scie & Enginr [1035672] Funding Source: National Science Foundation
- Direct For Computer & Info Scie & Enginr
- Division Of Computer and Network Systems [0931843] Funding Source: National Science Foundation
- Division Of Computer and Network Systems [1035672] Funding Source: National Science Foundation
This paper focuses on the challenges of modeling cyber-physical systems (CPSs) that arise from the intrinsic heterogeneity, concurrency, and sensitivity to timing of such systems. It uses a portion of an aircraft vehicle management system (VMS), specifically the fuel management subsystem, to illustrate the challenges, and then discusses technologies that at least partially address the challenges. Specific technologies described include hybrid system modeling and simulation, concurrent and heterogeneous models of computation, the use of domain-specific ontologies to enhance modularity, and the joint modeling of functionality and implementation architectures.
作者
我是这篇论文的作者
点击您的名字以认领此论文并将其添加到您的个人资料中。
推荐
暂无数据