Precise WCET calculation in highly variant real-time systems

Montag, Pascal; Altmeyer, Sebastian

doi:10.1109/date.2011.5763149

Cited by 4 publications

(1 citation statement)

References 10 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Due to these facts, the integration and parameterization of platform components and their configurations grow significantly which causes huge platform variant and configuration spaces. In [2] for example, an automatic gear shifting application from Daimler Trucks is described which consists of 6.4 million valid variants. Each of them can be integrated in trucks and should be implemented, verified and tested.…”

Section: Introductionmentioning

confidence: 99%

Constraint-based platform variants specification for early system verification

Burger

Viehl

Braun

et al. 2014

2014 19th Asia and South Pacific Design Automation Conference (ASP-DAC)

View full text Add to dashboard Cite

To overcome the verification gap arising from significantly increased external IP integration and reuse during electronic platform design and composition, we present a model-based approach to specify platform variants. The variants specification is processed automatically by formalizing and solving the integrated constraint sets to derive valid platforms. These constraint sets enable a precise specification of the required platform variants for verification, exploration and test. Experimental results demonstrate the applicability, versatility and scalability of our novel model-based approach.

show abstract

Section: Introductionmentioning

confidence: 99%