With increasing automotive system complexity, formal methods become more important as a complement to simulation and prototyping. Formal methods have already been used in early architecture design, e.g. to optimize bus architectures as such models can be applied before executable models are available. Recent advances in real-time system analysis have extended the scope of formal models to heterogeneous networks with different protocols and gateways, and with electronic control units (ECUs) running different scheduling algorithms. These formal models can be used to optimize those systems and analyze the sensitivity to later changes in the design process or to run time events such as retransmission due to errors. This paper shows a brief introduction to the underlying model and algorithms of the tool, SymTA/S, and gives a small example for its application to system integration.
Automotive system optimization using sensitivity analysis
Optimierung eines elektronischen Fahrzeugsystems mit Hilfe der Sensitivitätsanalyse
2007
14 Seiten, 8 Bilder, 4 Tabellen, 13 Quellen
Aufsatz (Konferenz)
Englisch
Physics-Based Models, Sensitivity Analysis, and Optimization of Automotive Batteries
SAE Technical Papers | 2014
|Physics-Based Models, Sensitivity Analysis, and Optimization of Automotive Batteries
SAE Technical Papers | 2013
|Physics-Based Models, Sensitivity Analysis, and Optimization of Automotive Batteries
British Library Conference Proceedings | 2014
|Physics-based models, sensitivity analysis, and optimization of automotive batteries
Kraftfahrwesen | 2014
|Physics-Based Models, Sensitivity Analysis, and Optimization of Automotive Batteries
British Library Conference Proceedings | 2013
|