Making Things Easy and Predictable ,⑧ CASE Tool Model Checking Code Generation Requirements Manag. Common Repository Analyze Build Code Validate Requirem &Verify Design Integration of V&V Information Reliability Analysis Schedulability Analysis WCET Analysis Performance Simulation A Framework of Collaborative Environments,from SPEC to Implementation
Making Things Easy and Predictable A Framework of Collaborative Environments,from SPEC to Implementation
大纲 ·课程简介 ·教材选择 Computer ·教学计划 ·成绩考核 sclence ·学习方法 Learn to do Learn to be Learn to be with others -Learn to learn
大纲 • 课程简介 • 教材选择 • 教学计划 • 成绩考核 • 学习方法 – Learn to do – Learn to be – Learn to be with others – Learn to learn
计算机是什么? e》 KCOMP2 Cakulater Demn▣回x -58.2 Ac sin cos tan deg 算盘=计算器≠计算机? Tiny?
计算机是什么? 算盘 = 计算器 ≠ 计算机? Tiny ?
程序如何执行的?用到哪些设备 *-sUm.c--*/ 数据的表示 int sum(int a[]unsigned len) 数据的运算 { 各类语句的转换与表示(指令) int i,sum =0; 各类复杂数据类型的转换表示 for (i=0;i<=len-1;++) 过程(函数)调用的转换表示 sum +a[i]; Microsoft Visual C++ X return sum; } Unhandled exception in Test.exe:0xC0000005:Access Violation. /*-main.c--*/ int main() { 确定 inta[1]s00好 int s; 链接(linker)和加载 s=sum(a,0); 程序执行(存储器访问) printf("%d",s); 异常和中断处理 } 输入输出(VO) C语言计算机?
程序如何执行的?用到哪些设备? • C语言计算机?
何时可以执行你的C程序? Exposed Pre Platform Verifier Interfoce OS-Absent ApP CPU Init Q Transient OS Chipset Init Device. Environment Bus,or Board Service Driver Transient OS Init Boot Loader EFI Driver Boot OS-Present Dispatcher Manager App 0 Intrinsic Services Final OS Final OS Boot Loader Environment security Security Pre EFI Driver Boot Transient Run Time After (SEC) Initialization Execution Dev System Load (RT) Life (PEI) Environment Select (TSL) (AL) (DXE) (BDS)】 Power on→【.Platform initialization.,】 【..0 S boot...j B10S之家 www.bios.net.cn
何时可以执行你的 C程序?