Needs for Model-Based RTES Analysis Design-Oriented Analysis-Oriented Models Models Semantic (code generation,...) (formal models) mismatch Model Editors Schedulability Analysis o-a5h /b How to specify unambiguous 50 Trade-offs between non-functional Power Analysis different parameters? Information? Data-flow,Components, Classes,State-Charts,... Hollstic models,RMA- based,queuing theory
Needs for Model-Based RTES Analysis
Need for Design-Analysis Integration Behavior coverage Industry View (Trade-off Problem) Farmal Verinc Time-to-Market delays Profit Dependability Analysis Simulation Modulee I Subeyeteme Syeteme Design Size Industry Response(Dcoignor Analyst Problem) Designers do Analysis Experience Model-Driven analyses lack Engineering Most uonoensqe Time for Analyses Designers Research Solution Domain Desicn-Analysis Analyzable Design Models Specific Integration Languages E I
Need for Design-Analysis Integration
“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
Collaborative Environments CASE Tool Model Checking Code Generation Requirements Manag. Common Repository Analyze Build Code Requirem. Validate Verify Design Integration of V&V Information Reliability Analysis Schedulability Analysis WCET Analysis Performance Simulation
Collaborative Environments
UML (Unified Modeling Language) ·统一建模语言是可视化的设计说明语言 -统一了Booch、Rumbaugh和Jacobson的表示方法 ·Booch的描述对象集合和它们之间的关系的方法 ·Rumbaugh的对象建模技术(OMT) ·Jacobson的用例方法 一统一描述系统的硬件和软件，对系统的功能建模 -可自动产生实际设计的HDL或C++代码 I-Logix公司的Rhapsody系列产品 一用于建立软件系统模型，也可以描述非软件系统 ·机械系统，企业机构，业务过程，信息系统 ·NASA火星探路者：运用Rhapsody在VxWorks.上开发 一通过表达系统的需求使软件系统的模型文档化 llxx@ustc.edu.cn 10/112
UML(Unified Modeling Language) • 统一建模语言是可视化的设计说明语言 – 统一了Booch、Rumbaugh和Jacobson的表示方法 • Booch的描述对象集合和它们之间的关系的方法 • Rumbaugh的对象建模技术（OMT） • Jacobson的用例方法 – 统一描述系统的硬件和软件，对系统的功能建模 llxx@ustc.edu.cn 10/112 – 可自动产生实际设计的HDL或C++代码 • I-Logix公司的Rhapsody系列产品 – 用于建立软件系统模型，也可以描述非软件系统 • 机械系统,企业机构,业务过程,信息系统 • NASA火星探路者：运用Rhapsody在VxWorks上开发 – 通过表达系统的需求使软件系统的模型文档化