Identifying the origins of potentially injected defects in implementation activities during requirement analysis and design activities is challenging, but leads to the prevention of defects, which are burdensome to correct. This study investigates ...

Formal methods are mathematically based techniques for the rigorous development of software-intensive systems. The railway signaling domain is a field in which formal methods have traditionally been applied, with several success stories. This article ...

Analysis models, technologies and tools are extensively used in the automotive domain to validate and optimize the design and implementation of SW systems. This is especially true for modern systems including advanced autonomous (and complex) features. ...

The Digital Asset Modelling Language (DAML) enables low-code development of smart contract applications. Starting from a high-level but textual notation, DAML thus implements the lower end of a model-driven development process, from a platform-...

The fourth industrial revolution (Industry 4.0) anticipates frequent synthesis and optimization of different architectural design decisions (ADDs) - such as deployment of software components to hardware components, service composition, production ...

Realizing desired properties "by construction" is a highly appealing goal in the design of safety-critical embedded systems. As verification and validation tasks in this domain are often both challenging and time-consuming, the by-construction paradigm ...

Modern development of complex embedded systems utilizes models to describe multiple different views on the same system. Consistency between these models is essential to successful development but ensuring it is in current practice often a manual effort. ...

In this paper we present work towards automating two process steps supporting the optimization of the runnable-to-task mapping in automotive multi-core control units. We describe these steps in close relation to the AUTOSAR methodology to facilitate the ...

MATLAB/Simulink is the de facto standard tool for the model-based development (MBD) of control software for automotive systems. A model developed in MBD is called a Simulink model and, for real automotive systems, involves complex computation as well as ...

The complexity of safety-critical E/E-systems within the automotive domain are continuously increasing. At the same time, functional safety standards such as the ISO 26262 prescribe analysis methods like the Fault Tree Analysis (FTA) and Failure Mode ...

The advances in Cyber-Physical Systems (CPS) are also effecting the aeronautics. The growth of the cyber layer in aircraft is demanding higher throughput and eventually multi-core systems are becoming topics of interest. The development of parallel real-...

This paper proposes the use of static analysis to improve the generation of invariants from test data extracted from Simulink models. Previous work has shown the utility of such automatically generated invariants as a means for updating and completing ...

The popularity of parallel and distributed simulations (PADS) is increasing gradually, because they are one of the strongest techniques to simulate complex models in a scalable way. Thanks to PADS, high speedup values can be achieved and many of those ...

This article addresses the problem of parallelizing model block diagrams for real-time embedded applications on multicore architectures. We describe a Mixed Integer Linear Programming formulation for finding a feasible mapping of the blocks to different ...

Interactive cockpits have been used since the early 00's in many aircraft cockpits, but the use of interactivity still remains limited to non-critical functions even in the most recent aircrafts. Indeed, engineering such interactive systems is still a ...

Non-functional requirements (NFRs) are commonly distinguished from functional requirements by differentiating how the system shall do something in contrast to what the system shall do. This distinction is not only prevalent in research, but also ...

The heterogeneous nature of broadband networks and the varied levels of services required by applications pose a challenge to the collection and assessment of performance-related metrics. This paper discusses a simulation based, model-driven approach in ...

Despite the myriad media content, there are users who cannot access it. Accessibility standards indicate that both the media content as the user agent that provides access to the media content must be accessible to everyone, with or without a ...

Changing the development environment can have severe impacts on the system behavior such as the execution-time performance. Since it can be costly to migrate a software application, engineers would like to predict the performance parameters of the ...

Development of dependable embedded automotive systems faces many challenges arising from increasing complexity, criticality, and demand of certifiability. Efficient and consistent development models along the entire development life cycle needs to be ...