SlideShare a Scribd company logo
Towards a metamodel for the 
Rubus Component Model 
Alessio Bucaioni, Antonio Cicchetti and Mikael Sjödin 
Arcticus Systems
Motivations (i) 
past present 
More than: 
70 embedded systems 
100s ECUs 
100 million lines of code
Motivations (i) 
Complex = distributed + embedded + real time + safety critical
Motivations (ii) 
SEAMLESS SOFTWARE DEVELOPMENT CHAIN 
time-to-market 
development costs
CBSE 
Develops the system at higher level of 
abstraction 
Promotes the re-use of components 
Annotates components, at design time, 
with real-time properties and constraints 
Enables pre-run-time analysis, e.g., end-to- 
end response time and delay analysis
EAST-ADL based development approach 
Vehicle level 
Analysis level 
Design level 
Standardized the terminology 
Promoted separation of concerns (top-down) 
Makes use of CMs at the implementation level 
Implementation level AUTOSAR, RCM
EAST-ADL 
Vehicle level 
Analysis level 
Design level 
Standardized the terminology 
Promoted separation of concerns (top-down) 
What about the seamless development chain? 
(Interoperability, Information management and Traceability) 
Makes use of CMs at the implementation level 
Implementation level AUTOSAR
Intuition (i) 
exploit the crossplay of MDE and CBSE for realizing 
a seamless chain for modeling software for vehicular 
embedded systems
Intuition (ii) 
metamodels definition 
of all the technologies used along the 
software development 
1
Intuition (ii) 
RCM 
metamodel 
metamodels definition 
of all the technologies used along the 
software development 
1
Intuition (ii) 
RCM 
metamodel 
metamodels definition 
of all the technologies used along the 
software development 
1 
model transformations 
2among those technologies
Intuition (ii) 
RCM 
metamodel 
RCM2AUTOSAR 
transformation 
metamodels definition 
of all the technologies used along the 
software development 
1 
model transformations 
2among those technologies
Background – RUBUS Concept 
Based around the RCM and Rubus-ICE 
Collection of methods, theories and 
tools for component based 
development of resource-constrained 
embedded real-time systems. 
Rubus 
Analysis 
Framework 
Rubus Code 
Generator 
and Run-Time 
System 
Rubus 
SIMulation Model 
(RSIM) 
Rubus 
Execution 
Platform
Background – RCM 
Fig.1. Single-node real time system
RCM metamodel (i) 
68 Eclass(es) 
realized in Ecore 81 Ereference(s)
RCM metamodel (ii) 
Fig.2. Metamodel backbone fragment
RCM metamodel (iii) 
Fig.3. Metamodel data elements fragment
RCM metamodel (iv) 
Fig.4. Metamodel control elements fragment
RCM2AUTOSAR transformation (i) 
1: new VirtualFunctionBus V FB;! 
2: for each Circuit c in a Target t do! 
3: ! !switch c:name do! 
4: ! ! !case (1) //c.name ends in Sensor! 
5: ! ! ! !new SensorSoftwareComponent sc;! 
6: ! ! ! !sc:name = c:name;! 
7: ! ! !case (2) //c.name ends in Actuator! 
8: ! ! ! !new ActuatorSoftwareComponent sc;! 
9: ! ! ! !sc:name = c:name;! 
10: ! !case (default)! 
11:! ! ! !new SoftwareComponent sc;! 
12: ! ! !sc:name = c:name;! 
13: !for each Interface i in c do! 
14: ! !for each PortDataIn di in i do! 
15: ! ! !new RequiredPortClientServer rp;! 
16:! ! ! !rp:name = di:name;! 
17: ! !end for! 
18: ! !for each PortDataOut do in i do! 
19: ! ! !new ProvidedPortClientServer pp;! 
20: ! ! !pp:name = do:name;! 
21: ! ! !pp:receiver = do:dataOutToDataIn;! 
22: ! !end for! 
23: !end for! 
24: end for!
RCM2AUTOSAR transformation (ii) 
Fig.5. RCM model serialization 
Fig.6. AUTOSAR model serialization
Conclusions 
We proposed the adoption of a methodology exploiting the crossplay 
of MDE and CBSE and took initial steps towards the realization of the 
aforesaid chain. We: 
motivated the usage of RCM within the vehicular domain 
formalized a metamodel based on RCM 
presented the RCM2AUTOSAR model transformation 
The metamodel serves as base for embracing the MDE vision, but it also 
aims in restoring the separation of concerns lost during the evolution of 
RCM 
The RCM2AUTOSAR transformation outlines the potential benefits 
gained in having a proper metamodel for RCM, in terms of automation, 
interoperability and traceability
Future works 
Investigate further metamodel refinements 
targeting the enhancement of vehicular tool 
chaining while preserving the current 
expressive power 
Identify additional languages used along 
the software development with the aim of 
formalizing their metamodels and hence 
enable model transformations for 
supporting a more extensive tool chain
Thank you ! …questions?
Background – EAST-ADL 
Vehicle level 
Analysis level 
Design level 
Implementation 
level 
What the system is supposed to do. 
Feature models, requirements. 
Formal notations. 
Behaviors and interfaces. 
Software, middleware abstraction and hardware 
architecture. Software functions to hardware 
allocation is expressed. 
Complete software architecture used for the code 
synthesis. AUTOSAR, RCM.
Related works - AUTOSAR 
Software Components (SWCs) and Virtual Function Bus (VFB) 
VFB handles the virtual integration and communication hiding details 
No 
ability to specify and handle detailed timing information at design time 
distinction between data and control flow 
distinction between inter and intra node communication
Related works – TIMMO and TIMMO-2-USE 
TIMMO 
tries to provide a timing model to AUTOSAR 
defines a language, TADL, for expressing timing requirements and 
constraints. 
has no concrete industrial implementation 
TIMMO-2-USE 
follows-up on the TIMMO project 
redefines TADL 
There is no focus in these initiatives on how to extract low level and timing 
information from the model or perform timing analysis or synthesize the 
run-time framework

