Model-based energy optimization of automotive control systems

Proceedings -Design, Automation and Test in Europe, DATE

Volumn , Issue , 2013, Pages 761-766

  Katoen, Joost Pieter ^a   Noll, Thomas ^a   Wu, Hao ^a   Santen, Thomas ^b   Seifert, Dirk ^b  

^a RWTH AACHEN UNIVERSITY   (Germany)

^b MICROSOFT RESEARCH   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ENERGY UTILIZATION; GREEN COMPUTING; POWER MANAGEMENT;

AUTOMOTIVE CONTROL SYSTEMS; CONSTRAINT SOLVING; EMBEDDED CONTROL UNITS; ENERGY OPTIMIZATION; EXPECTED ENERGY; OPTIMAL DEPLOYMENT; PROBABILISTIC ANALYSIS; REGULATION MECHANISMS;

CONTROLLERS;

EID: 84885611879     PISSN: 15301591     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.7873/date.2013.162     Document Type: Conference Paper

References (9)

1. E. K. Jackson, E. Kang, M. Dahlweid, D. Seifert, and T. Santen, "Components, platforms and possibilities: Towards generic automation for MDA," in Proc. 10th Int. Conf. on Embedded Software (EMSOFT 10). ACM, 2010, pp. 39-48.
2. E. K. Jackson, D. Seifert, M. Dahlweid, T. Santen, N. Bjørner, and W. Schulte, "Specifying and composing non-functional requirements in model-based development," in Proc. 8th Int. Conf. on Software Composition (SC 2009), ser. LNCS, vol. 5634. Springer, 2009, pp. 72-89.
3. P. Bourgos, A. Basu, M. Bozga, S. Bensalem, J. Sifakis, and K. Huang, "Rigorous system level modeling and analysis of mixed HW/SW systems," in 9th IEEE/ACM Int. Conf. on Formal Methods and Models for Codesign (MEMOCODE 2011). IEEE, 2011, pp. 11-20.
4. B. Theelen, M. Geilen, T. Basten, J. Voeten, S. Gheorghita, and S. Stuijk, "A scenario-aware data flow model for combined long-run average and worst-case performance analysis," in 4th IEEE/ACM Int. Conf. on Formal Methods and Models for Codesign (MEMOCODE 2006). IEEE, 2006, pp. 185-194.
5. C. Schmutzler, M. Simons, and J. Becker, "On demand dependent deactivation of automotive ECUs," in Design, Automation & Test in Europe (DATE 2012). IEEE, 2012, pp. 69-74.
6. G. Norman, D. Parker, M. Z. Kwiatkowska, S. K. Shukla, and R. Gupta, "Using probabilistic model checking for dynamic power management," Formal Asp. Comput., vol. 17, no. 2, pp. 160-176, 2005.
7. X. Piao, H. Kim, Y. Cho, M. Park, S. Han, M. Park, and S. Cho, "Energy consumption optimization of real-time embedded systems," in Int. Conf. on Embedded Software and Systems (ICESS 2009). IEEE, 2009, pp. 281-287.
8. L. M. D. Moura and N. Bjrner, Z3: An Efficient SMT Solver, 2008.
9. M. Kwiatkowska, G. Norman, and D. Parker, "Probabilistic symbolic model checking with PRISM: a hybrid approach," Int. J. on Software Tools for Technology Transfer, vol. 6, no. 2, pp. 128-142, 2004.