Model-based validation of safety-critical embedded systems


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)


6 Figures and Tables

Slides referencing similar topics