Here you find the documentation on the S3D methodology for modelling of embedded systems in UML/MARTE.
S3D Documentation
| Modeling Methodology | February 2020 | S3D modelling methodology |
| User’s Guide | February 2020 | A guide on how to model a system in the S3D eclipse framework |
| S3D Plugin | February 2020 | User Quick Start Guide |
Former Modeling Methodology
| Introduction | April 2014 | A short introduction to the modelling methodology: views and modelling process |
| User Guide | April 2014 | A guide on how to follow the S3D in the eclipse framework to model a system |
| Core Methodology | May 2016 | A detailed description on the capture of each modelling view |
Design Activity Specific Documentation
On top of the core documentation, the following documentation explains the parts of the methodology oriented to cover specific aspects and features of interest for supporting ESL design activities:
| Design Space Exploration | May 2016 | Modelling for single-source for Design Space Exploration (DSE) |
| SW Synthesis for Heterogeneous Systems | April 2015 | Modelling for SW synthesis for heterogeneous targets |
| Mixed Criticality Systems | May 2016 | Modelling of Mixed-Criticality systems (MCS) |
| Schedulability Analysis | April 2015 | Modelling for Schedulability Analysis |
| Distributed Embedded Systems | October 2015 | Network modelling for captruing distributed embedded systems |
Additional Documentation
Moreover, research has been done to link UML/MARTE to other back-ends, e.g the ForSyDe-SystemC framework and the KisTA performance analysis tool. The last available documentation on its current status is given following:
| Interoperability with SDF Models | April 2015 | Tech report on the interoperability of UML/MARTE and SDF models, used as base for the generation of ForSyDe-SystemC models from UML/MARTE |
| Scheduling policies, TDMA bus, KisTA | April 2015 | Tech report on the extension of the UML/MARTE modelling for the description of models in UML/MARTE of predictable models with simple tasks mapped to local schedulers, whose scheduling policy can be configured and running on a TDMA bus platform. Used for prototype code generator targeting KisTA performance analysis models |