Support for holistic response-time analysis in an industrial tool suite: Implementation issues, experiences and a case study

Proceedings - 2012 IEEE 19th International Conference and Workshops on Engineering of Computer-Based Systems, ECBS 2012

Volumn , Issue , 2012, Pages 210-221

  Mubeen, Saad ^a   Mäki Turja, Jukka ^a,b   Sjödin, Mikael ^a  

^a MÄLARDALEN UNIVERSITY   (Sweden)

^b Arcticus Systems   (Sweden)

Author keywords

component based development; Distributed real time embedded systems; holistic response time analysis

Indexed keywords

AS EXTRACTION; AUTOMOTIVE APPLICATIONS; AUTONOMOUS CRUISE CONTROL SYSTEMS; COMPONENT-BASED DEVELOPMENT; DESIGN MODELS; DISTRIBUTED REAL-TIME EMBEDDED SYSTEMS; DRE SYSTEMS; INDUSTRIAL TOOLS; PLUG-INS; PROOF OF CONCEPT; REAL TIME ANALYSIS; RESPONSE-TIME ANALYSIS; TOOLSUITE;

COMPUTER CONTROL; REAL TIME SYSTEMS;

INDUSTRY;

EID: 84862074547     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ECBS.2012.38     Document Type: Conference Paper

References (33)

