相关实验视频
Updated: Jan 9, 2026

A Rapid Method for Modeling a Variable Cycle Engine
Published on: August 13, 2019
一个混合建模框架,用于实时设计和验证安全关键的嵌入式系统
Misbah Mehboob Awan1, Muhammad Waseem Anwar1, Wasi Haider Butt1
1Department of Computer and Software Engineering, College of Electrical and Mechanical Engineering, National University of Sciences and Technology (NUST), Islamabad, Pakistan.
本研究引入了一种用于跨各种嵌入式系统设计符号的自动同步的新框架. 它大大减少了手工劳动,提高了开发安全关键系统的可靠性.
科学领域:
- 计算机科学 计算机科学
- 软件工程 软件工程 软件工程
- 正式方法 正式方法
背景情况:
- 嵌入式系统需要多个表示 (例如C,SystemVerilog,Timed Automata) 来进行设计和验证.
- 这些符号之间的手动同步容易出现错误,并妨碍生产力.
- 现有的工具缺乏统一的自动化机制,用于跨异质符号的语义一致性.
研究的目的:
- 介绍一个可扩展的混合建模框架,用于自动化跨多种符号的同步.
- 为了实现嵌入式系统的无,符号无关的设计流.
- 提高安全关键系统的可靠性,缩短安全关键系统的上市时间.
主要方法:
- 使用双向转换来实现自动同步.
- 开发了一个支持C,SystemVerilog,Timed Automata和域特定语言的符号不可知框架.
- 通过工业案例研究验证 (通风机,巡航控制系统).
主要成果:
- 实现了高的往返转换精度,信息损失最小.
- 证明了低的转换延迟和适度的内存消耗.
- 框架支持从任何支持的符号开始开发.
结论:
- 该框架自动化了同步,减少了人工工程工作.
- 它提高了嵌入式系统设计和验证的可靠性和灵活性.
- 为标准化模型到代码和代码到代码转换奠定了基础.
更多相关视频
05:47Simulation of a Scaled Assembly Process with Collaboration of a Robotic Arm and Monitoring through a Vision System for Quality Control
Published on: August 29, 2025
08:35Interactive and Visualized Online Experimentation System for Engineering Education and Research
Published on: November 24, 2021
相关概念视频
Block Diagram Reduction
The first step in this process is the identification and relocation of a branch point. A branch point, where a...
Virtual Work for a System of Connected Rigid Bodies
Next,...
Control Systems: Applications
In modern vehicles, control systems manage various functions to enhance performance and safety. The steering wheel and accelerator are primary inputs in a car's control system. The...
Modeling and Similitude
Electro-mechanical Systems
A key component of the DC motor is the armature, a rotating circuit positioned within a magnetic field. As an electric current passes through the...
Design Example: Automobile Ignition System
One can generate a large voltage using a car battery of 12 volts with the help of inductors. Inductors are known for opposing...