Monitoring of workload arrival functions for mixed-criticality systems

Proceedings - Real-Time Systems Symposium

Volumn , Issue , 2013, Pages 88-96

  Neukirchner, Moritz ^a   Axer, Philip ^a   Michaels, Tobias ^a   Ernst, Rolf ^a  

^a TECHNICAL UNIVERSITY OF BRAUNSCHWEIG   (Germany)

Author keywords

Activation pattern; Admission control; Arrival curve; Isolation; Mixed critical; Mixed criticality; Monitoring; Real time systems; Runtime conformance check; Safety; Scheduling; Sufficient independence; Workload arrival curve

Indexed keywords

EID: 84894306879     PISSN: 10528725     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/RTSS.2013.17     Document Type: Conference Paper

References (31)

1. International Electrotechnical Commission, "IEC61508-Functional Safety of Electrical/Electronic/Programmable Safety-related Systems.
2. L. Thiele, S. Chakraborty, and M. Naedele, "Real-time calculus for scheduling hard real-time systems," in Symp. on Circuits and Systems (ISCAS), 2000.
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.
4. D. Wrege and J. Liebherr, "Video traffic characterization for multimedia networks with a deterministic service," in Proc. of Annual Joint Conference of the IEEE Computer Societies. INFOCOM, 1996.
5. K. Lampka, K. Huang, and J.-J. Chen, "Dynamic counters and the efficient and effective online power management of embedded real-time systems," in Proc. of int'l conf. on Hardware/software codesign and system synthesis (CODES+ISSS), 2011.
6. K. Huang, G. Chen, C. Buckl, and A. Knoll, "Conforming the runtime inputs for hard real-time embedded systems," in Proc. of the 49th Design Automation Conference (DAC), 2012.
7. M. Neukirchner, T. Michaels, P. Axer, S. Quinton, and R. Ernst, "Monitoring arbitrary activation patterns in real-time systems," in Proc. of IEEE Real-Time Systems Symposium (RTSS), Dec 2012.
8. E. Wandeler, A. Maxiaguine, and L. Thiele, "Quantitative characterization of event streams in analysis of hard real-time applications," Realtime Systems, vol. 29, pp. 205-225, 2005.
9. S. Baruah, H. Li, and L. Stougie, "Towards the design of certifiable mixed-criticality systems," in Proc. of Real-Time and Embedded Technology and Applications Symposium (RTAS), 2010, pp. 13-22.
10. S. Baruah, A. Burns, and R. Davis, "Response-time analysis for mixed criticality systems," in Real-Time Systems Symp. (RTSS), 2011.
11. M. Traub, "Durchg̈angige timing-bewertung von vernetzungsarchitekturen und gateway-systemen im kraftfahrzeug," Ph.D. dissertation, Karlsruher Institut f̈ur Technologie (KIT), 2010.
12. K. Albers, F. Bodmann, and F. Slomka, "Advanced hierachical eventstream model," in Euromicro Conf. on Real-Time Systems (ECRTS). IEEE, 2008, pp. 211-220.
13. T. Rein, K. Lampka, and L. Thiele, "Modeling hierarchical event streams in system level performance analysis," Computer Engineering and Networks Laboratory, ETH Zurich, Tech. Rep. 295, 2008.
14. J. Rox and R. Ernst, "Modeling event stream hierarchies with hierarchical event models," in Proc. of Design, Automation and Test in Europe (DATE). Ieee, 2008, pp. 492-497.
15. K. Tindell, "Adding time-offsets to schedulability analysis," Department of Computer Science, University of York, Tech. Rep. YCS-94-221, 1994.
16. J. C. Palencia and M. G. Harbour, "Schedulability analysis for tasks with static and dynamic offsets," in Real-Time Systems Symp. (RTSS), 1998.
17. R. Henia and R. Ernst, "Improved offset-analysis using multiple timingreferences," in Design, Automation, and Test in Europe, 2006.
18. S. Baruah, "Dynamic-and static-priority scheduling of recurring realtime tasks," Real-Time Systems, vol. 24, pp. 93-128, 2003.
19. "Osek/vdx-time-triggered operating system," http://portal.osekvdx. org/files/pdf/specs/ttos10.pdf, July 2001, version 1.0. [Online]. Available: http://portal.osek-vdx.org/files/pdf/specs/ttos10.pdf
20. "Osek/vdx-operating system," February 2005, version 2.2.3. [Online]. Available: http://portal.osek-vdx.org/files/pdf/specs/os223.pdf
21. AUTOSAR-Automotive Open System Architecture, "http://www.autosar. org/," Internet.
22. H. Heinecke, J. Bielefeld, K.-P. Schnelle, N. Maldener, H. Fennel, O. Weis, T. Weber, J. Ruh, L. Lundh, T. Sand́en, P. Heitk̈amper, R. Rimkus, J. Leflour, A. Gilber, U. Virnich, S. Voget, K. Nishikawa, K. Kajio, T. Scharnhorst, and B. Kunkel, "Autosar-current results and preparations for exploitation," in 7th EUROFORUM conference Software in the vehicle", 2006.
23. X. Chen, J. Feng, M. Hiller, and V. Lauer, "Application of software watchdog as a dependability software service for automotive safety relevant systems," in Int'l. Conf. on Dependable Systems and Networks (DSN), 2007.
24. F. Dewan and N. Fisher, "Efficient admission control for enforcing arbitrary real-time demand-curve interfaces," in Proc. of Real-time Systems Symposium, 2012.
25. K. Tindell, H. Kopetz, F. Wolf, and R. Ernst, "Safe automotive software development," in Design, Automation and Test in Europe Conference and Exhibition, 2003.
26. L. Abeni and G. Buttazzo, "Integrating multimedia applications in hard real-time systems," in Real-Time Systems Symposium, 1998. Proceedings., The 19th IEEE. IEEE, 1998, pp. 4-13.
27. G. Buttazzo and E. Bini, "Optimal dimensioning of a constant bandwidth server," in Proc. of Real-Time Systems Symposium. IEEE Computer Society, 2006, pp. 169-177.
28. D. Stiliadis and A. Varma, "Latency-rate servers: A general model for analysis of traffic scheduling algorithms," IEEE/ACM Trans. on Networking, vol. 6, no. 5, p. 611, 1998.
29. J. Lehoczky, "Fixed priority scheduling of periodic task sets with arbitrary deadlines," in Real-Time Systems Symposium, 1990. Proceedings., 11th. IEEE, 1990, pp. 201-209.
30. J. Y. L. Boudec and P. Thiran, Network calculus: a theory of deterministic queuing systems for the internet. Springer Verlag, 2001.
31. J. J. Labrosse, MicroC/OS-II-The Real-Time Kernel, 2nd ed., 2002.