Supporting timing analysis of vehicular embedded systems through the refinement of timing constraints

Software and Systems Modeling

Volumn 18, Issue 1, 2019, Pages 39-69

  Mubeen, Saad ^a   Nolte, Thomas ^a   Sjödin, Mikael ^a   Lundbäck, John ^b   Lundbäck, Kurt Lennart ^b  

^a MÄLARDALEN UNIVERSITY   (Sweden)

^b Arcticus Systems   (Sweden)

Author keywords

Component model; Component based development; Distributed embedded systems; End to end timing analysis; Timing model

Indexed keywords

ABSTRACTING; TIMING CIRCUITS;

COMPONENT MODEL; COMPONENT-BASED DEVELOPMENT; DISTRIBUTED EMBEDDED SYSTEM; TIMING ANALYSIS; TIMING MODELING;

EMBEDDED SYSTEMS;

EID: 85011294824     PISSN: 16191366     EISSN: 16191374     Source Type: Journal    
DOI: 10.1007/s10270-017-0579-8     Document Type: Article

References (47)

1. Mubeen, S., Mäki-Turja, J., Sjödin, M.: Translating timing constraints during vehicular distributed embedded systems development. In: 1st International Workshop on Model-Driven Engineering for Component-Based Software Systems, Sep 2014
2. Timing Augmented Description Language (TADL2) syntax, semantics, metamodel Ver. 2, Deliverable 11, Aug 2012
3. Hänninen, K., et al.: The Rubus component model for resource constrained real-time systems. In: 3rd IEEE International Symposium on Industrial Embedded Systems, June 2008
4. Thorngren, P.: Keynote Talk: Experiences from EAST-ADL Use, EAST-ADL Open Workshop, Gothenburg, Oct 2013
5. Henzinger, T.A., Sifakis, J.: The embedded systems design challenge. In: Proceedings of the 14th International Symposium on Formal Methods (FM), Lecture Notes in Computer Science (Springer, Berlin, 2006). pp. 1–15
6. Crnkovic, I., Larsson, M.: Building Reliable Component-Based Software Systems. Artech House Inc, Norwood (2002)
7. AUTOSAR Technical Overview, Release 4.1, Rev. 2, Ver. 1.1.0., The AUTOSAR Consortium, Oct 2013. http://autosar.org
8. TIMMO Methodology, Ver. 2, TIMMO (TIMing MOdel), Deliverable 7, Oct 2009, The TIMMO Consortium
9. TIMMO-2-USE. https://itea3.org/project/timmo-2-use.html
10. CRYSTAL—CRitical sYSTem engineering AcceLeration. http://www.crystal-artemis.eu. Accessed Mar 2016
11. Model-based Analysis & Engineering of Novel Architectures for Dependable Electric Vehicles (MAENAD) Project. http://www.maenad.eu. Accessed Mar 2016
12. Tindell, K., Clark, J.: Holistic schedulability analysis for distributed hard real-time systems. Microprocess. Microprogram. 40, 117–134 (1994)
13. Mubeen, S., Mäki-Turja, J., Sjödin, M.: Support for end-to-end response-time and delay analysis in the industrial tool suite: issues, experiences and a case study. Comput. Sci. Inf. Syst. 10(1), 1361–1384 (2013)
14. Mubeen, S., Mäki-Turja, J., Sjödin, M.: Communications-oriented development of component-based vehicular distributed real-time embedded systems. J. Syst. Archit. 60(2), 207–220 (2014)
15. Sentilles, S., Vulgarakis, A., Bures, T., Carlson, J., Crnkovic, I.: A component model for control-intensive distributed embedded systems. In: 11th International Symposium on Component Based Software Engineering. Springer, Berlin, 2008. pp. 310–317
16. Ke, X., Sierszecki, K., Angelov, C.: COMDES-II: a component-based framework for generative development of distributed real-time control systems. In: 13th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA 2007). pp. 199 –208, Aug 2007
17. Catalog of Specialized CORBA Specifications. OMG Group. http://www.omg.org/technology/documents/
18. Mubeen, S., Nolte, T., Lundbäck, J., Gålnander, M., Lundbäck, K-L.: Refining timing requirements in extended models of legacy vehicular embedded systems using early end-to-end timing analysis. In: 13th International Conference on Information Technology: New Generations (ITNG), Apr 2016
19. Mubeen, S., Sjödin, M., Nolte, T.,Lundbäck, J., Gålnander, M., Lundbäck, K.-L.: End-to-end timing analysis of black-box models in legacy vehicular distributed embedded systems. In: 21st International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA), Aug 2015
20. OMG Systems Modeling Language, version 1.3. http://www.omgsysml.org
21. EAST-ADL Domain Model Specification, Version V2.1.12, Version V2.1.12, Deliverable 11, Aug 2012,http://www.east-adl.info/Specification/V2.1.12/EAST-ADL-Specification_V2.1.12.pdf. Accessed Mar 2016
22. TIMMO-2-USE Methodology Description, Ver. 2, Del. 13, July 2012
23. Rubus ICE-Integrated Development Environment. http://www.arcticus-systems.com
24. Feiler, P., Lewis, B., Vestal, S., Colbert, E.: An overview of the SAE Architecture Analysis & Design Language (AADL) standard: a basis for model-based architecture-driven embedded systems engineering. In: Architecture Description Languages. The International Federation for Information Processing (IFIP), vol. 176. (Springer, New York, 2005), pp. 3–15
25. SCADE Suite. http://www.esterel-technologies.com/products/scade-suite. Accessed Mar 2016
26. The UML Profile for MARTE: Modeling and Analysis of Real-Time and Embedded Systems. http://www.omgmarte.org/. Jan 2010
27. MAST—Modeling and Analysis Suite for Real-Time Applications. http://mast.unican.es
28. CHESS Project, CHESS consortium. http://www.chess-project.org. Accessed Mar 2016
29. Cicchetti, A., Ciccozzi, F., Mazzini, S., Puri, S., Panunzio, M., Vardanega, T., Zovi, A.: Chess: a model-driven engineering tool environment for aiding the development of complex industrial systems. In: 27th International Conference on Automated Software Engineering (ASE 2012), Sep 2012
30. Rubus models, methods and tools. http://www.arcticus-systems.com
31. Chen, D., Feng, L., Qureshi, T., Lönn, H., Hagl, F.: An architectural approach to the analysis, verification and validation of software intensive embedded systems. Computing 95(8), 649–688 (2013)
32. ISO 26262-1:2011: Road vehicles Functional safety. http://www.iso.org/
33. Mastering Timing Information for Advanced Automotive Systems Engineering. In the TIMMO-2-USE Brochure, 2012. http://www.timmo-2-use.org/pdf/T2UBrochure
34. TADL: Timing Augmented Description Language, Ver. 2, Deliverable 6, Oct 2009
35. Ohno, A., Azumi, T., Nishio, N.: TECS components providing functionalities of OSEK specification for ITRON OS. J. Inf. Process. 22(4), 584–594 (2014)
36. Carlson, J.: Timing analysis of component-based embedded systems. In: 15th International ACM SIGSOFT Symposium on Component Based Software Engineering. ACM, June 2012
37. Hill, H.: CUTS: a system execution modeling tool for realizing continuous system integration testing. In: 32nd ACM/IEEE International Conference on Software Engineering, May 2010
38. Feiertag, N., Richter, K., Nordlander, J., Jonsson, J.: A compositional framework for end-to-end path delay calculation of automotive systems under different path semantics. In: International Workshop on Compositional Theory and Technology for Real-Time Embedded Systems (CRTS), Dec 2008
39. EAST-ADL Tooling. http://www.east-adl.info/Tooling.html. Accessed Mar 2016
40. Mubeen, S., Mäki-Turja, J., Sjödin, M.: 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, Berlin, 2011), pp. 1–6
41. Mubeen, S., Nolte, T., Sjödin, M., Lundbäck, J., Gålnander, M., Lundbäck, K.-L.: Modeling of legacy distributed embedded systems at vehicle abstraction level. In: 19th International Symposium on Component Based Software Engineering, Apr 2016
42. Bucaioni, A., Cicchetti, A., Ciccozzi, F., Eramo, R., Mubeen, S., Sjödin, M.: Anticipating implementation-level timing analysis for driving design-level decisions in east-adl. In: International Workshop on Modelling in Automotive Software Engineering, Sep 2015
43. Mubeen, S., Mäki-Turja, J., Sjödin, M.: Towards translation of timing constraints during vehicular embedded systems development. In: International Conference on Component-Based Software Engineering and Software Architecture (CompArch) (Springer, Berlin, 2014)
44. Qureshi, T., Chen, D., Lönn, H., Törngren, M.: From EAST-ADL to AUTOSAR software architecture: a mapping scheme. In: Software Architecture, Lecture Notes in Computer Science, vol 6903 (2011), pp. 328–335
45. ISO 11898-1. Road vehicles interchange of digital information controller area network (CAN) for high-speed communication. ISO Standard-11898, Nov 1993
46. Audsley, N., Burns, A., Davis, R., Tindell, K., Wellings, A.: Fixed priority pre-emptive scheduling: an historic perspective. Real-Time Syst. 8(2/3), 173–198 (1995)
47. Mäki-Turja, J., Hänninen, K., Nolin, M.: Efficient development of real-time systems using hybrid scheduling. In: International Conference on Embedded Systems and Applications, June 2005