Specification of an Architecture Meta-Model - SPES 2020
Specification of an Architecture Meta-Model - SPES 2020
Specification of an Architecture Meta-Model - SPES 2020
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
2.2.3 Service Implementations . . . . . . . . . . . . . . . . . . . . 55<br />
2.2.4 Behavior Definitions . . . . . . . . . . . . . . . . . . . . . . 56<br />
2.2.5 Behavior Implementations . . . . . . . . . . . . . . . . . . . 57<br />
2.2.6 Behavior Blocks . . . . . . . . . . . . . . . . . . . . . . . . 58<br />
2.2.7 Pins . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 65<br />
2.2.8 Behavior Links . . . . . . . . . . . . . . . . . . . . . . . . . 67<br />
2.2.9 Component Mapping . . . . . . . . . . . . . . . . . . . . . . 73<br />
2.3 Requirements <strong>Meta</strong>-<strong>Model</strong> . . . . . . . . . . . . . . . . . . . . . . . 83<br />
2.3.1 Requirements . . . . . . . . . . . . . . . . . . . . . . . . . . 83<br />
2.3.2 Requirements Traceability . . . . . . . . . . . . . . . . . . . 88<br />
2.4 Safety Aspects <strong>of</strong> the <strong>Meta</strong>–<strong>Model</strong> . . . . . . . . . . . . . . . . . . . 91<br />
2.4.1 Verification <strong>an</strong>d Validation . . . . . . . . . . . . . . . . . . . 92<br />
2.4.2 Safety Extension . . . . . . . . . . . . . . . . . . . . . . . . 99<br />
2.5 Data Type <strong>Specification</strong> . . . . . . . . . . . . . . . . . . . . . . . . . 103<br />
2.5.1 Data Types . . . . . . . . . . . . . . . . . . . . . . . . . . . 103<br />
2.6 Technical Elements . . . . . . . . . . . . . . . . . . . . . . . . . . . 109<br />
2.6.1 Hardware Elements . . . . . . . . . . . . . . . . . . . . . . . 109<br />
2.6.2 Resource <strong>Model</strong>ing <strong>an</strong>d Scheduling . . . . . . . . . . . . . . 117<br />
3 Conclusion 131