Contract-based dynamic task management for mixed-criticality systems

SIES 2011 - 6th IEEE International Symposium on Industrial Embedded Systems, Conference Proceedings

Volumn , Issue , 2011, Pages 18-27

  Neukirchner, Moritz ^a   Stein, Steffen ^a   Schrom, Harald ^a   Schlatow, Johannes ^a   Ernst, Rolf ^a  

^a TECHNICAL UNIVERSITY OF BRAUNSCHWEIG   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

ADMISSION CONTROL SCHEME; COMPONENT MODEL; COMPONENTWISE; DEVELOPMENT PROCESS; DYNAMIC TASKS; MIXED-CRITICALITY SYSTEMS; RUN-TIME CONFIGURATION; RUNTIME ENVIRONMENTS; RUNTIME MONITORING; SOFTWARE FLEXIBILITY; SPECIFIC COMPONENT; SYSTEM FLEXIBILITY; TIGHT COUPLING; TIME-CRITICAL SYSTEMS;

ACCIDENT PREVENTION; CRITICALITY (NUCLEAR FISSION); MAINTAINABILITY; SYSTEMS ANALYSIS;

EMBEDDED SYSTEMS;

EID: 80052011293     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/SIES.2011.5953651     Document Type: Conference Paper

References (35)

1. M. Neukirchner, S. Stein, H. Schrom, and R. Ernst, "A software Update Service with Self-Protection Capabilities," in Proc. of the conf. on Design, Automation and Test in Europe (DATE), 2010.
2. N. Tracey, U. Lefarth, H.-J. Wolff, and U. Freund, "Ecu software module development process changes in autosar," ETAS GmbH, Borsigstr. 14 70469 Stuttgart, Tech. Rep., 2007.
3. R. Henia, A. Hamann, M. Jersak, R. Racu, K. Richter, and R. Ernst, "System level performance analysis - the symta/s approach," Computers and Digital Techniques, IEE Proc. -, vol. 152, pp. 148-166, 2005. (Pubitemid 40718622)
4. L. Thiele, S. Chakraborty, and M. Naedele, "Real-time calculus for scheduling hard real-time systems," in Proc. of Int'l. Symp. on Circuits and Systems (ISCAS), 2000.
5. S. Stein, A. Hamann, and R. Ernst, "Real-time property verification in organic computing systems," in Second Int'l. Symp. on Leveraging Applications of Formal Methods, Verification and Validation, 2006.
6. A. Benveniste, B. Caillaud, A. Ferrari, L. Mangeruca, R. Passerone, and C. Sofronis, "Multiple viewpoint contract-based specification and design," in Formal Methods for Components and Objects. Springer, 2008, pp. 200-225.
7. G. H. Alan Au, L4 User Manual, School of Computer Science and Engineering, The University of New South Wales, Sydney 2052, Australia, March 1999.
8. P. Levis and D. Gay, TinyOS Programming. Cambridge University Press, 2009.
9. J. J. Labrosse, MicroC/OS-II - The Real-Time Kernel, 2nd ed., 2002.
10. D. C. Schmidt, "Middleware for real-time and embedded systems," Commun. ACM, vol. 45, no. 6, pp. 43-48, 2002. (Pubitemid 135701501)
11. D. C. Schmidt and C. O'Ryan, "Patterns and performance of distributed real-time and embedded publisher/subscriber architectures," Journal of Systems and Software, vol. 66, pp. 213 - 223, 2003.
12. C. D. Gill, D. L. Levine, and D. C. Schmidt, "The design and performance of a real-time corba scheduling service," Real-Time Systems, vol. 20, pp. 117-154, 2001. (Pubitemid 32327836)
13. P. E. Chung, Y. Huang, S. Yajnik, D. Liang, J. C. Shih, C. Wang, and Y. Wang, "Dcom and corba side by side, step by step, and layer by layer," 1997.
14. A. Wollrath, R. Riggs, and J. Waldo, "A distributed object model for the javatm system," in Proc. of the 2nd USENIX Conf. on Object-Oriented Technologies (COOTS), 1996.
15. S. Yau, F. Karim, Y. Wang, B. Wang, and S. Gupta, "Reconfigurable context-sensitive middleware for pervasive computing," Pervasive Computing, IEEE, vol. 1, pp. 33 - 40, 2002. (Pubitemid 44939970)
16. A. Thomas, "Enterprise javabeans technology," Sun Microsystems, Inc., Tech. Rep., 1998.
17. T. Abdelzaher, S. Dawson, W.-C. Feng, F. Jahanian, S. Johnson, A. Mehra, T. Mitton, A. Shaikh, K. Shin, Z. Wang, H. Zou, M. Bjorkland, and P. Marron, "Armada middleware and communication services," Real-Time Syst., vol. 16, pp. 127-153, 1999.
18. T. Cucinotta and L. Palopoli, "QoS Control for Pipelines of Tasks using Multiple Resources," IEEE Trans. on Computers, vol. 59, pp. 416-430, 2010.
19. D. C. Schmidt, M. Deshpande, and C. O'Ryan, "Operating system performance in support of real-time middleware," in In Proc. of the 7th IEEE Workshop on, 2002.
20. E. Souto, G. Guimar aes, G. Vasconcelos, M. Vieira, N. Rosa, and C. Ferraz, "A message-oriented middleware for sensor networks," in MPAC '04: Proc. of the 2nd workshop on Middleware for pervasive and ad-hoc computing, 2004.
21. P. Levis, N. Patel, D. Culler, and S. Shenker, "Trickle: a self-regulating algorithm for code propagation and maintenance in wireless sensor networks," in NSDI'04: Proc. of the 1st Symp. on Networked Systems Design and Implementation, 2004.
22. J. N. Al-Karaki and A. E. Kamal, "Routing techniques in wireless sensor networks: a survey," IEEE Wireless Communications, vol. 11, pp. 6-28, 2004.
23. L. Krishnamachari, D. Estrin, and S. Wicker, "The impact of data aggregation in wireless sensor networks," in Distributed Computing Systems Workshops, 2002. Proc.. 22nd Int'l. Conf. on, 2002.
24. X. Yu, K. Niyogi, S. Mehrotra, and N. Venkatasubramanian, "Adaptive middleware for distributed sensor environments," IEEE Distributed Systems Online, vol. 4, 2003.
25. AUTOSAR - Automotive Open System Architecture, "http://www.autosar. org/," Internet.
26. "Synopsys, inc., http://www.synopsys.com," Internet.
27. P. Levis and D. Culler, "Maté: a tiny virtual machine for sensor networks," SIGOPS Oper. Syst. Rev., vol. 36, pp. 85-95, 2002.
28. C.-C. Han, R. Kumar, R. Shea, E. Kohler, and M. Srivastava, "A dynamic operating system for sensor nodes," in MobiSys '05: Proc. of the 3rd int'l. conf. on Mobile systems, applications, and services, 2005.
29. A. Dunkels, N. Finne, J. Eriksson, and T. Voigt, "Run-time dynamic linking for reprogramming wireless sensor networks," in SenSys '06: Proc. of the 4th int'l. conf. on Embedded networked sensor systems, 2006.
30. K. Richter, "Compositional scheduling analysis using standard event models," Ph.D. dissertation, Technical University of Braunschweig, Department of Electrical Engineering and Information Technology, 2004.
31. R. Kumar, E. Kohler, and M. Srivastava, "Harbor: Software-based memory protection for sensor nodes," in Information Processing in Sensor Networks, 2007. IPSN 2007. 6th International Symposium on, 2007.
32. L. Gu and J. A. Stankovic, "t-kernel: providing reliable os support to wireless sensor networks," in Proc. of the 4th int'l. conf. on Embedded networked sensor systems, 2006.
33. X. Chen, J. Feng, M. Hiller, and V. Lauer, "Application of software watchdog as a dependability software service for automotive safety relevant systems," in Dependable Systems and Networks, 2007. DSN '07. 37th Annual IEEE/IFIP Int'l. Conf. on, 2007.
34. K. Tindell, H. Kopetz, F. Wolf, and R. Ernst, "Safe automotive software development," in Design, Automation and Test in Europe Conference and Exhibition, 2003.
35. S. Chodrow, F. Jahanian, and M. Donner, "Run-time monitoring of realtime systems," in Proc. of Real-Time Systems Symp. (RTSS), 1991.