SC Harvester Papers Database Interface

Towards a body of knowledge for model-based software engineering

Federico Ciccozzi, Michalis Famelis, G. Kappel, L. Lambers, S. Mosser et al. In: Proceedings of the 21st ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings. 2018

Abstract: Model-based Software Engineering (MBSE) is now accepted as a Software Engineering (SE) discipline and is being taught as part of more general SE curricula. However, an agreed core of concepts, mechanisms and practices --- which constitutes the Body of Knowledge of a discipline --- has not been captured anywhere, and is only partially covered by the SE Body of Knowledge (SWEBOK). With the goals of ...

Toward an Improved Understanding of Agile Project Governance

T. Lappi, Teemu Karvonen, Lucy Ellen Lwakatare, K. Aaltonen, P. Kuvaja. In: Project Management Journal. 2018

Abstract: The purpose of this study is to provide understanding of project governance practices in agile projects. A systematic review of the previous agile literature is conducted to identify and categorize agile project governance practices, which are synthesized in a six-dimensional framework. The study contributes to the literature by contrasting traditional and agile project governance practices and by...

What Good are Models?

Edward A. Lee, M. Sirjani. In: . 2018

Transforming SPEM 2.0-Compatible Process Models into Models Checkable for Compliance

Julieth Patricia Castellanos Ardila, Barbara Gallina, Faiz ul Muram. In: . 2018

Hybrid Rebeca: Modeling and Analyzing of Cyber-Physical Systems

Iman Jahandideh, F. Ghassemi, M. Sirjani. In: ArXiv. 2018

Abstract: In cyber-physical systems like automotive systems, there are components like sensors, actuators, and controllers that communicate asynchronously with each other. The computational model of actor supports modeling distributed asynchronously communicating systems. We propose Hybrid Rebeca language to support modeling of cyber-physical systems. Hybrid Rebeca is an extension of actor-based language Re...

Real-time systems

Hans A. Hansson, J. Carlson, D. Isovic, Kristina Lundqvist, Thomas Nolte et al. In: . 2018

Abstract: The journal Real-Time Systems publishes papers, short papers and correspondence articles that concentrate on real-time computing principles and applications. The contents include research papers, invited papers, project reports and case studies, standards and corresponding proposals for general discussion, and a partitioned tutorial on real-time systems as a continuing series. The range of covera...

Modeling and analyzing real-time wireless sensor and actuator networks using actors and model checking

Ehsan Khamespanah, M. Sirjani, K. Mechitov, G. Agha. In: International Journal on Software Tools for Technology Transfer. 2018

Message from the ICII 2018 General Chair

I. Crnkovic. In: 2018 IEEE International Conference on Industrial Internet (ICII). 2018

Abstract: It is my great pleasure to welcome you to the 40th International Conference on Software Engineering in Gothenburg, Sweden. Science and research, as well as the openness to new ideas and new people, are an important part of the Scandinavian culture. Sweden hosts many high technology companies in which software plays an essential role. The Town of Gothenburg, with its two internationally renowned un...

Cloud, Edge, or Both? Towards Decision Support for Designing IoT Applications

M. Ashouri, P. Davidsson, Romina Spalazzese. In: 2018 Fifth International Conference on Internet of Things: Systems, Management and Security. 2018

Abstract: The rapidly evolving Internet of Things (IoT) includes applications which might generate a huge amount of data, this requires appropriate platforms and support methods. Cloud computing offers attractive computational and storage solutions to cope with these issues. However, sending to centralized servers all the data generated at the edge of the network causes latency, energy consumption, and high...

COMMitMDE 2018 - 3rd International Workshop on Collaborative Modelling in MDE

J. Bosch, S. Gérard, D. Kolovos, I. Malavolta, H. Muccini. In: . 2018

Technical Debt tracking: Current state of practice: A survey and multiple case study in 15 large organizations

A. Martini, Terese Besker, J. Bosch. In: Sci. Comput. Program.. 2018

Abstract: Abstract Large software companies need to support continuous and fast delivery of customer value both in the short and long term. However, this can be hindered if both the evolution and maintenance of existing systems are hampered by Technical Debt. Although a lot of theoretical work on Technical Debt has been produced recently, its practical management lacks empirical studies. In this paper, we i...

Message from the WoSoCer 2018 Workshop Chairs

H. Alemzadeh, Barbara Gallina, R. Natella, Kateryna Netkachova, R. Pietrantuono et al. In: 2018 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW). 2018

Can STPA be used for a System-of-Systems? Experiences from an Automated Quarry Site

Stephan Baumgart, Joakim Froberg, S. Punnekkat. In: 2018 IEEE International Systems Engineering Symposium (ISSE). 2018

Abstract: Automation is becoming prevalent in more and more industrial domains due to the potential benefits in cost reduction as well as the new approaches/solutions they enable. When machines are automated and utilized in system-of-systems, a thorough analysis of potential critical scenarios is necessary to derive appropriate design solutions that are safe as well. Hazard analysis methods like PHA, FTA or...

Investigating faults missed by test suites achieving high code coverage

Amanda Schwartz, Daniel Puckett, Meng, Gregory Gay. In: J. Syst. Softw.. 2018

Abstract: Abstract Code coverage criteria are commonly used to determine the adequacy of a test suite. However, studies investigating code coverage and fault-finding capabilities have mixed results. Some studies have shown that creating test suites to satisfy coverage criteria has a positive effect on finding faults, while other studies do not. In order to improve the fault-finding capabilities of test suit...

Towards Security Case Run-Time Adaptation by System Decomposition into Services

Elena Lisova, Aida Čaušević. In: IECON 2018 - 44th Annual Conference of the IEEE Industrial Electronics Society. 2018

Abstract: For interconnected and complex systems, security is paramount for establishing trust in their correctness and design adequacy. Thus, security needs to be assured and a corresponding security assurance case needs to be presented to system stakeholders, security assessors, as well as to system users. However, security is dynamic by its nature and to maintain its acceptable security level, frequent u...