Automotive equipment; Computer aided engineering (CAE); Computer programs; Electronic control units; Rapid prototyping; Software;
机译:使用OSEK / VDX操作系统的正式行为模式的可配置V&V框架
机译:嵌入式操作系统的分析:Windows CE,Linux,VxWorks,UC / OS-II和OSEK / VDX
机译:用于汽车安全分析的基于OSEK / VDX的操作系统的模型检查
机译:完整的OSEK开发平台:自动OSEK代码生成,OSEK操作系统和工具开发平台
机译:以平台为中心的UML // XML增强的硬件/软件代码签名方法,用于开发SoC系统。
机译:评估早期儿童认知发展的新型数字工具的协会对印度农村的增长:概念研究证明电子平台(深层)的发展评估
机译:3将simulink连接到OsEK:使用TargetLink为实时操作系统自动生成代码
机译:使用OsEK进行实时应用程序开发:OsEK标准的回顾