Model-Driven Analysis&Design of Distributed, Heterogeneous Systems
•
0 likes•57 views
Presentation to the consortium of the ECSEL Fitoptivis project of the Single-Source methodology under development in the ECSEL MegaMart project towards the modeling&design of complex, distributed and heterogeneous systems
Recommended
Recommended
More Related Content
Similar to Model-Driven Analysis&Design of Distributed, Heterogeneous Systems
Similar to Model-Driven Analysis&Design of Distributed, Heterogeneous Systems (20)
Recently uploaded
Recently uploaded (20)
Model-Driven Analysis&Design of Distributed, Heterogeneous Systems
- 1. Model-Driven Analysis and Design of Distributed, Heterogeneous Systems Eugenio Villar University of Cantabria
- 2. Agenda ▪ Introduction ▪ Single-Source Embedded Systems Design ▪ Model-driven Analysis en Design of distributed Systems ▪ Conclusions
- 3. Introduction ▪ Model-Driven Design (MDD) ▪ High-abstraction level ▪ Mature SW engineering methodology ▪ State-of-the-Art ▪ Matlab-Simulink ▪ Proprietary, only one MoC, M language ▪ CoFluent ▪ Proprietary, a few MoCs, C/C++ language ▪ Ptolemy II ▪ Academic, any MoC, C/C++ inside a Java block ▪ …
- 4. Introduction ▪ UML ▪ Standard, any (user-defined) MoC, any language ▪ Natural way to capture system architecture N2 BN1 M A ▪ Semantic lacks ▪ Domain-specific profiles ▪ MetaMorph ▪ Commercial, any (user-defined) MoC, language agnostic ▪ CHESS ▪ Open Source, any (user-defined) MoC, language agnostic
- 5. C/C++,… Autosar RTE UML ES DSLs HTML5,… Java,… Dalvik VM,… UML SmartPhone DSLs Introduction Java,… MPI,… UML DC DSLs ADA,… C/C++,… MCAPI,… UML ES DSLs
- 6. Single-Source Embedded System Design ADA,… C/C++,… MCAPI,… UML MARTE Trust Simulation Verification Performance Analysis PrivacyArchitectural Mapping Security Safety HW Synthesis SW Synthesis
- 7. Model-Driven Analysis of IoE Services ▪ Programming the Internet of Everything ▪ Services provided on computing platforms of many kind
- 8. Model-Driven Analysis of IoE Services ▪ Programming the Internet of Everything ▪ Services provided on computing platforms of many kind C/C++,… Autosar RTE ForTran,… Python,… MPI,… Java,… MPI,… C/C++,… MCAPI,… HTML5,… Java,… Dalvik VM,… UML DC DSLs UML ES DSLs UML SmartPhone DSLs Service UML ES DSLs UML CPSoS DSL
- 9. Model-Driven Analysis of IoE Services ▪ Programming the Internet of Everything ▪ Services provided on computing platforms of many kind HW Synthesis SW Synthesis (RT)OS, Runtime,… Corba, TCP/IP, MPI, MCAPI,… ForTran, Python, Java, HTML5, C/C++,… Concerns Performance, safety, cost, security, size, … Trust Simulation Verification Performance AnalysisPrivacy Optimization Service UML CPSoS DSL Security Safety
- 10. Model-Driven Analysis of IoE Services ▪ UML/MARTE System Modeling Methodology ▪ Platform-Independent ▪ Component-Based ▪ Supporting ▪ Object-Orientation ▪ Actor-Orientation required interface Component 1 Component 3 Component 2 Port 3.1 Port 3.2 Port 2.1Port 2.2 Port 1 provided interface required interface provided interface required interface OO CB AO
- 11. ▪ UML/MARTE System Modeling Methodology ▪ Platform-Independent ▪ Component-Based ▪ Supporting ▪ Object-Orientation ▪ Actor-Orientation ▪ Reusable ▪ Flexible ▪ Analyzable ▪ Security ▪ Reliability ▪ Test ▪ Safety ▪ Privacy, Trust… Model-Driven Analysis of IoE Services
- 12. Model-Driven Analysis of IoE Services ▪ Properties of the Provided Port ▪ NotAttendedService ▪ Retry ▪ Properties of the Interface Methods ▪ concurrency ▪ exekind ▪ syncKind ▪ Properties of the Required Port ▪ queueSize ▪ FullPoolPolicy
- 13. Model-Driven Analysis of IoE Services ▪ Function Call/RPC/RMI ▪ Rendezvous Required Port RtService Provided Port MoCNotAttendedService retry concurrency exekind syncKind queueSize FullPoolPolicy infiniteWait none G or C rem.Im. sync. none none exactly once infiniteWait none G or C rem.Im. async. none none at most once dynamic none G or C rem.Im. sync. none none exactly once dynamic none G or C rem.Im. async. none none at most once timedWait 0 G or C rem.Im. sync. none none exactly once timedWait 0 G or C rem.Im. async. none none at most once timedWait > 0 G or C rem.Im. sync. none none at least once timedWait > 0 G or C rem.Im. async. none none maybe once Required Port RtService Provided Port MoCNotAttendedService retry concurrency exekind syncKind queueSize FullPoolPolicy infiniteWait none G or C rem.Im. rendezvous none none CSP timedWait 0 G or C rem.Im. rendezvous none none RV timedWait > 0 G or C rem.Im. rendezvous none none RV
- 14. Model-Driven Analysis of IoE Services ▪ Data-Flow ▪ Discrete-Event/Time-Triggered/Timed Data-Flow Required Port RtService Provided Port MoCNotAttendedService retry concurrency exekind syncKind queueSize FullPoolPolicy infiniteWait none G or C deferred async. > 0 block KPN/SDF infiniteWait none G or C deferred async. > 0 (any other) DF dynamic none G or C deferred async. > 0 any DF timedWait 0 G or C deferred async. > 0 any DF timedWait > 0 G or C deferred async. > 0 any DF Required Port RtService Provided Port MoCNotAttendedService retry concurrency exekind syncKind queueSize FullPoolPolicy dynamic none G or C rem.Im. async. none none DE/TT/TDF
- 15. Conclusions ▪ The IoE demands new CPSoS design methods and tools ▪ Model-Driven system design is a powerful candidate ▪ A CPSoS system modeling language is required ▪ Supporting Mega-Modeling ▪ Analysis & design of the whole IoE service ▪ Single-Source Approach