More Related Content

Similar to Towards a metamodel for the Rubus Component Model

SMI_SNUG_paper_v10
SMI_SNUG_paper_v10SMI_SNUG_paper_v10
SMI_SNUG_paper_v10
Igor Lesik
 
A Software Factory Integrating Rational & WebSphere Tools
A Software Factory Integrating Rational & WebSphere ToolsA Software Factory Integrating Rational & WebSphere Tools
A Software Factory Integrating Rational & WebSphere Tools
ghodgkinson
 
RTI-CODES+ISSS-2012-Submission-1
RTI-CODES+ISSS-2012-Submission-1RTI-CODES+ISSS-2012-Submission-1
RTI-CODES+ISSS-2012-Submission-1
Serge Amougou
 
ERTS_Unit 1_PPT.pdf
ERTS_Unit 1_PPT.pdfERTS_Unit 1_PPT.pdf
ERTS_Unit 1_PPT.pdf
VinothkumarUruman1
 
Cisco project ideas
Cisco   project ideasCisco   project ideas
Cisco project ideas
VIT University
 
VenutoResume
VenutoResumeVenutoResume
VenutoResume
Tony Venuto
 
HOMOGENEOUS MULTISTAGE ARCHITECTURE FOR REAL-TIME IMAGE PROCESSING
HOMOGENEOUS MULTISTAGE ARCHITECTURE FOR REAL-TIME IMAGE PROCESSINGHOMOGENEOUS MULTISTAGE ARCHITECTURE FOR REAL-TIME IMAGE PROCESSING
HOMOGENEOUS MULTISTAGE ARCHITECTURE FOR REAL-TIME IMAGE PROCESSING
cscpconf
 
System on Chip Design and Modelling Dr. David J Greaves
System on Chip Design and Modelling   Dr. David J GreavesSystem on Chip Design and Modelling   Dr. David J Greaves
System on Chip Design and Modelling Dr. David J Greaves
Satya Harish
 
Embeded detail syllabus
Embeded  detail syllabusEmbeded  detail syllabus
Embeded detail syllabus
anilzeal1920
 
