Architecture Modeling - SPES 2020

More documents

Recommendations

Info

Architecture Modeling [41] Object Management Group. OMG Unified Modeling Language(OMG UML), Superstructure, May 2010. Version 2.3. [42] WP.2.1 Partners. SPEEDS L-1 Meta-Model. Technical report, SPEEDS Consortium, May 2009. [43] Roberto Passerone, Jerry R. Burch, and Alberto L. Sangiovanni-Vincentelli. Refinement preserving approximations for the design and verification of heterogeneous systems. Form. Methods Syst. Des., 31:1–33, August 2007. [44] Daniel Ratiu, Wolfgang Schwitzer, and Judith Thyssen. A System of Abstraction Layers for the Seamless Development of Embedded Software Systems. SPES 2020 Deliverable D1.2.A-2, The SPES 2020 Project, October 2009. [45] Marvin Rausand. System Reliability Theory. Wiley, 2 edition, 2004. [46] Herbert Stachowiak. Allgemeine Modelltheorie. Springer Wien, 1973. [47] W. E. Vesely, F.F. Goldberg, N. H. Roberts, and D. F. Haasl. Fault Tree Handbook. NUREG-0492. U.S. Nuclear Regulatory Commission, Washington DC, 1981. [48] Tiziano Villa, Timothy Kam, Robert K. Brayton, and Alberto Sangiovanni-Vincentelli. Synthesis of finite state machines: logic optimization. Kluwer Academic Publishers, Norwell, MA, USA, 1997. [49] Thomas Wagner and Ulrich Löwen. Modellierung technischer systeme. Technical report. [50] Raphael Weber, Eike Thaden, and Philipp Reinkemeier. Specification of the SPES Meta- Model. SPES 2020 Deliverable D3.2.B, The SPES 2020 Project, OFFIS, November 2010. [51] H. Zimmermann. OSI Reference Model–The ISO Model of Architecture for Open Systems Interconnection. IEEE Transactions on Communications, 28(4):425–432, 1980. 156/ 156
Page 1 and 2:
Architecture Modeling ∗ Andreas B
Page 3 and 4:
Contents 1 Introduction 1 2 Quick-T
Page 5 and 6:
1 Introduction This document propos
Page 7 and 8:
Architecture Modeling allowing to m
Page 9 and 10:
Architecture Modeling creating a vi
Page 11 and 12:
Architecture Modeling the design it
Page 13 and 14:
Architecture Modeling of the logica
Page 15 and 16:
Architecture Modeling realization o
Page 17 and 18:
Architecture Modeling can usually o
Page 19 and 20:
3 The Architecture Meta-Model In Se
Page 21 and 22:
Abstraction-Levels (detail increase
Page 23 and 24:
3.2.2 Functional Perspective Archit
Page 25 and 26:
Architecture Modeling The semantics
Page 27 and 28:
Architecture Modeling expressed by
Page 29 and 30:
Architecture Modeling computing cap
Page 31 and 32:
3.2.5 Geometrical Perspective Archi
Page 33 and 34:
ShapeCompositionOperator intersecti
Page 35 and 36:
Architecture Modeling The constrain
Page 37 and 38:
Architecture Modeling of particular
Page 39 and 40:
Architecture Modeling Shape that de
Page 41 and 42:
Architecture Modeling Conjugation o
Page 43 and 44:
RichComponent Architecture Modeling
Page 45 and 46:
MultiplicityElement +part 0..* Rich
Page 47 and 48:
ComponentC Architecture Modeling pa
Page 49 and 50:
4 Steps in Component-Based Design T
Page 51 and 52:
Architecture Modeling Assume/guaran
Page 53 and 54:
Architecture Modeling When specifyi
Page 55 and 56:
Architecture Modeling next selectio
Page 57 and 58:
Architecture Modeling ports must ha
Page 59 and 60:
established if (and only if): Archi
Page 61 and 62:
12°C < tempSelect < 35°C actTemp
Page 63 and 64:
Architecture Modeling The component
Page 65 and 66:
Architecture Modeling 4.3.2 Establi
Page 67 and 68:
Architecture Modeling a mapping is
Page 69 and 70:
Architecture Modeling Another impor
Page 71 and 72:
5 Using the Architecture Meta-Model
Page 73 and 74:
Architecture Modeling Design proces
Page 75 and 76:
Architecture Modeling abstraction l
Page 77 and 78:
Pwr1 Pedal_Pos1 Pwr2 Pedal_Pos2 CMD
Page 79 and 80:
Architecture Modeling Figure 5.4: O
Page 81 and 82:
Architecture Modeling Figure 5.7: L
Page 83 and 84:
Architecture Modeling Figure 5.9: T
Page 85 and 86:
Architecture Modeling Figure 5.12:
Page 87 and 88:
Page 89 and 90:
Architecture Modeling However this
Page 91 and 92:
Architecture Modeling The considera
Page 93 and 94:
Page 95 and 96:
Page 97 and 98:
Architecture Modeling tasks Command
Page 99 and 100:
Architecture Modeling of the V, suc
Page 101 and 102:
Architecture Modeling thus decorate
Page 103 and 104:
Architecture Modeling In summary, P
Page 105 and 106:
Architecture Modeling OEMs are incr
Page 107 and 108:
Architecture Modeling provide effec
Page 109 and 110: Architecture Modeling Figure 5.24:
Page 111 and 112: Architecture Modeling patterns, cap
Page 113 and 114: Architecture Modeling 6.1 Syntax an
Page 115 and 116: 6.1.1.1.1 Attribuute Definit tion a
Page 117 and 118: Constrrain Eventts with Co ondition
Page 119 and 120: These events used in the “and the
Page 121 and 122: Formalization: whenever StartButton
Page 123 and 124: Architecture Modeling Basic bloock
Page 125 and 126: 6.1.1.1.1.3 Conditions Conditions c
Page 127 and 128: 6.1.1.1.2.2 Seammless Con ncatenati
Page 129 and 130: e3 && (clk==0) e1 idle pre e1 idle
Page 131 and 132: Pattern whenever event occurs condi
Page 133 and 134: If the brake force is above 80% for
Page 135 and 136: Pattern S3: Failure shall not be ca
Page 137 and 138: Pattern S9: failureCondition failur
Page 139 and 140: Pattern R2: Event occurs each perio
Page 141 and 142: idle e1 |clk:=0 e2 && (l
Page 143 and 144: The function : allocates a singl
Page 145 and 146: Examplees of clocks: • Run: {c=0@
Page 147 and 148: Architecture Modeling 1. For σ ∈
Page 149 and 150: Architecture Modeling Traces accord
Page 151 and 152: Architecture Modeling Definition 6.
Page 153 and 154: Architecture Modeling the one given
Page 155 and 156: Architecture Modeling Decomposition
Page 157 and 158: Bibliography [1] ARINC 653 - Avioni
Page 159: Architecture Modeling [26] Holger G
show all

Architecture Modeling - SPES 2020

You also want an ePaper? Increase the reach of your titles

Delete template?

Save as template?