中围种学技本大学 RTE设计方法之CBD与MBD 李曦 llxx@ustc.edu.cn 计算机系、计算机应用研究室
RTE设计方法之CBD与MBD 李曦 llxx@ustc.edu.cn 计算机系、计算机应用研究室
Developers/ Customers Integrators 内容提要 Project Managers Complexity Challenge -CBD:分治，结构 Vendors -MBD:抽象，方法 Regulators Testers ·Integrate Models to DESIGN-BUILD-VALIDATE-VERIFY o Domain Specific Modeling Languages -Specification languages -UML DOING HARD TIME DEVELOPING REAL-TIVE Modeling and MARTE 22 S1T婚国L,OC我 Analysis of FRUMEWORKS AND PATTERNS Real-Time and Embedded Systems with SCE POWELDOLOLAS -AADL UML and MARTE Bran Sebe MK
内容提要 • Complexity Challenge – CBD：分治，结构 – MBD：抽象，方法 • Integrate Models to DESIGN-BUILD-VALIDATE-VERIFY 2/71 DESIGN-BUILD-VALIDATE-VERIFY • Domain Specific Modeling Languages – Specification languages – UML – MARTE – AADL
Component Based Development 。 Reuse:TTM,Cost,Quality Identify needed Components are boxes with interfaces components A component is a hw/sw unit that accepts input messages,provides a useful service and Make itera- Search for produces output messages containing the tion N+1 of components results after some elapsed physical time. the system in library 一 ports:Control,Data,Resources Connections establish control and data flows Save new Extract Synchronous or asynchronous communication components found in library components Immediate and delayed connections - distributed Build Properties of a good Component not-found components Well-specified service Encapsulation (hiding internal structure) Well-defined interface Unique ldentification Known Quality llxx@ustc.edu.cn 3/71
Component Based Development • Reuse：TTM，Cost，Quality • Components are boxes with interfaces – A component is a hw/sw unit that accepts input messages, provides a useful service and produces output messages containing the results after some elapsed physical time. – ports: Control，Data，Resources • Connections establish control and data flows llxx@ustc.edu.cn 3/71 – Synchronous or asynchronous communication – Immediate and delayed connections – distributed • Properties of a good Component – Well-specified service – Encapsulation (hiding internal structure) – Well-defined interface – Unique Identification – Known Quality
CBD体系结构 可重用性 Computational Computational Computational Object Object Object reusability Computational ● 可替代性 Computational Object Object - Substitutability Computation/Communication Layer 可扩展性 Refinement - Extensibility Implementation Implementation Computational Computational 可组合性 Platform Communication Platform Platform composability Platform Layer Physical Physical Physical Object Object Object System Glue code Components Cyber-Physical Object Cyber-Physical Object Physical Layer Computational Interaction Physical Interaction llxx@ustc.edu.cn 4/71
CBD体系结构 • 可重用性 – reusability • 可替代性 – Substitutability • 可扩展性 – Extensibility • 可组合性 – composability llxx@ustc.edu.cn 4/71
Model Based Design system-level modeling cosimulation. symbolic imperative FSM dataflow discrete event synthesis partitioning software ASIC logic compiler synthesis synthesis synthesis execution execution ASIC logic model model model model cosimulation detail modeling and simulation llxx@ustc.edu.cn From Lee(Berkeley) 5/71
Model Based Design llxx@ustc.edu.cn 5/71 From Lee (Berkeley)