Experimentation of WCET computation on both ends of automotive processor range
| Autor: | Clément Ballabriga, Hugues Cassé, Pascal Sainrat, M. de Michiel |
|---|---|
| Rok vydání: | 2010 |
| Předmět: |
business.industry
Computer science Computation Automotive industry 02 engineering and technology Static analysis 020202 computer hardware & architecture Range (mathematics) Embedded applications Embedded system 0202 electrical engineering electronic engineering information engineering ComputerSystemsOrganization_SPECIAL-PURPOSEANDAPPLICATION-BASEDSYSTEMS 020201 artificial intelligence & image processing business |
| Zdroj: | EDCC-CARS |
| DOI: | 10.1145/1772643.1772663 |
| Popis: | This article presents the results of experimenting our OTAWA tool to compute WCETs on a real automotive embedded application. First, we analyze the application (C source generated from Simulink models) and exhibit specific properties and their implication on the WCET computation. Then, two very different embedded processor architectures are tested and in both cases we show (1) how their specific features are supported by OTAWA and (2) how to configure them to maximize both performances and determinism. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|