![](bgc.png)
proposed integration model and models distributed
across one or more domain-specific tools. Figure 2
illustrates the addition of OSLC and/or ModelBus
to our reference technology platform as part of the
model-based analysis framework.
A similar argument can be made for a more
generic access to a shared model repository.
Currently, our prototype shares a relational database
for the integrated system model with the proprietary
Enterprise Architect model repository. ModelBus,
with its integrated model repository component (see
Hein et al. (2009), section 2), can help to reduce this
tight coupling between the generic persistence layer
and a single modeling tool.
Besides the technical improvements, we foresee a
worthwhile extension of our modeling approach with
aspects of contract-based design. Since our integrated
system model already encompasses comprehensive
information about non-functional aspects of the
system under development, this knowledge can
be used to derive constraints and guarantees for
system components. The automated nature of our
analysis framework allows for design optimization
based on domain-specific models. Information about
component prerequisites and guarantees in the form
of contracts can be used to reduce the complexity of
the design space during such automatic architecture
optimization.
ACKNOWLEDGEMENTS
The research in this paper was funded by the
German Federal Ministry for Economic Affairs and
Energy under the Central Innovation Program for
SMEs (ZIM), grant numbers KF 2751303LT4 and
16KN044120.
REFERENCES
de Lara, J., Guerra, E., and Cuadrado, J. S. (2015).
Model-driven engineering with domain-specific
meta-modelling languages. Software & Systems
Modeling, 14(1):429–459.
Graaf, B. and van Deursen, A. (2007). Visualisation
of domain-specific modelling languages using uml.
In 14th Annual IEEE International Conference and
Workshops on the Engineering of Computer-Based
Systems (ECBS’07), pages 586–595. IEEE.
Hein, C., Ritter, T., and Wagner, M. (2009). Model-driven
tool integration with modelbus. In Workshop Future
Trends of Model-Driven Development, pages 50–52.
IEC 61508-1:2010 (2010). Functional safety of
electrical/electronic/programmable electronic
safety-related systems - Part 1: General requirements.
Standard, International Electrotechnical Commission,
Geneva, CH.
Kaiser, B., Liggesmeyer, P., and Mäckel, O. (2003). A new
component concept for fault trees. In Proceedings of
the 8th Australian workshop on Safety critical systems
and software-Volume 33, pages 37–46. Australian
Computer Society, Inc.
Kelly, T. and Weaver, R. (2004). The Goal Structuring
Notation–A Safety Argument Notation. In Proc. of
Dependable Systems and Networks 2004 Workshop on
Assurance Cases.
Kurtev, I. (2007). State of the art of QVT: A
model transformation language standard. In
International Symposium on Applications of Graph
Transformations with Industrial Relevance, pages
377–393. Springer.
OMG QVT v1.3 (2016). Meta Object Facility (MOF) 2.0
Query/View/Transformation Specification, Version
1.3. Specification, Object Management Group
(OMG), Needham, MA.
OMG REQIF v1.2 (2016). Requirements Interchange
Format (ReqIF), Version 1.2. Specification, Object
Management Group (OMG), Needham, MA.
Papadopoulos, Y. et al. (2010). Automatic allocation
of safety integrity levels. In Proceedings of the
1st workshop on critical automotive applications:
robustness & safety, pages 7–10. ACM.
Papadopoulos, Y. et al. (2011). Engineering failure analysis
and design optimisation with HiP-HOPS. Engineering
Failure Analysis, 18(2):590–608.
Papadopoulos, Y. and McDermid, J. A. (1999).
Hierarchically performed hazard origin and
propagation studies. In International Conference
on Computer Safety, Reliability, and Security, pages
139–152. Springer.
Saad, C. and Bauer, B. (2013). Data-Flow Based
Model Analysis and Its Applications, pages 707–723.
Springer Berlin Heidelberg, Berlin, Heidelberg.
Schleicher, A. and Westfechtel, B. (2001). Beyond
stereotyping: Metamodeling approaches for the
UML. In Proceedings of the 34th Annual Hawaii
International Conference on System Sciences, page 10
pp. IEEE.
Sommerville, I. (2011). Software Engineering. Pearson
Education, 9th edition.
Vesely, W. E., Goldberg, F. F., Roberts, N. H., and Haasl,
D. F. (1981). Fault tree handbook. Technical report,
DTIC Document.
Wasserman, A. I. (1990). Tool integration in software
engineering environments. In Software Engineering
Environments, pages 137–149. Springer.
Zschaler, S., Kolovos, D. S., Drivalos, N., Paige, R. F., and
Rashid, A. (2009). Domain-specific metamodelling
languages for software language engineering. In
International Conference on Software Language
Engineering, pages 334–353. Springer.
MODELSWARD 2017 - 5th International Conference on Model-Driven Engineering and Software Development
168