SC Harvester Papers Database Interface

Lightweight Consistency Checking for Agile Model-Based Development in Practice

R. Jongeling, Federico Ciccozzi, A. Cicchetti, Jan Carlson. In: J. Object Technol.. 2019

Abstract: In model-based development projects, models at different abstraction levels capture different aspects of a software system, e.g., specification or design. Inconsistencies between these models can c ......

Work in Progress towards Consistency Management for Industrial Model-based Development

R. Jongeling. In: . 2019

Towards an Actor-based Approach to Design Verified ROS-based Robotic Programs using Rebeca

Saeid Dehnavi, Ali Sedaghatbaf, Bahar Salmani, M. Sirjani, M. Kargahi et al. In: Procedia Computer Science. 2019

Abstract: Abstract Robotic technology helps humans in different areas such as manufacturing, health care and education. Due to the ubiquitous revolution, today’s focus is on mobile robots and their applications in a variety of cyber-physical systems. ROS is a wll-known and powerful middleware that facilitates software development for mobile robots. However, this middleware does not support assuring properti...

Fault prediction of power system distribution equipment based on support vector machine

Zhenqi Wang, Hongyi Zhang. 2019

Is Technology the Answer ? Software Quality Issues in Electronic Voting Systems

D. Buell, Gregory Gay. 2019

Search-Based Software Engineering: 11th International Symposium, SSBSE 2019, Tallinn, Estonia, August 31 – September 1, 2019, Proceedings

S. Nejati, Gregory Gay. In: Search-Based Software Engineering. 2019

Continuous Integration Behaviors in Large-Scale Industry Projects

Torvald Mårtensson. 2019

Chapter 7 Continuous Practices and DevOps : Beyond the Buzz , What Does It All Mean ?

Torvald Mårtensson. 2019

Continuous integration and delivery applied to large-scale software-intensive embedded systems

Torvald Mårtensson. In: . 2019

Information Needs for SAFe Teams and Release Train Management: A Design Science Research Study

M. Staron, Wilhelm Meding, Poupak Baniasad. In: . 2019

Experimental Analysis of Dependency Factors of Software Product Reliability using SonarQube

S. Joshi, Bharat M. Deshpande, S. Punnekkat. In: . 2019

On Fault-tolerant Scheduling of Time Sensitive 1 Networks

R. Dobrin, N. Desai, S. Punnekkat. 2019

Abstract: 12 Time sensitive networking (TSN) is gaining attention in industrial automation networks since it 13 brings essential real-time capabilities at the data link layer. Though it can provide deterministic 14 latency under error free conditions, TSN still largely depends on space redundancy for improved 15 reliability. In many scenarios, time redundancy could be an adequate as well as cost efficient 1...

On Fault-Tolerant Scheduling of Time Sensitive Networks

R. Dobrin, Nitin Desai, S. Punnekkat. In: . 2019

Towards Assessing Risk of Reality Augmented Safety-critical Socio-technical Systems

S. Sheikh, B. Gallina. 2019

Augmented Reality-extended Humans: Towards a Taxonomy of Failures – Focus on Visual Technologies

Soheila Sheikh Bahaei, B. Gallina. In: Proceedings of the 29th European Safety and Reliability Conference (ESREL). 2019

Abstract: Augmented reality, e.g. immersive visual technologies, augment the human's capabilities. If not properly designed, such augmentation may contribute to the decrease of the human's awareness (e.g., d ......