A verified platform for a gate-level electronic control unit

机译：门级电子控制单元的经过验证的平台

获取原文

页面导航

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

摘要

We present the formal integration of an automotive bus controller into a formally verified gate-level computer system. This system consists of a complex processor and generic devices which run in parallel. The system specification is an instruction set architecture with concurrently running visible devices. The built system is an electronic control unit which is the base element for a distributed automotive system and its size on an FPGA is ca. 5M gate equivalents.

机译：我们目前将汽车总线控制器正式集成到经过正式验证的门级计算机系统中。该系统由复杂的处理器和并行运行的通用设备组成。系统规范是具有同时运行的可见设备的指令集体系结构。内置系统是一个电子控制单元，它是分布式汽车系统的基本元素，在FPGA上的大小约为。 5M门等效。

著录项

来源
《Formal Methods in Computer-Aided Design, 2009. FMCAD 2009》|2009年|164-171|共8页
会议地点 Austin TX(US);Austin TX(US)
作者
Tverdyshev Sergey;
展开▼
作者单位

Saarland University, Dept. of Computer Science, 66123 SaarbrÃ¼cken, Germany;

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

相似文献

外文文献
中文文献
专利

1. Experimental Verification of Pseudo-Differential Electronically Controllable Multifunction Filter Using Modified Current Differencing/Summing Units [J] . Jerabek Jan, Dvorak Jan, Sotner Roman, Journal of circuits, systems and computers . 2019,第6期

机译：伪差分电子可控多功能滤波器使用改进的电流差/求和单元的实验验证
2. Experimental Verification of Pseudo-Differential Electronically Controllable Multifunction Filter Using Modified Current Differencing/Summing Units [J] . Jerabek Jan, Dvorak Jan, Sotner Roman, Journal of circuits, systems and computers . 2019,第6期

机译：经修改电流差分/求和单元的伪微分电子可控多功能滤波器的实验验证
3. Progress of Demonstration Fast Reactor Regarding DCS Design and Verification Platform and Main Process Coordination Control System Verification Platform [J] . YIN Kai, FAN Hui, ZHANG Weiying 中国原子能科学研究院年报：英文版 . 2017,第001期

机译：DCS设计验证平台和主过程协调控制系统验证平台示范快堆研究进展
4. A Verified Platform for a Gate-Level Electronic Control Unit [C] . Sergey Tverdyshev Conference on Formal Methods in Computer-Aided Design . 2009

机译：门级电子控制单元的验证平台
5. Information-Flow Control in Modern App Platforms: Modeling, Formal Verification, and Controlled Declassification [D] . Aljuraidan, Jassim M. 2018

机译：现代应用平台中的信息流控制：建模，正式验证和控制的解密
6. An Interoperability Platform Enabling Reuse of Electronic Health Records for Signal Verification Studies [O] . Mustafa Yuksel, Suat Gonul, Gokce Banu Laleci Erturkmen, 2006

机译：一个互操作性平台，可重复使用电子病历进行信号验证研究
7. Development of the Logging System for LKAS Electronic Control Unit Algorithm Verification [O] . Hyoung-Keun Park 2016

机译：LKAS电子控制单元算法验证的测井系统的开发
8. Gate-Level Commercial Microelectronics Verification with Standard Cell Recognition. [R] . Hsia, L. A. 2015

机译：具有标准单元识别的门级商用微电子器件验证。

A verified platform for a gate-level electronic control unit

摘要

著录项

相似文献

相关主题

期刊订阅