| 1. |
|
|
| 2. |
- Biehl, Matthias
(författare)
-
Supporting model evolution in model-driven development of automotive embedded system
- 2010
-
Licentiatavhandling (övrigt vetenskapligt/konstnärligt)abstract
- Innovative functions in cars, such as active safety systems and advanced driver assistance systems, are realized as embedded systems. The development of such automotive embedded systems is challenging in several respects: the product typically has several crosscutting system properties, experts of diverse disciplines need to cooperate and appropriate processes and tools are required to improve the effciency and the complexity management of development. Model-driven development captures the architecture of the embedded system in the form of models with well-defined metamodels. Model-driven development provides a partial solution to some of the challenges of embedded systems development, but it also introduces new challenges. Models do not remain static, but they change over time and evolve. Evolution can change models in two ways: (1) by making design decisions and adding, deleting or changing model elements, or (2) by reusing models in different tools. We propose support for both aspects of model evolution. (1) When models are changed, the design decisions and the justification for the change are usually neither captured nor documented in a systematic way. As a result, important information about the model is lost, making the model more difficult to understand, which hampers model evolution and maintenance. To support model evolution, design decisions need to be captured explicitly using an appropriate representation. This representation reduces the overhead of capturing design decisions, keeps the model and the design decision documentation consistent and links the design decision documentation to the model. As a result, the captured design decisions provide a record of the model evolution and the rationale of the evolution. (2) Several models and views are used to describe an embedded system in different life cycle stages and from the viewpoints of the involved disciplines. To create the various models, a number of specialized development tools are used. These tools are usually disconnected, so the models cannot be transferred between different tools. Thus, models may become inconsistent, which hampers understandability of the models and increases the cost of development. We present a model-based tool integration approach that uses a common metamodel in combination with model transformation technology to build bridges between different development tools. We apply this approach in a case study and integrate several tools for automotive embedded systems development: A systems engineering tool, a safety engineering tool and a simulation tool. As a part of future work, we plan to extend the tool integration approach to exchange not only models but also the attached documentation of design decisions. As a result, the design decision documentation is linked consistently to corresponding model elements of the various tool-specific models, supporting model evolution across several development tools
|
|
| 3. |
- Birke, Robert, et al.
(författare)
-
Self-aware computing systems : Open challenges and future research directions
- 2017
-
Ingår i: Self-Aware Computing Systems. - Cham : Springer International Publishing. - 9783319474724 - 9783319474748 ; , s. 709-722
-
Bokkapitel (refereegranskat)abstract
- In this chapter, we discuss the open challenges in building self-aware computing systems that are still being faced by the research and development community. The challenges can be theoretical, technical, computational, or even sociological. First, we highlight the challenges associated with each of the earlier parts of the book and summarize on respective future research directions. We then offer concluding remarks and an outlook into the future in the last section.
|
|
| 4. |
- de Lemos, Rogerio, et al.
(författare)
-
Software Engineering for Self-Adaptive Systems : A Second Research Roadmap
- 2013
-
Ingår i: Software Engineering for Self-Adaptive Systems II. - Berlin, Heidelberg : Springer. - 9783642358128 ; , s. 1-32
-
Konferensbidrag (övrigt vetenskapligt/konstnärligt)abstract
- The goal of this roadmap paper is to summarize the state-of-the-art and identify research challenges when developing, deploying and managing self-adaptive software systems. Instead of dealing with a wide range of topics associated with the field, we focus on four essential topics of self-adaptation: design space for self-adaptive solutions, software engineering processes for self-adaptive systems, from centralized to decentralized control, and practical run-time verification & validation for self-adaptive systems. For each topic, we present an overview, suggest future directions, and focus on selected challenges. This paper complements and extends a previous roadmap on software engineering for self-adaptive systems published in 2009 covering a different set of topics, and reflecting in part on the previous paper. This roadmap is one of the many results of the Dagstuhl Seminar 10431 on Software Engineering for Self-Adaptive Systems, which took place in October 2010.
|
|
| 5. |
- El-Khoury, Jad, 1975-
(författare)
-
A Model Management and Integration Platform for Mechatronics Product Development
- 2006
-
Doktorsavhandling (övrigt vetenskapligt/konstnärligt)abstract
- Mechatronics development requires the close collaboration of various specialist teams and engineering disciplines. Developers from the different disciplines use domain-specific tools to specify and analyse the system of interest. This leads to different views of the system, each targeting a specific audience, using that audience’s familiar language, and concentrating on that audience’s concerns. Successful system development requires that the views of all developers produced by the different tools are well integrated into a whole, reducing any risks of inconsistencies and conflicts in the design information specified. This thesis discusses techniques of managing and integrating the views from various disciplines, taking better advantage of multidisciplinary, model-based, development. A Model Data Management (MDM) platform that generically manages models from the various domain-specific tools used in development is presented. The platform is viewed as a unification of the management functionalities typically provided by the discipline-specific PDM and SCM systems. The unification is achieved by unifying the kind of objects it manages – models. View integration is considered as an integral functionality of this platform. In demonstrating the platform’s feasibility, a generic version management functionality of models is implemented. In addition, model integration is investigated for the allocation of system functions onto the implementing hardware architecture. The proposed approach promotes the independent development of the views, allowing developers from each discipline to work concurrently, yet ensuring the completeness, correctness and analysis of any inter-view design decisions made. The prototype MDM platform builds on existing technologies from each of the mechanical and software disciplines. The proposed MDM system is built based on a configurable PDM system, given its maturity and ability to manage model contents appropriately. At the same time, the version control functionality borrows ideas from the fine-grained version control algorithms in the software discipline. The platform is argued to be feasible given the move towards model-based development in software engineering, bringing the discipline’s needs closer to those of the hardware discipline. This leads the way for an easier and more effective integrated management platform satisfying the needs of both disciplines using a common set of mechanisms.
|
|
| 6. |
- Giese, Holger, et al.
(författare)
-
Towards the compositional verification of real-time UML designs
- 2003
-
Ingår i: Proceedings of the 11th ACM SIGSOFT Symposium on Foundations of Software Engineering 2003 held jointly with 9th European Software Engineering Conference, ESEC/FSE 2003, Helsinki, Finland, September 1-5, 2003. ; , s. 38-47
-
Konferensbidrag (refereegranskat)
|
|
| 7. |
- Jin, Yi, et al.
(författare)
-
Tyrosine-protein kinase Yes controls endothelial junctional plasticity and barrier integrity by regulating VE-cadherin phosphorylation and endocytosis
- 2022
-
Ingår i: Nature Cardiovascular Research. - : Springer Nature. - 2731-0590. ; 1:12, s. 1156-1173
-
Tidskriftsartikel (refereegranskat)abstract
- Vascular endothelial (VE)-cadherin in endothelial adherens junctions is an essential component of the vascular barrier, critical for tissue homeostasis and implicated in diseases such as cancer and retinopathies. Inhibitors of Src cytoplasmic tyrosine kinase have been applied to suppress VE-cadherin tyrosine phosphorylation and prevent excessive leakage, edema and high interstitial pressure. Here we show that the Src-related Yes tyrosine kinase, rather than Src, is localized at endothelial cell (EC) junctions where it becomes activated in a flow-dependent manner. EC-specific Yes1 deletion suppresses VE-cadherin phosphorylation and arrests VE-cadherin at EC junctions. This is accompanied by loss of EC collective migration and exaggerated agonist-induced macromolecular leakage. Overexpression of Yes1 causes ectopic VE-cadherin phosphorylation, while vascular leakage is unaffected. In contrast, in EC-specific Src deficiency, VE-cadherin internalization is maintained and leakage is suppressed. In conclusion, Yes-mediated phosphorylation regulates constitutive VE-cadherin turnover, thereby maintaining endothelial junction plasticity and vascular integrity.
|
|
| 8. |
|
|
| 9. |
- Krause, Christian, et al.
(författare)
-
Implementing graph transformations in the bulk synchronous parallel model
- 2014
-
Ingår i: Fundamental Approaches to Software Engineering. 17th International Conference on Fundamental Approaches to Software Engineering (FASE), June 7-10, Grenoble, France. - Berlin, Heidelberg : Springer Berlin Heidelberg. - 0302-9743 .- 1611-3349. - 9783642548031 ; , s. 325-339
-
Konferensbidrag (refereegranskat)abstract
- Big data becomes a challenge in more and more domains. In many areas, such as in social networks, the entities of interest have relational references to each other and thereby form large-scale graphs (in the order of billions of vertices). At the same time, querying and updating these data structures is a key requirement. Complex queries and updates demand expressive high-level languages which can still be efficiently executed on these large-scale graphs. In this paper, we use the well-studied concepts of graph transformation rules and units as a high-level modeling language with declarative and operational features for transforming graph structures. In order to apply them to large-scale graphs, we introduce an approach to distribute and parallelize graph transformations by mapping them to the Bulk Synchronous Parallel (BSP) model. Our tool support builds on Henshin as modeling tool and consists of a code generator for the BSP framework Apache Giraph. We evaluated the approach with the IMDB movie database and a computation cluster with up to 48 processing nodes with 8 cores each.
|
|
| 10. |
- Krause, Christian, et al.
(författare)
-
Implementing Graph Transformations in the Bulk Synchronous Parallel Model
- 2015
-
Ingår i: Lecture Notes in Informatics. - 1617-5468. - 9783885796336 ; P-239, s. 99-100
-
Konferensbidrag (refereegranskat)abstract
- Big data becomes a challenge in more and more domains. In many areas, such as in social networks, the entities of interest have relational references to each other and thereby form large-scale graphs (in the order of billions of vertices). At the same time, querying and updating these data structures is a key requirement. Complex queries and updates demand expressive high-level languages which can still be efficiently executed on these large-scale graphs.We use graph transformation rules and units as a high-level modeling language with declarative and operational features for transforming graph structures. To apply them to large-scale graphs, we introduce a method to distribute and parallelize graph transformations by mapping them to the Bulk Synchronous Parallel model. Our tool support builds on Henshin as modeling tool and consists of a code generator for Apache Giraph. We evaluated our approach with the IMDb movie database on a cluster with 24 servers with 8 cores each.
|
|
