Raluca Marinescu

Pruning Architectural Models of Automotive Embedded Systems via Dependency Analysis

2016

Dependency analysis techniques are widely used to understand software implementations, and reduce their verification efforts. Recently, architectural languages have started to be integrated in the development of complex embedded systems. Such languages provide early development …