Fitting the CHESS Approach to the AUTOSAR Development Flow.

Enabling early validation of extra functional properties can play an important role in the development process of reliable and safe cyber physical systems (CPS); this is particularly relevant in the automotive industry where the ever-increasing need to reduce electronic control unit (ECU) production development cost, enhance quality, and shorten the development cycle time is a crucial aspect. Building on the results of the recently ended CONCERTO project, CHESS pursues this objective by proposing a methodology and technology which fits into the well-defined AUTOSAR workflow. [ABSTRACT FROM AUTHOR]