Throughput propagation in constraint-based design space exploration for mixed-criticality systems

Conference Object

Abstract: When designing complex mixed-critical systems on multiprocessor platforms, a huge number of design a

Palabras claves:

constraint programming, Correct-by-construction, Design space exploration, Performance Analysis

Autores:

Ingo Sander, Khalilzad N., Rosvall K., Ungureanu G.

Fuentes:

scopus