Thesis_Final
Thesis_FinalThesis_Final
Thesis_Final
Rob Walstrom
 
PHP modernization approach generating KDM models from PHP legacy code
PHP modernization approach generating KDM models from PHP legacy codePHP modernization approach generating KDM models from PHP legacy code
PHP modernization approach generating KDM models from PHP legacy code
journalBEEI
 
A tlm based platform to specify and verify component-based real-time systems
A tlm based platform to specify and verify component-based real-time systemsA tlm based platform to specify and verify component-based real-time systems
A tlm based platform to specify and verify component-based real-time systems
ijseajournal
 
Performance from Architecture: Comparing a RISC and a CISC with Similar Hardw...
Performance from Architecture: Comparing a RISC and a CISC with Similar Hardw...Performance from Architecture: Comparing a RISC and a CISC with Similar Hardw...
Performance from Architecture: Comparing a RISC and a CISC with Similar Hardw...
Dileep Bhandarkar
 
Automated Formal Verification of SystemC/C++ High-Level Synthesis Models
Automated Formal Verification of SystemC/C++ High-Level Synthesis ModelsAutomated Formal Verification of SystemC/C++ High-Level Synthesis Models
Automated Formal Verification of SystemC/C++ High-Level Synthesis Models
Sergio Marchese
 
Scalable constrained spectral clustering
Scalable constrained spectral clusteringScalable constrained spectral clustering
Scalable constrained spectral clustering
Nishanth Harapanahalli
 
Es 2 mark
Es 2 markEs 2 mark
Es 2 mark
erchandru
 
An Optimising Compiler For Generated Tiny Virtual Machines
An Optimising Compiler For Generated Tiny Virtual MachinesAn Optimising Compiler For Generated Tiny Virtual Machines
An Optimising Compiler For Generated Tiny Virtual Machines
Leslie Schulte
 