1. N. Audsley, A. Burns, R. Davis, K. Tindell, and A. Wellings, "Fixed priority pre-emptive scheduling: an historic perspective," Real-Time Systems, vol. 8, no. 2/3, pp. 173-198, 1995.
2. L. Sha, T. Abdelzaher, K.-E. A. rzén, A. Cervin, T. P. Baker, A. Burns, G. Buttazzo, M. Caccamo, J. P. Lehoczky, and A. K. Mok, "Real Time Scheduling Theory: A Historical Perspective," Real-Time Systems, vol. 28, no. 2/3, pp. 101-155, 2004.
3. K. Tindell and J. Clark, "Holistic schedulability analysis for distributed hard real-time systems," Microprocess. Microprogram., vol. 40, pp. 117-134, April 1994.
4. K. W. Tindell, "Using offset information to analyse static priority preemptively scheduled task sets," Dept. of Computer Science, University of York, Tech. Rep. YCS 182, 1992.
5. J. Palencia and M. G. Harbour, "Schedulability Analysis for Tasks with Static and Dynamic Offsets," Real-Time Systems Symposium, IEEE International, p. 26, 1998.
6. "Arcticus Systems," http://www.arcticus-systems.com.
7. K. Hänninen et al., "The Rubus Component Model for Resource Constrained Real-Time Systems," in 3rd IEEE International Symposium on Industrial Embedded Systems, June 2008.
8. S. Mubeen, J. Mäki-Turja, M. Sjödin, and J. Carlson, "Analyzable Modeling of Legacy Communication in Component-Based Distributed Embedded Systems," in 37th EUROMICRO Conference on Software Engineering and Advanced Applications (SEAA), 2011, Sep. 2011, pp. 229-238.
9. S. Mubeen, J. Mäki-Turja, and M. Sjödin, "Extraction of end-to-end timing model from component-based distributed real-time embedded systems," in Time Analysis and Model-Based Design, from Functional Models to Distributed Deployments (TiMoBD) workshop located at Embedded Systems Week. Springer, October 2011, pp. 1-6.
10. K. Hänninen et al., "Framework for real-time analysis in Rubus-ICE," in Emerging Technologies and Factory Automation, 2008. ETFA 2008. IEEE International Conference on, 2008, pp. 782-788.
11. C. Liu and J. Layland, "Scheduling algorithms for multi-programming in a hard-real-time environment," ACM, vol. 20, no. 1, pp. 46-61, 1973.
12. M. Joseph and P. Pandya, "Finding Response Times in a Real-Time System," The Computer Journal (British Computer Society), vol. 29, no. 5, pp. 390-395, October 1986.
13. M. Nolin, J. Mäki-Turja, and K. Hänninen, "Achieving Industrial Strength Timing Predictions of Embedded System Behavior," in ESA, 2008, pp. 173-178.
14. J. Mäki-Turja, and M. Nolin, "Tighter response-times for tasks with offsets," in Real-time and Embedded Computing Systems and Applications Conference (RTCSA). Springer-Verlag, August 2004.
15. K. Tindell, H. Hansson, and A. Wellings, "Analysing real-time communications: controller area network (CAN)," in Real-Time Systems Symposium (RTSS) 1994, pp. 259-263.
16. R. Davis, A. Burns, R. Bril, and J. Lukkien, "Controller Area Network (CAN) schedulability analysis: Refuted, revisited and revised," RealTime Systems, vol. 35, pp. 239-272, 2007.
17. R. I. Davis, S. Kollmann, V. Pollex, and F. Slomka, "Controller Area Network (CAN) Schedulability Analysis with FIFO queues," in 23rd Euromicro Conference on Real-Time Systems (ECRTS11), July 2011.
18. S. Mubeen, J. Mäki-Turja, and M. Sjödin, "Extending schedula-bility analysis of controller area network (CAN) for mixed (periodic/sporadic) messages," in Emerging Technologies Factory Automation (ETFA), IEEE 16th Conference on, sept. 2011.
19. Mubeen, Saad and Mäki-Turja, Jukka and Sjödin, Mikael, "Extending response-time analysis of controller area network (CAN) with FIFO queues for mixed messages," in Emerging Technologies Factory Automation (ETFA), IEEE 16th Conference on, sept. 2011, pp. 1-4.
20. S. Mubeen, J. Mäki-Turja, and M. Sjödin, "Implementation of Holistic Response-Time Analysis in Rubus-ICE: Preliminary Findings, Issues and Experiences," in The 32nd IEEE Real-Time Systems Symposium (RTSS), WIP Session, December 2011, pp. 9-12.
21. "MAST-Modeling and Analysis Suite for Real-Time Applications," http://mast.unican.es/.
22. "The Volcano Family," http://www.mentor.com/products/vnd.
23. "Volcano Network Architect (VNA). Mentor Graphics," http://www.mentor.com/products/vnd/communication-management/vna.
24. A. Hamann, R. Henia, R. Racu, M. Jersak, K. Richter, and R. Ernst, "Symta/s - symbolic timing analysis for systems," 2004.
25. M. Hagner and U. Goltz, "Integration of scheduling analysis into uml based development processes through model transformation," in Computer Science and Information Technology (IMCSIT), Proceedings of the 2010 International Multiconference on, oct. 2010, pp. 797-804.
26. "RAPID RMA: The Art of Modeling Real-Time Systems," http://www.tripac.com/rapid-rma.
27. D. Schmidt and F. Kuhns, "An overview of the Real-Time CORBA specification," Computer, vol. 33, no. 6, pp. 56-63, Jun. 2000.
28. M. Hagner and U. Goltz, "Integration of scheduling analysis into uml based development processes through model transformation," in Computer Science and Information Technology (IMCSIT), Proceedings of the 2010 International Multiconference on, oct. 2010, pp. 797-804.
29. Mubeen, Saad and Mäki-Turja, Jukka and Sjödin, Mikael, "Tracing event chains for holistic response-time analysis of component-based distributed real-time systems," SIGBED Review, vol. 8, pp. 48-51, Sep. 2011. [Online]. Available: http://doi.acm.org/10.1145/2038617. 2038628
30. P. Berggren, "Autonomous Cruise Control for Chalmers Vehicle Simulator," Master's thesis, Department of Signals and Systems, Chalmers University of Technology, 2008.
31. "Adaptive Cruise Control System Overview," in Workshop of Software System Safety Working Group, April 2005, Anaheim, California, USA. Available at: sunny-day.mit.edu/Adaptive-Cruise-Control-Sys-Overview.pdf.
32. ISO 11898-1, "Road Vehicles interchange of digital information controller area network (CAN) for high-speed communication, ISO Standard-11898, Nov. 1993."
33. N. Feiertag, K. Richter, J. Nordlander, and J. Jonsson, "A Compositional Framework for End-to-End Path Delay Calculation of Automotive Systems under Different Path Semantics," in Compositional Theory and Technology for Real-Time Embedded Systems, 2008. CRTS 2008. Workshop on, dec. 2008.