Introduction

Abstract

The embedded safety-critical system design and development industries are facing ever-increasing demands regarding the variety and flexibility of systems and devices from society. At a technical level, these demands result in more and more complex solutions that, at the same time, need to abide by stringent regulatory requirements and economic challenges, such as cost, performance and time to market