Limited Budget but Effective End to End MLOps Practices (Machine Learning Mod...
Limited Budget but Effective End to End MLOps Practices (Machine Learning Mod...Limited Budget but Effective End to End MLOps Practices (Machine Learning Mod...
Limited Budget but Effective End to End MLOps Practices (Machine Learning Mod...
IRJET Journal
 
William Impey CV
William Impey CVWilliam Impey CV
William Impey CV
Will Impey
 
Application of SHAPE Technologies in Production and Process Optimization
Application of SHAPE Technologies in Production and Process OptimizationApplication of SHAPE Technologies in Production and Process Optimization
Application of SHAPE Technologies in Production and Process Optimization
Brian Elvesæter
 

Similar to Towards a metamodel for the Rubus Component Model (20)

SMI_SNUG_paper_v10
SMI_SNUG_paper_v10SMI_SNUG_paper_v10
SMI_SNUG_paper_v10
 
A Software Factory Integrating Rational & WebSphere Tools
A Software Factory Integrating Rational & WebSphere ToolsA Software Factory Integrating Rational & WebSphere Tools
A Software Factory Integrating Rational & WebSphere Tools
 
RTI-CODES+ISSS-2012-Submission-1
RTI-CODES+ISSS-2012-Submission-1RTI-CODES+ISSS-2012-Submission-1
RTI-CODES+ISSS-2012-Submission-1
 
ERTS_Unit 1_PPT.pdf
ERTS_Unit 1_PPT.pdfERTS_Unit 1_PPT.pdf
ERTS_Unit 1_PPT.pdf
 
Cisco project ideas
Cisco   project ideasCisco   project ideas
Cisco project ideas
 
VenutoResume
VenutoResumeVenutoResume
VenutoResume
 
HOMOGENEOUS MULTISTAGE ARCHITECTURE FOR REAL-TIME IMAGE PROCESSING
HOMOGENEOUS MULTISTAGE ARCHITECTURE FOR REAL-TIME IMAGE PROCESSINGHOMOGENEOUS MULTISTAGE ARCHITECTURE FOR REAL-TIME IMAGE PROCESSING
HOMOGENEOUS MULTISTAGE ARCHITECTURE FOR REAL-TIME IMAGE PROCESSING
 
System on Chip Design and Modelling Dr. David J Greaves
System on Chip Design and Modelling   Dr. David J GreavesSystem on Chip Design and Modelling   Dr. David J Greaves
System on Chip Design and Modelling Dr. David J Greaves
 
Embeded detail syllabus
Embeded  detail syllabusEmbeded  detail syllabus
Embeded detail syllabus
 
Thesis_Final
Thesis_FinalThesis_Final
Thesis_Final
 
PHP modernization approach generating KDM models from PHP legacy code
PHP modernization approach generating KDM models from PHP legacy codePHP modernization approach generating KDM models from PHP legacy code
PHP modernization approach generating KDM models from PHP legacy code
 
A tlm based platform to specify and verify component-based real-time systems
A tlm based platform to specify and verify component-based real-time systemsA tlm based platform to specify and verify component-based real-time systems
A tlm based platform to specify and verify component-based real-time systems
 
Performance from Architecture: Comparing a RISC and a CISC with Similar Hardw...
Performance from Architecture: Comparing a RISC and a CISC with Similar Hardw...Performance from Architecture: Comparing a RISC and a CISC with Similar Hardw...
Performance from Architecture: Comparing a RISC and a CISC with Similar Hardw...
 
Automated Formal Verification of SystemC/C++ High-Level Synthesis Models
Automated Formal Verification of SystemC/C++ High-Level Synthesis ModelsAutomated Formal Verification of SystemC/C++ High-Level Synthesis Models
Automated Formal Verification of SystemC/C++ High-Level Synthesis Models
 
Scalable constrained spectral clustering
Scalable constrained spectral clusteringScalable constrained spectral clustering
Scalable constrained spectral clustering
 
Es 2 mark
Es 2 markEs 2 mark
Es 2 mark
 
An Optimising Compiler For Generated Tiny Virtual Machines
An Optimising Compiler For Generated Tiny Virtual MachinesAn Optimising Compiler For Generated Tiny Virtual Machines
An Optimising Compiler For Generated Tiny Virtual Machines
 
Limited Budget but Effective End to End MLOps Practices (Machine Learning Mod...
Limited Budget but Effective End to End MLOps Practices (Machine Learning Mod...Limited Budget but Effective End to End MLOps Practices (Machine Learning Mod...
Limited Budget but Effective End to End MLOps Practices (Machine Learning Mod...
 
William Impey CV
William Impey CVWilliam Impey CV
William Impey CV
 
Application of SHAPE Technologies in Production and Process Optimization
Application of SHAPE Technologies in Production and Process OptimizationApplication of SHAPE Technologies in Production and Process Optimization
Application of SHAPE Technologies in Production and Process Optimization
 

Recently uploaded

Oracle 23c New Features For DBAs and Developers.pptx
Oracle 23c New Features For DBAs and Developers.pptxOracle 23c New Features For DBAs and Developers.pptx
Oracle 23c New Features For DBAs and Developers.pptx
Remote DBA Services
 
原版定制美国纽约州立大学奥尔巴尼分校毕业证学位证书原版一模一样
原版定制美国纽约州立大学奥尔巴尼分校毕业证学位证书原版一模一样原版定制美国纽约州立大学奥尔巴尼分校毕业证学位证书原版一模一样
原版定制美国纽约州立大学奥尔巴尼分校毕业证学位证书原版一模一样
mz5nrf0n
 
A Study of Variable-Role-based Feature Enrichment in Neural Models of Code
A Study of Variable-Role-based Feature Enrichment in Neural Models of CodeA Study of Variable-Role-based Feature Enrichment in Neural Models of Code
A Study of Variable-Role-based Feature Enrichment in Neural Models of Code
Aftab Hussain
 
Empowering Growth with Best Software Development Company in Noida - Deuglo
Empowering Growth with Best Software  Development Company in Noida - DeugloEmpowering Growth with Best Software  Development Company in Noida - Deuglo
Empowering Growth with Best Software Development Company in Noida - Deuglo
Deuglo Infosystem Pvt Ltd
 
Energy consumption of Database Management - Florina Jonuzi
Energy consumption of Database Management - Florina JonuziEnergy consumption of Database Management - Florina Jonuzi
Energy consumption of Database Management - Florina Jonuzi
Green Software Development
 
OpenMetadata Community Meeting - 5th June 2024
OpenMetadata Community Meeting - 5th June 2024OpenMetadata Community Meeting - 5th June 2024
OpenMetadata Community Meeting - 5th June 2024
OpenMetadata
 
Revolutionizing Visual Effects Mastering AI Face Swaps.pdf
Revolutionizing Visual Effects Mastering AI Face Swaps.pdfRevolutionizing Visual Effects Mastering AI Face Swaps.pdf
Revolutionizing Visual Effects Mastering AI Face Swaps.pdf
Undress Baby
 
Introducing Crescat - Event Management Software for Venues, Festivals and Eve...
Introducing Crescat - Event Management Software for Venues, Festivals and Eve...Introducing Crescat - Event Management Software for Venues, Festivals and Eve...
Introducing Crescat - Event Management Software for Venues, Festivals and Eve...
Crescat
 
Artificia Intellicence and XPath Extension Functions
Artificia Intellicence and XPath Extension FunctionsArtificia Intellicence and XPath Extension Functions
Artificia Intellicence and XPath Extension Functions
Octavian Nadolu
 
Neo4j - Product Vision and Knowledge Graphs - GraphSummit Paris
Neo4j - Product Vision and Knowledge Graphs - GraphSummit ParisNeo4j - Product Vision and Knowledge Graphs - GraphSummit Paris
Neo4j - Product Vision and Knowledge Graphs - GraphSummit Paris
Neo4j
 
SMS API Integration in Saudi Arabia| Best SMS API Service
SMS API Integration in Saudi Arabia| Best SMS API ServiceSMS API Integration in Saudi Arabia| Best SMS API Service
SMS API Integration in Saudi Arabia| Best SMS API Service
Yara Milbes
 
E-Invoicing Implementation: A Step-by-Step Guide for Saudi Arabian Companies
E-Invoicing Implementation: A Step-by-Step Guide for Saudi Arabian CompaniesE-Invoicing Implementation: A Step-by-Step Guide for Saudi Arabian Companies
E-Invoicing Implementation: A Step-by-Step Guide for Saudi Arabian Companies
Quickdice ERP
 
Automated software refactoring with OpenRewrite and Generative AI.pptx.pdf
Automated software refactoring with OpenRewrite and Generative AI.pptx.pdfAutomated software refactoring with OpenRewrite and Generative AI.pptx.pdf
Automated software refactoring with OpenRewrite and Generative AI.pptx.pdf
timtebeek1
 
Oracle Database 19c New Features for DBAs and Developers.pptx
Oracle Database 19c New Features for DBAs and Developers.pptxOracle Database 19c New Features for DBAs and Developers.pptx
Oracle Database 19c New Features for DBAs and Developers.pptx
Remote DBA Services
 
DDS-Security 1.2 - What's New? Stronger security for long-running systems
DDS-Security 1.2 - What's New? Stronger security for long-running systemsDDS-Security 1.2 - What's New? Stronger security for long-running systems
DDS-Security 1.2 - What's New? Stronger security for long-running systems
Gerardo Pardo-Castellote
 
SWEBOK and Education at FUSE Okinawa 2024
SWEBOK and Education at FUSE Okinawa 2024SWEBOK and Education at FUSE Okinawa 2024
SWEBOK and Education at FUSE Okinawa 2024
Hironori Washizaki
 
Transform Your Communication with Cloud-Based IVR Solutions
Transform Your Communication with Cloud-Based IVR SolutionsTransform Your Communication with Cloud-Based IVR Solutions
Transform Your Communication with Cloud-Based IVR Solutions
TheSMSPoint
 
Why Choose Odoo 17 Community & How it differs from Odoo 17 Enterprise Edition
Why Choose Odoo 17 Community & How it differs from Odoo 17 Enterprise EditionWhy Choose Odoo 17 Community & How it differs from Odoo 17 Enterprise Edition
Why Choose Odoo 17 Community & How it differs from Odoo 17 Enterprise Edition
Envertis Software Solutions
 
E-commerce Development Services- Hornet Dynamics
E-commerce Development Services- Hornet DynamicsE-commerce Development Services- Hornet Dynamics
E-commerce Development Services- Hornet Dynamics
Hornet Dynamics
 
2024 eCommerceDays Toulouse - Sylius 2.0.pdf
2024 eCommerceDays Toulouse - Sylius 2.0.pdf2024 eCommerceDays Toulouse - Sylius 2.0.pdf
2024 eCommerceDays Toulouse - Sylius 2.0.pdf
Łukasz Chruściel
 

Recently uploaded (20)

Oracle 23c New Features For DBAs and Developers.pptx
Oracle 23c New Features For DBAs and Developers.pptxOracle 23c New Features For DBAs and Developers.pptx
Oracle 23c New Features For DBAs and Developers.pptx
 
原版定制美国纽约州立大学奥尔巴尼分校毕业证学位证书原版一模一样
原版定制美国纽约州立大学奥尔巴尼分校毕业证学位证书原版一模一样原版定制美国纽约州立大学奥尔巴尼分校毕业证学位证书原版一模一样
原版定制美国纽约州立大学奥尔巴尼分校毕业证学位证书原版一模一样
 
A Study of Variable-Role-based Feature Enrichment in Neural Models of Code
A Study of Variable-Role-based Feature Enrichment in Neural Models of CodeA Study of Variable-Role-based Feature Enrichment in Neural Models of Code
A Study of Variable-Role-based Feature Enrichment in Neural Models of Code
 
Empowering Growth with Best Software Development Company in Noida - Deuglo
Empowering Growth with Best Software  Development Company in Noida - DeugloEmpowering Growth with Best Software  Development Company in Noida - Deuglo
Empowering Growth with Best Software Development Company in Noida - Deuglo
 
Energy consumption of Database Management - Florina Jonuzi
Energy consumption of Database Management - Florina JonuziEnergy consumption of Database Management - Florina Jonuzi
Energy consumption of Database Management - Florina Jonuzi
 
OpenMetadata Community Meeting - 5th June 2024
OpenMetadata Community Meeting - 5th June 2024OpenMetadata Community Meeting - 5th June 2024
OpenMetadata Community Meeting - 5th June 2024
 
Revolutionizing Visual Effects Mastering AI Face Swaps.pdf
Revolutionizing Visual Effects Mastering AI Face Swaps.pdfRevolutionizing Visual Effects Mastering AI Face Swaps.pdf
Revolutionizing Visual Effects Mastering AI Face Swaps.pdf
 
Introducing Crescat - Event Management Software for Venues, Festivals and Eve...
Introducing Crescat - Event Management Software for Venues, Festivals and Eve...Introducing Crescat - Event Management Software for Venues, Festivals and Eve...
Introducing Crescat - Event Management Software for Venues, Festivals and Eve...
 
Artificia Intellicence and XPath Extension Functions
Artificia Intellicence and XPath Extension FunctionsArtificia Intellicence and XPath Extension Functions
Artificia Intellicence and XPath Extension Functions
 
Neo4j - Product Vision and Knowledge Graphs - GraphSummit Paris
Neo4j - Product Vision and Knowledge Graphs - GraphSummit ParisNeo4j - Product Vision and Knowledge Graphs - GraphSummit Paris
Neo4j - Product Vision and Knowledge Graphs - GraphSummit Paris
 
SMS API Integration in Saudi Arabia| Best SMS API Service
SMS API Integration in Saudi Arabia| Best SMS API ServiceSMS API Integration in Saudi Arabia| Best SMS API Service
SMS API Integration in Saudi Arabia| Best SMS API Service
 
E-Invoicing Implementation: A Step-by-Step Guide for Saudi Arabian Companies
E-Invoicing Implementation: A Step-by-Step Guide for Saudi Arabian CompaniesE-Invoicing Implementation: A Step-by-Step Guide for Saudi Arabian Companies
E-Invoicing Implementation: A Step-by-Step Guide for Saudi Arabian Companies
 
Automated software refactoring with OpenRewrite and Generative AI.pptx.pdf
Automated software refactoring with OpenRewrite and Generative AI.pptx.pdfAutomated software refactoring with OpenRewrite and Generative AI.pptx.pdf
Automated software refactoring with OpenRewrite and Generative AI.pptx.pdf
 
Oracle Database 19c New Features for DBAs and Developers.pptx
Oracle Database 19c New Features for DBAs and Developers.pptxOracle Database 19c New Features for DBAs and Developers.pptx
Oracle Database 19c New Features for DBAs and Developers.pptx
 
DDS-Security 1.2 - What's New? Stronger security for long-running systems
DDS-Security 1.2 - What's New? Stronger security for long-running systemsDDS-Security 1.2 - What's New? Stronger security for long-running systems
DDS-Security 1.2 - What's New? Stronger security for long-running systems
 
SWEBOK and Education at FUSE Okinawa 2024
SWEBOK and Education at FUSE Okinawa 2024SWEBOK and Education at FUSE Okinawa 2024
SWEBOK and Education at FUSE Okinawa 2024
 
Transform Your Communication with Cloud-Based IVR Solutions
Transform Your Communication with Cloud-Based IVR SolutionsTransform Your Communication with Cloud-Based IVR Solutions
Transform Your Communication with Cloud-Based IVR Solutions
 
Why Choose Odoo 17 Community & How it differs from Odoo 17 Enterprise Edition
Why Choose Odoo 17 Community & How it differs from Odoo 17 Enterprise EditionWhy Choose Odoo 17 Community & How it differs from Odoo 17 Enterprise Edition
Why Choose Odoo 17 Community & How it differs from Odoo 17 Enterprise Edition
 
E-commerce Development Services- Hornet Dynamics
E-commerce Development Services- Hornet DynamicsE-commerce Development Services- Hornet Dynamics
E-commerce Development Services- Hornet Dynamics
 
2024 eCommerceDays Toulouse - Sylius 2.0.pdf
2024 eCommerceDays Toulouse - Sylius 2.0.pdf2024 eCommerceDays Toulouse - Sylius 2.0.pdf
2024 eCommerceDays Toulouse - Sylius 2.0.pdf
 

Towards a metamodel for the Rubus Component Model

  • 1. Towards a metamodel for the Rubus Component Model Alessio Bucaioni, Antonio Cicchetti and Mikael Sjödin Arcticus Systems
  • 2. Motivations (i) past present More than: 70 embedded systems 100s ECUs 100 million lines of code
  • 3. Motivations (i) Complex = distributed + embedded + real time + safety critical
  • 4. Motivations (ii) SEAMLESS SOFTWARE DEVELOPMENT CHAIN time-to-market development costs
  • 5. CBSE Develops the system at higher level of abstraction Promotes the re-use of components Annotates components, at design time, with real-time properties and constraints Enables pre-run-time analysis, e.g., end-to- end response time and delay analysis
  • 6. EAST-ADL based development approach Vehicle level Analysis level Design level Standardized the terminology Promoted separation of concerns (top-down) Makes use of CMs at the implementation level Implementation level AUTOSAR, RCM
  • 7. EAST-ADL Vehicle level Analysis level Design level Standardized the terminology Promoted separation of concerns (top-down) What about the seamless development chain? (Interoperability, Information management and Traceability) Makes use of CMs at the implementation level Implementation level AUTOSAR
  • 8. Intuition (i) exploit the crossplay of MDE and CBSE for realizing a seamless chain for modeling software for vehicular embedded systems
  • 9. Intuition (ii) metamodels definition of all the technologies used along the software development 1
  • 10. Intuition (ii) RCM metamodel metamodels definition of all the technologies used along the software development 1
  • 11. Intuition (ii) RCM metamodel metamodels definition of all the technologies used along the software development 1 model transformations 2among those technologies
  • 12. Intuition (ii) RCM metamodel RCM2AUTOSAR transformation metamodels definition of all the technologies used along the software development 1 model transformations 2among those technologies
  • 13. Background – RUBUS Concept Based around the RCM and Rubus-ICE Collection of methods, theories and tools for component based development of resource-constrained embedded real-time systems. Rubus Analysis Framework Rubus Code Generator and Run-Time System Rubus SIMulation Model (RSIM) Rubus Execution Platform
  • 14. Background – RCM Fig.1. Single-node real time system
  • 15. RCM metamodel (i) 68 Eclass(es) realized in Ecore 81 Ereference(s)
  • 16. RCM metamodel (ii) Fig.2. Metamodel backbone fragment
  • 17. RCM metamodel (iii) Fig.3. Metamodel data elements fragment
  • 18. RCM metamodel (iv) Fig.4. Metamodel control elements fragment
  • 19. RCM2AUTOSAR transformation (i) 1: new VirtualFunctionBus V FB;! 2: for each Circuit c in a Target t do! 3: ! !switch c:name do! 4: ! ! !case (1) //c.name ends in Sensor! 5: ! ! ! !new SensorSoftwareComponent sc;! 6: ! ! ! !sc:name = c:name;! 7: ! ! !case (2) //c.name ends in Actuator! 8: ! ! ! !new ActuatorSoftwareComponent sc;! 9: ! ! ! !sc:name = c:name;! 10: ! !case (default)! 11:! ! ! !new SoftwareComponent sc;! 12: ! ! !sc:name = c:name;! 13: !for each Interface i in c do! 14: ! !for each PortDataIn di in i do! 15: ! ! !new RequiredPortClientServer rp;! 16:! ! ! !rp:name = di:name;! 17: ! !end for! 18: ! !for each PortDataOut do in i do! 19: ! ! !new ProvidedPortClientServer pp;! 20: ! ! !pp:name = do:name;! 21: ! ! !pp:receiver = do:dataOutToDataIn;! 22: ! !end for! 23: !end for! 24: end for!
  • 20. RCM2AUTOSAR transformation (ii) Fig.5. RCM model serialization Fig.6. AUTOSAR model serialization
  • 21. Conclusions We proposed the adoption of a methodology exploiting the crossplay of MDE and CBSE and took initial steps towards the realization of the aforesaid chain. We: motivated the usage of RCM within the vehicular domain formalized a metamodel based on RCM presented the RCM2AUTOSAR model transformation The metamodel serves as base for embracing the MDE vision, but it also aims in restoring the separation of concerns lost during the evolution of RCM The RCM2AUTOSAR transformation outlines the potential benefits gained in having a proper metamodel for RCM, in terms of automation, interoperability and traceability
  • 22. Future works Investigate further metamodel refinements targeting the enhancement of vehicular tool chaining while preserving the current expressive power Identify additional languages used along the software development with the aim of formalizing their metamodels and hence enable model transformations for supporting a more extensive tool chain
  • 23. Thank you ! …questions?
  • 24. Background – EAST-ADL Vehicle level Analysis level Design level Implementation level What the system is supposed to do. Feature models, requirements. Formal notations. Behaviors and interfaces. Software, middleware abstraction and hardware architecture. Software functions to hardware allocation is expressed. Complete software architecture used for the code synthesis. AUTOSAR, RCM.
  • 25. Related works - AUTOSAR Software Components (SWCs) and Virtual Function Bus (VFB) VFB handles the virtual integration and communication hiding details No ability to specify and handle detailed timing information at design time distinction between data and control flow distinction between inter and intra node communication
  • 26. Related works – TIMMO and TIMMO-2-USE TIMMO tries to provide a timing model to AUTOSAR defines a language, TADL, for expressing timing requirements and constraints. has no concrete industrial implementation TIMMO-2-USE follows-up on the TIMMO project redefines TADL There is no focus in these initiatives on how to extract low level and timing information from the model or perform timing analysis or synthesize the run-time framework