内容提要 ·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