中围种学技术大学 RTE规范与建模方法之 Domain Specific Modeling Languages 李曦 llxx@ustc.edu.cn 计算机系、计算机应用研究室
RTE规范与建模方法之 Domain Specific Modeling Languages 李曦 llxx@ustc.edu.cn 计算机系、计算机应用研究室
Distributed Car Systems Arch. Mobile Communications Navigation Information Systems MOST DAB Access to Firewire Www Fire Wall Theft warning Air Body Electronics Apog Conditioning CAN Door Module Lin Light Module Gate 园 Way ABS CAN TTCAN Shift by Engine Wire Management System Gate Electronics Way 3ned Steer by Brake Wire by Wire FlexRay
Distributed Car Systems Arch
“Y-Chart”Approach for Model--Based Analysis Applications,Platform,Allocation Application Platform Model Model Applic.Constraints Resources QoS .Environment Params .Capacity,speed.etc. .Quality Requirements Reliability(avallabillty .Design Constraints fault tolerance,etc.) Allocation Alloc.Information put Files for .Applic.to Platform Analysis mapping .Allocation-specific properties Analysis Tools Analysis Results Specification of Non-Functional Properties! Generated Code
“Y-Chart” Approach for Model-Based Analysis • Applications，Platform，Allocation
RTES系统设计过程：top-down V&V,Analysis! Ma Spunous Spurous Requirement Specification Validation or ed nto chios to extra过 Counterexample RA tched aith targn8g99 Control Design FD Functional Software Architecture HW Arch.Design HW Pwr/ Mod/Sim w、旦 Perf Est MC Somponent Design Arch Mod/Sim VPro VPal CD Param Code Gen. Verif. Latency/RT Analysis Alloc./Sched. DPL Analysis 5W Deployment
RTES系统设计过程: top-down V & V，Analysis！！！
内容提要 ·RTE系统体系结构建模、验证、分析 Domain Specific Modeling Languages ·MARTE@inria,工具Papyrus-+MAST,2008OMG标准 Modeling and Analysis of RT and Embedded systems UML:Specification languages 入式系统设计一入式 然息物理系陆 ·AADL@SEI,OSATE+Cheddar.,2004SAE标准AS5506 二 Architectural Analysis and Design Language -Autosar方法：汽车电子(ECU) ·Peter Marwedel,TU Dortmund教授 -《嵌入式系统设计·嵌入式CPS系统基础》，第2版2011 -第2.10节：UML ·Bran Selic,资深工程师@ibm.ca Modeling and Analysis of Real-Time and Embedded Systems with UML and MARTE: Model-Based Developing Cyber-Physical Systems,2014 ·Peter H.Feiler,CMU教授 Model-Based Engineering with AADL,2012 5/71
内容提要 • RTE系统体系结构建模、验证、分析 – Domain Specific Modeling Languages • MARTE@inria，工具Papyrus+MAST，2008 OMG标准 – Modeling and Analysis of RT and Embedded systems – UML：Specification languages • AADL@SEI，OSATE+Cheddar，2004 SAE标准AS5506 5/71 – Architectural Analysis and Design Language – Autosar方法：汽车电子（ECU） • Peter Marwedel，TU Dortmund教授 – 《嵌入式系统设计·嵌入式CPS系统基础》，第2版2011 – 第2.10节：UML • Bran Selic，资深工程师@ibm.ca – Modeling and Analysis of Real-Time and Embedded Systems with UML and MARTE: Developing Cyber-Physical Systems，2014 • Peter H. Feiler，CMU教授 – Model-Based Engineering with AADL，2012