SC Harvester Papers Database Interface

Formal Design, Co-Simulation and Validation of a Radar Signal Processing System

George Ungureanu, Timmy Sundström, A. Ahlander, I. Sander, I. Söderquist. In: 2019 Forum for Specification and Design Languages (FDL). 2019

Abstract: With the ever increasing complexity in safety-critical and performance-demanding application domains such as automotive and avionics, the costs of designing, producing and especially testing systems does not scale well for the next generation of applications. One example is the active electronically scanned array (AESA) antenna signal processing chain, which is currently out-of-reach from consumer...

A Meta-model for Process Failure Mode and Effects Analysis (PFMEA)

K. Höfig, C. Klein, Stefan Rothbauer, M. Zeller, Marian Vorderer et al. In: 2019 24th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA). 2019

Abstract: Short product lifecycles and a high variety of products force industrial manufacturing processes to change frequently. Due to the manual approach of many quality analysis techniques, they can significantly slow down adaption processes of production systems or make production unprofitable. Therefore, automating them can be a key technology for keeping pace with market demand of the future. The meth...

Self-driving Vehicles Will Revolutionize the Transportation System

E. Coelingh, Jonas Ekmark. In: ATZelectronics worldwide. 2019

Probabilistic Timing Analysis of a Periodic Task on a Microcontroller

Jonathan Thörn, Najda Vidimlic, A. Friebe, A. Papadopoulos, T. Nolte. In: 2019 24th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA). 2019

Abstract: In this paper we present our ongoing work towards a realistic probabilistic timing analysis of embedded software systems subject to timing requirements. In order to provide such an analysis that captures necessary and important behavioural features of the software system under analysis, including the underlying platform, we have implemented a real-time system running on a Rasberry Pi microcontroll...

Towards Automated Installation of Reinforcement Using Industrial Robots

Johan Relefors, M. Momeni, Lars Pettersson, E. Hellström, Anders Thunell et al. In: 2019 24th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA). 2019

Abstract: The construction industry is today among the least automated industries with a long tradition of utilizing manual labour. Despite the potential benefits of automation, only a few examples of using robots to automate (parts of) construction have been presented over the past years. In this paper we present our ongoing work towards automated installation of reinforcement, a traditionally very heavy a...

Non-Functional Requirements for Machine Learning: Challenges and New Directions

J. Horkoff. In: 2019 IEEE 27th International Requirements Engineering Conference (RE). 2019

Abstract: Machine Learning (ML) provides approaches which use big data to enable algorithms to "learn", producing outputs which would be difficult to obtain otherwise. Despite the advances allowed by ML, much recent attention has been paid to certain qualities of ML solutions, particularly fairness and transparency, but also qualities such as privacy, security, and testability. From a requirements engineeri...

Towards Effective Assessment for Social Engineering Attacks

Tong Li, Kaiyuan Wang, J. Horkoff. In: 2019 IEEE 27th International Requirements Engineering Conference (RE). 2019

Abstract: Social engineering attacks have drawn more and more attention from both academia and industry, due to the serious threats they pose to information security via exploitation of human vulnerabilities. Unlike technology-based attacks, which have been investigated for decades, there is no efficient security requirements analysis approach for dealing with social engineering attacks. One major obstacle ...

Towards Reactive Robot Applications in Dynamic Environments

A. Lager, G. Spampinato, A. Papadopoulos, T. Nolte. In: 2019 24th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA). 2019

Abstract: Traditionally, industrial robots have been deployed in fairly static environments, to perform highly dedicated tasks. These robots perform with very high precision and throughput. However, nowadays there is an increasing demand for utilizing robots in more dynamic environments, also performing more flexible and less specialized operations — high mix/low volume. Both traditional industrial robots a...

Characterizing Internet of Things Systems through Taxonomies: A Systematic Mapping Study

Fahed Alkhabbas, Romina Spalazzese, P. Davidsson. In: Internet Things. 2019

Abstract: Abstract During the last decade, a large number of different definitions and taxonomies of Internet of Things (IoT) systems have been proposed. This has resulted in a fragmented picture and a lack of consensus about IoT systems and their constituents. To provide a better understanding of this issue and a way forward, we have conducted a Systematic Mapping Study (SMS) of existing IoT System taxonom...

Automated synthesis of application-layer connectors from automata-based specifications

Marco Autili, P. Inverardi, Romina Spalazzese, Massimo Tivoli, Filippo Mignosi. In: J. Comput. Syst. Sci.. 2019

Abstract: Abstract Ubiquitous and Pervasive Computing, and the Internet of Things, promote dynamic interaction among heterogeneous systems. To achieve this vision, interoperability among heterogeneous systems represents a key enabler, and mediators are often built to solve protocol mismatches. Many approaches propose the synthesis of mediators. Unfortunately, a rigorous characterization of the concept of in...

Applicability of the IEC 62443 standard in Industry 4.0 / IIoT

B. Leander, Aida Čaušević, H. Hansson. In: Proceedings of the 14th International Conference on Availability, Reliability and Security. 2019

Abstract: Today's industrial automation systems are undergoing a digital transformation that implies a shift towards the Internet of Things (IoT), leading to the Industrial Internet of Things (IIoT) paradigm. Existing Industrial Automated Control Systems (IACS), enriched with a potentially large number of IoT devices are expected to make systems more efficient, flexible, provide intelligence, and ultimately...

Applicability of the IEC 62443 standard in Industry 4.0 / IIoT

B. Leander, Aida Čaušević, H. Hansson. In: Proceedings of the 14th International Conference on Availability, Reliability and Security. 2019

Abstract: Today's industrial automation systems are undergoing a digital transformation that implies a shift towards the Internet of Things (IoT), leading to the Industrial Internet of Things (IIoT) paradigm. Existing Industrial Automated Control Systems (IACS), enriched with a potentially large number of IoT devices are expected to make systems more efficient, flexible, provide intelligence, and ultimately...

Open data collaborations: a snapshot of an emerging practice

Thomas Olsson, P. Runeson. In: Proceedings of the 15th International Symposium on Open Collaboration. 2019

Abstract: Data defined software is becoming more and more prevalent, especially with the advent of machine learning and artificial intelligence. With data defined systems come both challenges - to continue to collect and maintain quality data - and opportunities - open innovation by sharing with others. We propose Open Data Collaboration (ODC) to describe pecuniary and non-pecuniary sharing of open data, si...

An autonomous performance testing framework using self-adaptive fuzzy reinforcement learning

M. H. Moghadam, Mehrdad Saadatmand, Markus Borg, M. Bohlin, B. Lisper. In: Software Quality Journal. 2019

Abstract: Test automation brings the potential to reduce costs and human effort, but several aspects of software testing remain challenging to automate. One such example is automated performance testing to find performance breaking points. Current approaches to tackle automated generation of performance test cases mainly involve using source code or system model analysis or use-case-based techniques. Howeve...

Quantitative evaluation of tailoring within SPICE‐compliant security‐informed safety‐oriented process lines

B. Gallina. In: Journal of Software: Evolution and Process. 2019

Abstract: In the context of SPICE‐compliant and (security‐informed) safety processes, efficient process tailoring is necessary due to the increasing proliferation of requirements, which, if not systematised, may become an unmanageable cognitive overload leading to process degradation instead of improvement. Recently, security‐informed safety‐oriented process line engineering (SiSoPLE) has been proposed as a...