| 1. |
- Ciccozzi, Federico, 1983-
(författare)
-
Towards a model compilation framework based on a unified model execution semantics
- 2017
-
Ingår i: ICSE-C '17 Proceedings of the 39th International Conference on Software Engineering Companion. - Buenos Aires, Argentina. - 9781538615898 ; , s. 350-352
-
Konferensbidrag (refereegranskat)abstract
- Due to the increasing complexity of software systems, model-driven engineering has been introduced to shift the developer's focus from machine-centric program code to human-centric models of the software under development. In model-driven approaches, program code in conventional programming languages (e.g., C++, Java) is commonly generated from models and then compiled or interpreted. Intermediate translation of models to program code raises two fundamental issues: 1) semantic inconsistency and information loss between an executable and its source model, and 2) suboptimality of executables, since compilers are unable to exploit model semantics. These issues are not tolerable in embedded real-time and safety-critical applications. To tame them, we propose direct compilation of models bypassing intermediate translations to conventional programming languages.
|
|
| 2. |
- Ferme, Vincenzo, et al.
(författare)
-
Workflow Management Systems Benchmarking : Unfulfilled Expectations and Lessons Learned
- 2017
-
Ingår i: PROCEEDINGS OF THE 2017 IEEE/ACM 39TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING COMPANION (ICSE-C 2017). - : IEEE. - 9781538615898 ; , s. 379-381
-
Konferensbidrag (refereegranskat)abstract
- Workflow Management Systems (WfMSs) are a type of middleware that enables the execution of automated business processes. Users rely on WfMSs to construct flexible and easily maintainable software systems. Significant effort has been invested into standardising languages for business processes execution, with standards such as the Web Services Business Process Execution Language 2.0 or the Business Process Model and Notation 2.0. Standardisation aims at avoiding vendor lockin and enabling WfMS users to compare different systems. The reality is that, despite standardisation efforts, different independent research initiatives show that objectively comparing WfMSs is still challenging. As a result, WfMS users are likely to discover unfulfilled expectations while evaluating and using these systems. In this work, we discuss the findings of two research initiatives dealing with WfMSs benchmarking, presenting unfulfilled expectations and lessons learned concerning WfMSs' usability, reliability, and portability. Our goal is to provide advice for practitioners implementing or planning to use WfMSs.
|
|
| 3. |
- Gren, Lucas, 1984, et al.
(författare)
-
Group developmental psychology and software development performance
- 2017
-
Ingår i: IEEE/ACM 39th International Conference on Software Engineering Companion, ICSE-C 2017. 20-28 May 2017, Buenos Aires, Argentina. - : IEEE. - 9781538615898
-
Konferensbidrag (refereegranskat)abstract
- © 2017 IEEE. Due to the fact that software development is a product of team effort it is important to investigate the influence of group developmental psychology on software development performance. In this case study we wanted to test how performance (i.e. velocity and planning effectiveness) are related to the group's maturity level. We gave the Group Development Questionnaire (the GDQ) to 19 software developers to assess their group maturity (i.e. their progress in their group development) and ran correlation analysis against the development velocity and planning effectiveness (i.e. earned points over planned points). The results show that group maturity is correlated to planning effectiveness but not velocity, meaning that group development is connected to the team's ability to plan well, but not their ability to implement tasks fast.
|
|
| 4. |
- Knauss, Alessia, 1983, et al.
(författare)
-
Software-related challenges of testing automated vehicles
- 2017
-
Ingår i: Proceedings - 2017 IEEE/ACM 39th International Conference on Software Engineering Companion, ICSE-C 2017. - : ACM. - 9781538615898 ; , s. 328-330
-
Konferensbidrag (refereegranskat)abstract
- Automated vehicles are not supposed to fail at any time or in any situations during driving. Thus, vehicle manufactures and proving ground operators are challenged to complement existing test procedures with means to systematically evaluate automated driving. In this paper, we explore software related challenges from testing the safety of automated vehicles. We report on findings from conducting focus groups and interviews including 26 participants (e.g., vehicle manufacturers, suppliers, and researchers) from five countries.
|
|
| 5. |
- Mallozzi, Piergiuseppe, 1990
(författare)
-
Combining machine-learning with invariants assurance techniques for autonomous systems
- 2017
-
Ingår i: Proceedings - 2017 IEEE/ACM 39th International Conference on Software Engineering Companion, ICSE-C 2017. - 9781538615898 ; , s. 485-486
-
Konferensbidrag (refereegranskat)abstract
- Autonomous Systems are systems situated in some environment and are able of taking decision autonomously. The environment is not precisely known at design-time and it might be full of unforeseeable events that the autonomous system has to deal with at run-time. This brings two main problems to be addressed. One is that the uncertainty of the environment makes it difficult to model all the behaviours that the autonomous system might have at the design-time. A second problem is that, especially for safety-critical systems, maintaining the safety requirements is fundamental despite the system's adaptations. We address such problems by shifting some of the assurance tasks at run-time. We propose a method for delegating part of the decision making to agent-based algorithms using machine learning techniques. We then monitor at run-time that the decisions do not violate the autonomous system's safety-critical requirements and by doing so we also send feedback to the decision-making process so that it can learn. We plan to implement this approach using reinforcement learning for decision making and predictive monitoring for checking at run-time the preservation and/or violation of invariant properties of the system. We also plan to validate it using ROS as software middleware and miniaturized vehicles and real vehicles as hardware.
|
|
| 6. |
- Mols, Carl-Eric, et al.
(författare)
-
Charting the market disruptive nature of open source : Experiences from sony mobile
- 2017
-
Ingår i: PROCEEDINGS OF THE 2017 IEEE/ACM 39TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING COMPANION (ICSE-C 2017). - : Institute of Electrical and Electronics Engineers Inc.. - 9781538615898 ; , s. 175-176
-
Konferensbidrag (refereegranskat)abstract
- Open Source Software (OSS) has substantial impact on how software-intensive firms develop products and deliver value to the customers. These companies need both strategic and operational support on how to adapt OSS as a part of their products and how to adjust processes and organizations to increase the benefits from OSS participation. This work presents the key insights from the journey that Sony Mobile has made from a company developing proprietary software to a respected member of OSS communities. We framed the experiences into an Open Source Maturity Model that includes two scenarios: engineering-driven and business-driven open source. We outline the most important decisions, roles, processes and implications. © 2017 IEEE.
|
|
| 7. |
- Schröder, Jan, 1986, et al.
(författare)
-
Comparison of model size predictors in practice
- 2017
-
Ingår i: Proceedings - 2017 IEEE/ACM 39th International Conference on Software Engineering Companion, ICSE-C 2017. - : ACM. - 9781538615898
-
Konferensbidrag (refereegranskat)abstract
- The amount of software in modern vehicles is constantly growing. However, the risk for functional and quality deficiencies increases simultaneously with size. This results in industry for example in inevitable and unexpected refactorings of software models, which is slowing down development processes in turn. In this industrial case study, we evaluate model growth predictors applied to foresee critical model size developments. We present five approaches and systematically compare them regarding prediction accuracy.
|
|
| 8. |
- Vesin, B., et al.
(författare)
-
OctoUML: An Environment for Exploratory and Collaborative Software Design
- 2017
-
Ingår i: Proceedings of the IEEE-ACM International Conference on Software Engineering Companion. - : IEEE. - 9781538615898
-
Konferensbidrag (refereegranskat)abstract
- Software architects seek efficient support for planning and designing models at multiple levels of abstraction and from different perspectives. For this it is desirable that software design tools support both informal and formal representation of design, and also support their combination and the transition between them. Furthermore, software design tools should be able to provide features for collaborative work on the design. OctoUML supports the creation of software models at various levels of formality, collaborative software design, and multi-modal interaction methods. By combining these features, OctoUML is a prototype of a new generation software design environment that aims to better supports software architects in their actual software design and modelling processes.
|
|
| 9. |
- Wohlrab, Rebekka
(författare)
-
Continuous Management of Design- and Run-Time Artifacts for Self-Adaptive Systems
- 2017
-
Ingår i: 2017 IEEE/ACM 39th International Conference on Software Engineering Companion (ICSE-C). - : IEEE. - 9781538615898
-
Konferensbidrag (refereegranskat)abstract
- With the rise of smart and autonomous systems, self-adaptation plays a significant role in the capabilities of software-intensive systems. When developing and operating self-adaptive systems, a growing amount of information is required. This information forms the basis to systems' evolution and adaptation at run time, but is also used at design time to evolve and maintain the systems. To support development organizations in the future, efficient ways to manage information throughout the systems' lifecycle are needed. However, there is currently a lack of methods to continuously manage artifacts for self-adaptive systems. In our research, we aim to close this gap by developing methods and techniques to manage both design-time and run-time artifacts. We conduct empirical studies to identify practitioners' needs and challenges. Then we develop innovative solutions and technologies and evaluate them in practical scenarios.
|
|
| 10. |
- Wohlrab, Rebekka, 1991
(författare)
-
Continuous management of design- and run-time artifacts for self-adaptive systems
- 2017
-
Ingår i: Proceedings - 2017 IEEE/ACM 39th International Conference on Software Engineering Companion, ICSE-C 2017. - 9781538615898 ; , s. 473-474
-
Konferensbidrag (refereegranskat)abstract
- With the rise of smart and autonomous systems, self-adaptation plays a significant role in the capabilities of software-intensive systems. When developing and operating self-adaptive systems, a growing amount of information is required. This information forms the basis to systems' evolution and adaptation at run time, but is also used at design time to evolve and maintain the systems. To support development organizations in the future, efficient ways to manage information throughout the systems' lifecycle are needed. However, there is currently a lack of methods to continuously manage artifacts for self-adaptive systems. In our research, we aim to close this gap by developing methods and techniques to manage both design-time and run-time artifacts. We conduct empirical studies to identify practitioners' needs and challenges. Then we develop innovative solutions and technologies and evaluate them in practical scenarios.
|
|
