Architecture Modeling - SPES 2020

More documents

Recommendations

Info

Architecture Modeling [13] Manfred Broy, Franz Huber, and Bernhard Schätz. AutoFocus – Ein Werkzeugprototyp zur Entwicklung eingebetteter Systeme. Informatik Forschung und Entwicklung, (13(3)):121–134, 1999. [14] Matthias Büker, Alexander Metzner, and Ingo Stierand. ”testing real-time task networks with functional extensions using model-checking”. In 14th International Conference on Emerging Technologies and Factory Automation, 2009. [15] W. Damm. Controlling speculative design processes using rich component models. In 5th International Conference on Application of Concurrency to System Design (ACSD 2005), 2005. [16] W. Damm and D. Harel. LSCs: Breathing Life into Message Sequence Charts. In FMOODS’99 IFIP TC6/WG6.1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems, 1999. [17] W. Damm, B. Josko, H. Hungar, and A. Pnueli. A compositional real-time semantics of Statemate designs. In W.-P. de Roever, H. Langmaack, and A. Pnueli, editors, Compositionality - The Significant Difference, LNCS 1536, pages 186–238. Springer, 1998. [18] Werner Damm, Hardi Hungar, Bernhard Josko, Thomas Peikenkamp, and Ingo Stierand. Using contract-based component specifications for virtual integration testing and architecture design. In Conference on Design, Automation and Test in Europe, DATE’11, 2011. [19] Werner Damm, Bernhard Josko, Amir Pnueli, and Angelika Votintseva. A discrete-time uml semantics for concurrency and communication in safety-critical applications. Sci. Comput. Program., 55(1-3):81–115, 2005. [20] Werner Damm, Angelika Votintseva, Alexander Metzner, Bernhard Josko, Thomas Peikenkamp, and Eckard Böde. Boosting re-use of embedded automotive applications through rich components. In Foundations of Interface Technologies, FIT’05, 2005. [21] Abhijit Davare, Douglas Densmore, Trevor Meyerowitz, Alessandro Pinto, Alberto Sangiovanni-Vincentelli, Guang Yang, Haibo Zeng, and Qi Zhu. A next-generation design framework for platform-based design. In Proceedings of Conference on Using Hardware Design and Verification Languages (DVCon) 2007, February 2007. [22] Luca de Alfaro and Thomas A. Henzinger. Interface automata. In Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering, ESEC/FSE-9, pages 109–120, New York, NY, USA, 2001. ACM. [23] Henning Dierks, Alexander Metzner, and Ingo Stierand. Efficient model-checking for realtime task networks. In 6th International Conference on Embedded Software and Systems, May 2009. [24] J. Eker, J.W. Janneck, E.A. Lee, Jie Liu, Xiaojun Liu, J. Ludvig, S. Neuendorffer, S. Sachs, and Yuhong Xiong. Taming heterogeneity - the ptolemy approach. Proceedings of the IEEE, 91(1):127 – 144, January 2003. [25] Daniel Gajski and Robert H. Kuhn. New vlsi tools - guest editors’ introduction. IEEE Computer, 16(12):11–14, 1983. 154/ 156
Architecture Modeling [26] Holger Giese, Matthias Tichy, Sven Burmester, Wilhelm Schäfer, and Stephan Flake. Towards the compositional verification of real-time uml designs. SIGSOFT Softw. Eng. Notes, 28:38–47, September 2003. [27] Holger Giese, Matthias Tichy, Sven Burmester, Wilhelm Schäfer, and Stephan Flake. Towards the Compositional Verification of Real-Time UML Designs. SIGSOFT Softw. Eng. Notes, 28:38–47, September 2003. [28] Object Management Group. Requirements Interchange Format (ReqIF), July 2010. Document Beta/2010-07. [29] C. Haerdt and A. Keis. Model-based integration of analysis services: Experiences with an analysis dashboard. In 3rd Workshop on Model-Driven Tool & Process Integration, 2010. [30] Nicolas Halbwachs and Louis Mandel. Simulation and verification of asynchronous systems by means of a synchronous model. In Application of Concurrency to System Design (ACSD’06), volume 0, pages 3–14, Los Alamitos, CA, USA, 2006. IEEE Computer Society. [31] Alexander Harhuin, Florian Hölzl, and Thomas Kofler. Spes Metamodel. SPES 2020 Deliverable D1.4.A, The SPES 2020 Project, September 2010. [32] ISO. ISO15622: Transport information and control systems - Adaptive Cruise Control systems - Performance requirements and test procedures, 2002. [33] ISO/IEC/(IEEE). ISO/IEC 42010 (IEEE Std) 1471-2000 : Systems and Software engineering - Recomended practice for architectural description of software-intensive systems, July 2007. [34] Gilles Kahn. The semantics of simple language for parallel programming. In IFIP Congress, pages 471–475, 1974. [35] Kim Lauenroth, Ernst Sikora, Heiko Stallbaum, and Bastian Tenbergen. Initialer modellbasierter Requirements-Engineering-Ansatz für Embedded Systems. SPES 2020 Deliverable, The SPES 2020 Project, Universität Duisburg-Essen, September 2009. [36] J. Matevska-Meyer, W. Hasselbrink, and R. Reussner. On a software architecture description supporting component deployment and system runtime reconfiguration. In Proceedings of the WCOP’04 Ninth International Workshop on Component-Oriented Programming, 2004. [37] Bertrand Meyer. Applying ”design by contract”. Computer, 25(10):40–51, 1992. [38] Jan Meyer. SysML Erweiterung zur Modellierung von Zeitverhalten. SPES 2020 Deliverable AU-D3.3.A, The SPES 2020 Project, Universität Paderborn and Hella KGaA Hueck & Co., September 2009. [39] Object Management Group. OMG Systems Modeling Language (OMG SysML ), november 2008. Version 1.1. [40] Object Management Group. A UML Profile for MARTE: Modeling and Analysis of Real- Time Embedded Systems, November 2009. Version 1.0. 155/ 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: Bibliography [1] ARINC 653 - Avioni
show all

Architecture Modeling - SPES 2020

Create successful ePaper yourself

Delete template?

Save as template?