Model-based validation of safety-critical embedded systems

Abstract

Safety-critical systems have become increasingly software reliant and the current development process of &#x201C;build, then integrate&#x201D; has become unaffordable.<sup>1,2</sup> This paper examines two major contributors to today's exponential growth in cost: system-level faults that are not discovered until late in the development process; and multiple… (More)

Topics

6 Figures and Tables

Slides referencing similar topics