End-to-end timing analysis of black-box models in legacy vehicular distributed embedded systems

Proceedings - IEEE 21st International Conference on Embedded and Real-Time Computing Systems and Applications, RTCSA 2015

Volumn , Issue , 2015, Pages 149-158

  Mubeen, Saad ^a   Sjodin, Mikael ^a   Nolte, Thomas ^a   Lundback, John ^b   Galnander, Mattias ^b   Lundback, Kurt Lennart ^b  

^a MÄLARDALEN UNIVERSITY   (Sweden)

^b Arcticus Systems AB   (Sweden)

Author keywords

[No Author keywords available]

Indexed keywords

ABSTRACTING; EXTRACTION; LEGACY SYSTEMS; REAL TIME SYSTEMS;

ABSTRACTION LEVEL; DISTRIBUTED EMBEDDED SYSTEM; INDUSTRIAL TOOLS; INTERNATIONAL COMPANY; LEVEL OF ABSTRACTION; NETWORK COMMUNICATIONS; PROOF OF CONCEPT; TECHNIQUES AND TOOLS;

EMBEDDED SYSTEMS;

EID: 84962835333     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/RTCSA.2015.24     Document Type: Conference Paper

References (37)

1. Peter Thorngren, keynote Talk: Experiences from EAST-ADL USE, EAST-ADL Open Workshop, Gothenberg, Oct., 2013.
2. T. a. Henzinger and J. Sifakis, "The Embedded Systems Design Challenge", in 14th International Symposium on Formal Methods (FM), Lecture Notes in Computer Science. Springer, 2006, pp. 1-15.
3. I. Crnkovic and M. Larsson, Building Reliable Component-Based Software Systems. Norwood, MA, USA: Artech House, Inc., 2002.
4. "AUTOSAR Techincal Overview, Release 4.1, Rev. 2, Ver. 1.1.0., The autosar Consortium, Oct., 2013", http://autosar.org.
5. "TIMMO Methodology, Version 2", TIMMO (TIMing MOdel), Deliverable 7, October 2009, The TIMMO Consortium.
6. "TIMMO-2-use", https://itea3.org/project/timmo-2-use.html.
7. CRYSTAL - CRitical sYSTem engineering AcceLeration, http://www.-crystal-artemis.eu, accessed May, 2014.
8. K. Tindell and J. Clark, "Holistic schedulability analysis for distributed hard real-time systems", Microprocess. Microprogram., vol. 40, pp. 117-134, April 1994.
9. S. Mubeen, J. Mäki-Turja, and M. Sjödin, "Support for end-to-end response-time and delay analysis in the industrial tool suite: Issues, experiences and a case study", Computer Science and Information Systems, vol. 10, no. 1, 2013.
10. S. Mubeen, J. Mäki-Turja, and M. Sjödin, "Translating timing constraints during vehicular distributed embedded systems development", in 1st International Workshop on Model-Driven Engineering for Component-Based Software Systems, September 2014.
11. A. Bucaioni, S. Mubeen, A. Cicchetti, and M. Sjödin, "Exploring Timing Model Extractions at EAST-ADL Design-level Using Model Transformations", in International Conference on Information Technology: New Generations (ITNG), April 2015.
12. "EAST-ADL Domain Model Specification, V2.1.12", http://www.eastadl.info/Specification/V2.1.12/EAST-ADL-Specification V2.1.12.pdf.
13. A. Hamann, R. Henia, R. Racu, M. Jersak, K. Richter, and R. Ernst, "Symta/s - symbolic timing analysis for systems", 2004.
14. "Arcticus Systems AB", http://www.arcticus-systems.com.
15. 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.
16. Timing Augmented Description Language (TADL2) syntax, semantics, metamodel Ver. 2, Deliverable 11, Aug. 2012.
17. TADL: Timing Augmented Description Language, Del. 6, Oct. 2009.
18. "Rubus models, methods and tools", http://www.arcticus-systems.com.
19. "Rubus ICE-Integrated Development Environment", http://www.-arcticus-systems.com.
20. "The UML Profile for MARTE: Modeling and Analysis of Real-Time and Embedded Systems", January 2010. [Online]. Available: http://www.omgmarte.org
21. TIMMO-2-USE Methodology Description, Ver. 2, Del. 13, July. 2012.
22. X. Ke, K. Sierszecki, and C. Angelov, "COMDES-II: A Component-Based Framework for Generative Development of Distributed Real-Time Control Systems", in 13th International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA), Aug. 2007.
23. S. Sentilles, A. Vulgarakis, T. Bures, J. Carlson, and I. Crnkovic, "A Component Model for Control-Intensive Distributed Embedded Systems", in 11th International Symposium on Component Based Software Engineering (CBSE2008). Springer, October 2008, pp. 310-317.
24. A. Ohno, T. Azumi, and N. Nishio, "TECS components providing functionalities of OSEK specification for ITRON OS", Journal of Information Processing, vol. 22, no. 4, pp. 584-594, 2014.
25. S. Mubeen, J. Mäki-Turja, and M. Sjödin, "Towards Extraction of Interoperable Timing Models from Component-Based Vehicular Distributed Embedded Systems", in International Conference on Information Technology: New Generations (ITNG), April 2014.
26. 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 Workshop on Compositional Theory and Technology for Real-Time Embedded Systems, dec. 2008.
27. pyCPA Tool, http://pycpa.readthedocs.org/, accessed Mar. 2015.
28. CANalyzer, Ver. 8.5, http://www.vector.com/vi canalyzer en. html, accessed Mar. 2015.
29. MAST-Modeling and Analysis Suite for Real-Time Applications, http://mast.unican. es/, accessed Mar. 2015.
30. S. Mubeen, J. Mäki-Turja, and M. Sjödin, "Communications-Oriented Development of Component-Based Vehicular Distributed Real-Time Embedded Systems", Journal of Systems Architecture, vol. 60, no. 2, pp. 207-220, 2014.
31. S. Mubeen, M. Sjödin, T. Nolte, J. Lundbäck, M. GÅlnander, and K.-L. Lundbäck, "Modeling of Legacy Distributed Embedded Systems at Vehicle Abstraction Level", Mälardalen University, Technical Report, April 2015, http://www.es.mdh.se/publications/3892-.
32. K. Tindell, "Adding Time-Offsets to Schedulability Analysis", Department of Computer Science, University of York, Tech. Rep., Jan. 1994.
33. J. Palencia and M. G. Harbour, "Schedulability Analysis for Tasks with Static and Dynamic Offsets", Real-Time Systems Symposium, 1998.
34. J. Mäki-Turja and M. Nolin, "Efficient implementation of tight responsetimes for tasks with offsets", Real-Time Syst., vol. 40, no. 1, pp. 77-116, 2008.
35. T. P. Baker, "Stack-based scheduling for realtime processes", Real-Time Systems, vol. 3, no. 1, pp. 67-99, Apr. 1991.
36. L. Sha, R. Rajkumar, and J. Lehoczky, "Priority inheritance protocols: An approach to real-time synchronization", IEEE Transactions on Computers, vol. 39, no. 9, pp. 1175-1185, 1990.
37. Robert Bosch GmbH, "CAN with Flexible Data-Rate (CAN FD), White Paper, Ver. 1.1." 2011.