欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/Lisp
Automotive Grade Linux
来自开放百科 - 灰狐
Automotive Grade Linux(AGL) 是 Linux基金会发布的开源Linux车载系统，AGL 基于 Tizen 构建。
目录 |
简介
功能
- 主界面（Home Screen）
- 仪表板（Dashboard）
- 谷歌地图（Google Maps）
- 空调系统（HVAC）
- 媒体播放（Media Playback）
- 新闻阅读器（News Reader(AppCarousel)）
- 音频控制器（Audio Controls）
- 蓝牙电话（Bluetooth Phone）
- 智能设备连接集成（Smart Device Link Integration）
每个组件都包含一个详细的设计需求文档(DRD)，使用案例、HMI flows、图形化资源和架构图等等。
规范
版本
汽车
文档
图集
AGL治理
系统架构
AGL和GENIVI
AGL Distro
HomeScreen
HVAC
Phone
Dashboard
Settings
Qt汽车套件
链接
分享您的观点
