Towards self-adaptation in real-time, networked systems: Efficient solving of system constraints for automotive embedded systems

Proceedings - 2011 5th IEEE International Conference on Self-Adaptive and Self-Organizing Systems, SASO 2011

Volumn , Issue , 2011, Pages 79-88

  Zeller, Marc ^a   Prehofer, Christian ^a   Weiss, Gereon ^a   Eilers, Dirk ^a   Knorr, Rudi ^a  

^a Fraunhofer Einrichtung fur Systeme der Kommunikationstechnik   (Germany)

Author keywords

allocation; automotive; constraints; networked embedded systems; runtime adaptation

Indexed keywords

ALLOCATION; AUTOMOTIVE; CONSTRAINTS; NETWORKED EMBEDDED SYSTEMS; RUNTIME ADAPTATION;

ADAPTIVE SYSTEMS; EMBEDDED SOFTWARE; REAL TIME SYSTEMS; SIMULATED ANNEALING;

EMBEDDED SYSTEMS;

EID: 81255209254     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/SASO.2011.19     Document Type: Conference Paper

References (34)

1. J. Kramer and J. Magee, "Dynamic configuration for distributed systems," IEEE Transactions on Software Engineer- ing, vol. 11, no. 4, pp. 424-436, 1985.
2. P. Oreizy, N. Medvidovic, and R. N. Taylor, "Architecturebased runtime software evolution," in Proceedings of the 20th Int. Conference on Software Engineering, 1998, pp. 177-186.
3. I. Georgiadis, J. Magee, and J. Kramer, "Self-organising software architectures for distributed systems," in Proceedings of the 1st Workshop on Self-healing Systems, 2002, pp. 33-38.
4. M. Zeller, G. Weiss, D. Eilers, and R. Knorr, "An approach for providing dependable self-adaptation in distributed embedded systems," in Proceedings of 2011 ACM Symposium On Applied Computing, 2011, pp. 236-237.
5. A. Metzner and C. Herde, "Rtsat - an optimal and efficient approach to the task allocation problem in distributed architectures,"in 27th IEEE Int. Real-Time Systems Symposium, 2006, pp. 147-158.
6. M. Glaß, M. Lukasiewycz, J. Teich, U. Bordoloi, and S. Chakraborty, "Designing heterogeneous ECU networks via compact architecture encoding and hybrid timing analysis," in Proceedings of the 2009 ACM/EDAC/IEEE Design Automa- tion Conference, 2009, pp. 43-46.
7. B. Hardung, "Optimisation of the allocation of functions in vehicle networks," Ph.D. dissertation, University of Erlangen- Nürnberg, 2006.
8. M. Lukasiewycz, "Modeling, analysis, and optimization of automotive networks," Ph.D. dissertation, University of Erlangen-Nürnberg, 2010.
9. K. Venkatesh Prasad, M. Broy, and I. Krüger, "Scanning advances in aerospace and automobile software technology,"Proceedings of the IEEE, vol. 98, no. 4, pp. 510-514, 2010.
10. G. Weiss, M. Zeller, D. Eilers, and R. Knorr, "Towards selforganization in automotive embedded systems," in ATC'09: Proceedings of the 6th Int. Conference on Autonomic and Trusted Computing, 2009, pp. 32-46.
11. J. O. Kephart and D. M. Chess, "The vision of autonomic computing," IEEE Computer, vol. 36, no. 1, pp. 41-50, 2003.
12. G. Weiss, M. Zeller, and D. Eilers, "Towards automotive embedded systems with self-x properties," in New Trends and Developments in Automotive System Engineering. InTech, 2011.
13. E. Coffman, Computer and job-shop scheduling theory. Wiley New York, 1976.
14. P. K. McKinley, S. M. Sadjadi, E. P. Kasten, and B. H. Cheng, "Composing adaptive software," IEEE Computer, vol. 37, no. 7, pp. 56-64, 2004.
15. Robert Bosch GmbH, "CAN Specification Version 2.0," 1991, http://www.semiconductors.bosch.de/pdf/can2spec.pdf.
16. AUTOSAR Consortium, "AUtomotive Open Sytem ARchitecture (AUTOSAR)," http://www.autosar.org.
17. M. Joseph and P. Pandya, "Finding response times in a realtime system," The Computer Journal, vol. 29, no. 5, pp. 390-395, 1986. (Pubitemid 17463568)
18. R. Davis and A. Burns, "Response time upper bounds for fixed priority real-time systems," in Proceedings of the 29th IEEE Real-Time Systems Symposium, 2008, pp. 407-418.
19. N. Eén and N. Sörensson, "Translating pseudo-boolean constraints into SAT," Journal on Satisfiability, Boolean Modeling and Computation, vol. 2, no. 3-4, pp. 1-25, 2006.
20. C. L. Liu and J. W. Layland, "Scheduling algorithms for multiprogramming in a hard-real-time environment," Journal of the ACM, vol. 20, pp. 46-61, 1973.
21. J. Liu, Real-time Systems. Prentice Hall, 2000.
22. M. Di Natale and A. Sangiovanni-Vincentelli, "Moving from federated to integrated architectures in automotive: The role of standards, methods and tools," Proceedings of the IEEE, vol. 98, no. 4, pp. 603-620, 2010.
23. K. Lakshmanan, G. Bhatia, and R. Rajkumar, "Integrated endto- end timing analysis of networked AUTOSAR-compliant systems," in Proceedings of the 13th Design, Automation and Test in Europe Conference, 2010.
24. FlexRay Consortium, "The FlexRay Communications System Specifications Version 2.1," 2005, http://www.flexray.com/.
25. R. I. Davis, A. Burns, R. J. Bril, and J. J. Lukkien, "Controller Area Network (CAN) schedulability analysis: Refuted, revisited and revised," Real-Time Systems, vol. 35, no. 3, pp. 239-272, 2007. (Pubitemid 46223453)
26. K. W. Tindell, A. Burns, and A. J. Wellings, "Allocating hard real-time tasks: an NP-hard problem made easy," Real-Time Systems, vol. 4, pp. 145-165, 1992. (Pubitemid 23566343)
27. R. N. Charette, "This car runs on code," IEEE Spectrum, 2009, http://www.spectrum.ieee.org/feb09/7649.
28. A. Sangiovanni-Vincentelli and M. Di Natale, "Embedded system design for automotive applications," IEEE Computer, vol. 40, no. 10, pp. 42-51, 2007.
29. D. Le Berre and A. Parrain, "The Sat4j library, release 2.2 system description," Journal on Satisfiability, Boolean Modeling and Computation, vol. 7, pp. 59-64, 2010.
30. M. Dinkel and U. Baumgarten, "Modeling nonfunctional requirements: a basis for dynamic systems management," in Proceedings of the 2nd Int. Workshop on Software Engineer- ing for Automotive Systems, 2005, pp. 1-5.
31. D. Weyns, S. Malek, and J. Andersson, "Forms: a formal reference model for self-adaptation," in ICAC'10: Proceeding of the 7th Int. Conference on Autonomic Computing, 2010, pp. 205-214.
32. W. Zheng, Q. Zhu, M. Di Natale, and A. Sangiovanni- Vincentelli, "Definition of task allocation and priority assignment in hard real-time distributed systems," in Proceedings of the 28th IEEE Real-Time Systems Symposium, 2007, pp. 161-170.
33. L. Feng, D. Chen, and M. Torngren, "Self configuration of dependent tasks for dynamically reconfigurable automotive embedded systems," in Proceedings of the 47th IEEE Con- ference on Decision and Control, 2008, pp. 3737-3742.
34. B. Klöpper, J. Meyer, M. Tichy, and S. Honiden, "Planning with utilities and state trajectories constraints for self-healing in automotive systems," in Proceedings of the 4th IEEE Int. Conference on Self-Adaptive and Self-Organizing Systems, 2010, pp. 74-83.