| 1. |
- Alajrami, S., et al.
(författare)
-
EXE-SPEM : Towards cloud-based executable software process models
- 2016
-
Ingår i: MODELSWARD 2016 - Proceedings of the 4th International Conference on Model-Driven Engineering and Software Development. - : SCITEPRESS - Science and and Technology Publications. - 9789897581687 ; , s. 517-526
-
Konferensbidrag (refereegranskat)abstract
- Executing software processes in the cloud can bring several benefits to software development. In this paper, we discuss the benefits and considerations of cloud-based software processes. EXE-SPEM is our extension of the Software and Systems Process Engineering (SPEM2.0) Meta-model to support creating cloud-based executable software process models. Since SPEM2.0 is a visual modelling language, we introduce an XML notation meta-model and mapping rules from EXE-SPEM to this notation which can be executed in a workflow engine. We demonstrate our approach by modelling an example software process using EXE-SPEM and mapping it to the XML notation.
|
|
| 2. |
- Durisic, Darko, 1986, et al.
(författare)
-
Addressing the need for strict meta-modeling in practice - A case study of AUTOSAR
- 2016
-
Ingår i: MODELSWARD 2016 - Proceedings of the 4th International Conference on Model-Driven Engineering and Software Development. - : SciTePress. - 9789897581687 - 9789897582325 - 9781509058983 ; , s. 317-322
-
Konferensbidrag (refereegranskat)abstract
- Meta-modeling has been a topic of interest in the modeling community for many years, yielding substantial number of papers describing its theoretical concepts. Many of them are aiming to solve the problem of traditional UML based domain-specific meta-modeling related to its non-compliance to the strict meta-modeling principle, such as the deep meta-modeling approach. In this paper, we show the practical use of meta-models in the automotive development process based on AUTOSAR and visualize places in the AUTOSAR metamodel which are broken according to the strict meta-modeling principle. We then explain how the AUTOSAR meta-modeling environment can be re-worked in order to comply to this principle by applying three individual approaches, each one combined with the concept of Orthogonal Classification Architecture: UML extension, prototypical pattern and deep instantiation. Finally we discuss the applicability of these approaches in practice and contrast the identified issues with the actual problems faced by the automotive meta-modeling practitioners. Our objective is to bridge the current gap between the theoretical and practical concerns in meta-modeling. © Copyright 2016 by SCITEPRESS - Science and Technology Publications, Lda. All rights reserved.
|
|
| 3. |
- Eriksson, Anders, et al.
(författare)
-
UML Associations : Reducing the gap in test coverage between model and code
- 2016
-
Ingår i: Proceedings of the 4th International Conference on Model-Driven Engineering and Software Development. - : SciTePress. - 9789897581687 ; , s. 589-599
-
Konferensbidrag (refereegranskat)abstract
- This paper addresses the overall problem of estimating the quality of a test suite when testing is performed at aplatform-independent level, using executable UML models. The problem is that the test suite is often requiredto fulfill structural code coverage criteria. In the avionics domain it is usually required that the tests achieve100% coverage according to logic-based coverage criteria. Such criteria are less effective when applied toexecutable UML models than when they are applied to code because the action code found in such modelscontains conditions in navigation and loops that are not explicit and therefore not captured by logic-basedcoverage criteria. We present two new coverage criteria for executable UML models, and we use an industrialapplication from the avionics domain to show that these two criteria should be combined with a logic-basedcriterion when testing the executable UML model. As long as the coverage is less than 100% at the modellevel, there is no point in running the tests at the code level since all functionality of the model is not yet tested,and this is necessary to achieve 100% coverage at the code level.
|
|
| 4. |
- Liebel, Grischa, 1987, et al.
(författare)
-
Addressing model complexity in automotive system development : Selection of system model elements for allocation of requirements
- 2016
-
Ingår i: MODELSWARD 2016. - : SCITEPRESS - Science and and Technology Publications. - 9789897581687 ; , s. 168-175
-
Konferensbidrag (refereegranskat)abstract
- Modern automotive embedded systems are developed by Original Equipment Manufacturers (OEM) together with multiple suppliers. A key problem for a supplier is to allocate an OEM’s requirements specification to their own subsystem design. This is a difficult manual task especially on complex systems and it requires expert knowledge about the system design. To address this problem, this paper presents a design science research to develop and evaluate a Requirements Allocation Assistant tool (RAA). The tool provides functionality to search through and filter requirements and system models to enable efficient requirements allocation even in the presence of complexity. RAA is built on top of the EATOP/Eclipse framework using EAST-ADL as system modelling language. The tool was evaluated and validated during a qualitative usability study with 17 engineers active in the Swedish automotive industry. Key findings are that searching is used to learn about a system, whereas filtering is used to narrow down a set of candidate elements of the system design. Engineers request further support in narrowing down a set of candidate elements and in checking that an allocation is correct.
|
|
| 5. |
- Södling, Josefine, 1991, et al.
(författare)
-
From Model to Rig – An Automotive Case Study
- 2016
-
Ingår i: 4th International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2016; Rome; Italy; 19 February 2016 through 21 February 2016. - : SCITEPRESS - Science and and Technology Publications. - 9789897581687 ; , s. 615-622
-
Konferensbidrag (refereegranskat)abstract
- As the size and complexity of the software in a truck grows, new ways of managing the development are needed. Numerous reports show how MDE can be successfully applied for automotive software development. We complement previous research by conducting a case study on the impact of model-based testing for verifying and validating the behaviour of a truck's headlights. Our results are three-fold. First, we show how a model can be transferred from a model-in-the-loop setting to a hardware-in-the-loop via system simulation. Second, we supply an analysis of the shortcomings of the model that were found as the model was tested in more and more platform-specific settings. Third, our results show that the introduction of model-based testing practices will require organisational changes even if the used tools are familiar to the company.
|
|
