Formal specification, monitoring, and verification of vehicle
Formal specification, monitoring, and verification of autonomous vehicles in Isabelle/HOL
eiElektrotechnikundInformationstechnik_EASTADL_DJChen.pdf
Integrated Safety and Architecture Modeling for Automotive Embedded Systems
Deterministic Execution for Arbitrary Multithreaded Programs
Deterministic Execution for Arbitrary Multithreaded Programs
AutoSW_Track2_04.pdf
Fulfilling important ISO 26262 Criteria with innovative Automatic Test-and Verification Technologies
Automotive embedded software design using formal methods
Automotive embedded software design using formal methods Vassil Todorov
2010-04-ASPLOS-DeterministicCompiler.pdf
CoreDet: A Compiler and Runtime System for Deterministic Multithreaded Execution
The Philosophy of Computer Science
The Philosophy of Computer Science (Stanford Encyclopedia of Philosophy).pdf
裘宗燕译：工业开发中的形式化方法：成就、问题和未来（作者 J.-R. Abrial）.pdf
裘宗燕译：工业开发中的形式化方法：成就、问题和未来（作者 J.-R. Abrial）.pdf
Propositional natural deduction COMP2600-COMP6260.pdf
Propositional natural deduction COMP2600-COMP6260.pdf
Meeting the design requirements for Bi-Directional-Capable OBC
Meeting the design requirements for Bi-Directional-Capable OBC
Industrial hardware and software verification with ACL2.pdf
Industrial hardware and software verification with ACL2.pdf
Formal Verification of Automotive Embedded UML Designs
Formal Verification of Automotive Embedded UML Designs
Formal_Verification_of_Automotive_DesignISO_26262
Formal_Verification_of_Automotive_Design_in_Compliance_With_ISO_26262_Design_Verification_Guidelines
MCS783x_FreeBSD_driver_v1.0.0.1.zip
MCS783x_FreeBSD_driver_v1.0.0.1.zip
MethodAndArrangementForControllingTheDriveUnitOfAvehicle.pdf
F. Bederna and T. Zeller. United States Patent No. 5,880,568: Method and arrangement for controlling the drive unit of a vehicle, March 1999.
AnAutomotiveOn-Board3.3kWBatteryChargerforPHEVApplication_.pdf
Gautam, Deepak, Fariborz Musavi, Murray Edington, Wilson Eberle and William G. Dunford.
“An Automotive On-Board 3.3 kW Battery
Charger for PHEV Application.” IEEE Transactions
on Vehicular Technology (61) 8, October 2012:
3466-3474.
TC277_FreeRTOS_Pub.zip
TC277_FreeRTOS_Pub.zip
HowToAchieveFunctionalSafetyInSafetyCriticalEmbeddedSystems.mp4
How To Achieve Functional Safety In Safety Critical Embedded Systems
深圳市住宅小区二手住房成交参考价格表.pdf
深圳市住宅小区二手住房成交参考价格表.pdf
MultiCAN – a step to CAN and TTCAN.pdf
MultiCAN is a new CAN module, which is building up a bridge between TTCAN level 1
& 2 and normal CAN network.
tricore_llvm.pdf
Design and Implementation of a TriCore Backend for the LLVM Compiler Framework
cadence skill.exe a kind of scheme/lisp interpreter
之前提交的不能用，重新提交一个。
之前提交的地址：http://download.csdn.net/download/jiankangshiye/3190855
PL2303_Prolific_Driver
PL2303_Prolific_DriverInstaller_v1170.zip
经过测试在VirtualBox/Windows中工作正常， 该驱动比FreeBSD自带的Prolific驱动效果好，FreeBSD自带的Prolific驱动经常出现乱码。
LCD液晶显示原理
LCD液晶显示原理，英文版本的，NXP出土的，详细讲解了LCD显示技术，LCD数据格式，LCD信号，LCD frame buffer设置，LCD控制器选择
Visual C++ 2008 setup.exe
Visual C++ 2008 setup.exe
是Visual C++ 2008 Express版本，安装需要联网，从微软下载安装包，
需要有微软帐号进行注册，不许要破解，该软件为免费软件。
《系统程序员成长计划》(李先静).扫描版
《系统程序员成长计划》(李先静).扫描版.pdf
是扫描版本的pdf，若喜欢，请购买纸质书籍，谢谢
NAND_Flash_Interface_DF.zip
NAND_Flash_Interface_DF.zip
nand flash软件开发实例,芯片为MT29F2G08AADWP
配合有
Actel M1AGL600V2-484FBGA IGLOO device
Actel Core8051
nand flash驱动编程很好的学习模版,如果你手头上刚好有哥哥
MT29F2G08AADWP那就更好了
STM32F103ZE.jflash
STM32F103ZE.jflash, 在jflash中使用的项目文件, 为STM32F103ZE芯片服务的
skyeye 1.26 windows
skyeye 1.26 windows 中国人开发的开源虚拟软件
解压后放到一个PATH所在的目录里,在cmd下使用,我是咋mingw下使用的, 学习leeos用的,有问题可以群里讨论.
QQ群: 113 148 289
qextserialport-1.2win-alpha_Qt_5_0_2
qextserialport-1.2win-alpha_Qt_5_0_2编译问题及解决方法,压缩包为编译成功后的文件包
1 'class QString' has no member named 'toAscii'
toAscii 替换为 toLatin1
2 错误:undefined reference to `GUID_DEVINTERFACE_COMPORT'
#include <ntddser.h>
在文件qextserialenumerator.cpp中添加上面这个头文件引用语句
3 错误:'PHYSICAL_ADDRESS' does not name a type
#undef PHYSICAL_ADDRESS
#define PHYSICAL_ADDRESS LARGE_INTEGER
添加上面两行到文件ntddser.h中
4 错误:undefined reference to `GUID_DEVINTERFACE_COMPORT'
#include <ntddser.h>
在文件qextserialenumerator.cpp中将这个头文件引用位置放在另一个
头文件#include <initguid.h>引用的下方, 这个错误是头文件引用顺序
不对导致的.
windows XP超级终端
windows XP超级终端
1 下载windows XP超级终端程序的两个文件 hypertrm.dll 和 hypertrm.exe
2 将这两个文件复制到C:\Windows\system32里面
3 启动 hypertrm.exe, 做一个简单的COM口配置, 设置波特率,校验位等串口通讯的参数即可使用.
RSS订阅
2977
