{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,23]],"date-time":"2025-12-23T12:29:55Z","timestamp":1766492995682,"version":"3.37.3"},"reference-count":47,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2017,1,31]],"date-time":"2017-01-31T00:00:00Z","timestamp":1485820800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/creativecommons.org\/licenses\/by\/4.0"}],"funder":[{"DOI":"10.13039\/501100011914","name":"M\u00e4lardalen University","doi-asserted-by":"crossref","id":[{"id":"10.13039\/501100011914","id-type":"DOI","asserted-by":"crossref"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Softw Syst Model"],"published-print":{"date-parts":[[2019,2]]},"DOI":"10.1007\/s10270-017-0579-8","type":"journal-article","created":{"date-parts":[[2017,1,31]],"date-time":"2017-01-31T00:20:29Z","timestamp":1485822029000},"page":"39-69","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":35,"title":["Supporting timing analysis of vehicular embedded systems through the refinement of timing constraints"],"prefix":"10.1007","volume":"18","author":[{"given":"Saad","family":"Mubeen","sequence":"first","affiliation":[]},{"given":"Thomas","family":"Nolte","sequence":"additional","affiliation":[]},{"given":"Mikael","family":"Sj\u00f6din","sequence":"additional","affiliation":[]},{"given":"John","family":"Lundb\u00e4ck","sequence":"additional","affiliation":[]},{"given":"Kurt-Lennart","family":"Lundb\u00e4ck","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,1,31]]},"reference":[{"key":"579_CR1","unstructured":"Mubeen, S., M\u00e4ki-Turja, J., Sj\u00f6din, 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"},{"key":"579_CR2","unstructured":"Timing Augmented Description Language (TADL2) syntax, semantics, metamodel Ver. 2, Deliverable 11, Aug 2012"},{"key":"579_CR3","doi-asserted-by":"crossref","unstructured":"H\u00e4nninen, K., et al.: The Rubus component model for resource constrained real-time systems. In: 3rd IEEE International Symposium on Industrial Embedded Systems, June 2008","DOI":"10.1109\/SIES.2008.4577697"},{"key":"579_CR4","unstructured":"Thorngren, P.: Keynote Talk: Experiences from EAST-ADL Use, EAST-ADL Open Workshop, Gothenburg, Oct 2013"},{"key":"579_CR5","doi-asserted-by":"crossref","unstructured":"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\u201315","DOI":"10.1007\/11813040_1"},{"key":"579_CR6","volume-title":"Building Reliable Component-Based Software Systems","author":"I Crnkovic","year":"2002","unstructured":"Crnkovic, I., Larsson, M.: Building Reliable Component-Based Software Systems. Artech House Inc, Norwood (2002)"},{"key":"579_CR7","unstructured":"AUTOSAR Technical Overview, Release 4.1, Rev. 2, Ver. 1.1.0., The AUTOSAR Consortium, Oct 2013. \n                    http:\/\/autosar.org"},{"key":"579_CR8","unstructured":"TIMMO Methodology, Ver. 2, TIMMO (TIMing MOdel), Deliverable 7, Oct 2009, The TIMMO Consortium"},{"key":"579_CR9","unstructured":"TIMMO-2-USE. \n                    https:\/\/itea3.org\/project\/timmo-2-use.html"},{"key":"579_CR10","unstructured":"CRYSTAL\u2014CRitical sYSTem engineering AcceLeration. \n                    http:\/\/www.crystal-artemis.eu\n                    \n                  . Accessed Mar 2016"},{"key":"579_CR11","unstructured":"Model-based Analysis & Engineering of Novel Architectures for Dependable Electric Vehicles (MAENAD) Project. \n                    http:\/\/www.maenad.eu\n                    \n                  . Accessed Mar 2016"},{"key":"579_CR12","doi-asserted-by":"publisher","first-page":"117","DOI":"10.1016\/0165-6074(94)90080-9","volume":"40","author":"K Tindell","year":"1994","unstructured":"Tindell, K., Clark, J.: Holistic schedulability analysis for distributed hard real-time systems. Microprocess. Microprogram. 40, 117\u2013134 (1994)","journal-title":"Microprocess. Microprogram."},{"issue":"1","key":"579_CR13","doi-asserted-by":"publisher","first-page":"1361","DOI":"10.2298\/CSIS120614011M","volume":"10","author":"S Mubeen","year":"2013","unstructured":"Mubeen, S., M\u00e4ki-Turja, J., Sj\u00f6din, 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\u20131384 (2013)","journal-title":"Comput. Sci. Inf. Syst."},{"issue":"2","key":"579_CR14","doi-asserted-by":"publisher","first-page":"207","DOI":"10.1016\/j.sysarc.2013.10.008","volume":"60","author":"S Mubeen","year":"2014","unstructured":"Mubeen, S., M\u00e4ki-Turja, J., Sj\u00f6din, M.: Communications-oriented development of component-based vehicular distributed real-time embedded systems. J. Syst. Archit. 60(2), 207\u2013220 (2014)","journal-title":"J. Syst. Archit."},{"key":"579_CR15","doi-asserted-by":"crossref","unstructured":"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\u2013317","DOI":"10.1007\/978-3-540-87891-9_21"},{"key":"579_CR16","doi-asserted-by":"crossref","unstructured":"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 \u2013208, Aug 2007","DOI":"10.1109\/RTCSA.2007.29"},{"key":"579_CR17","unstructured":"Catalog of Specialized CORBA Specifications. OMG Group. \n                    http:\/\/www.omg.org\/technology\/documents\/"},{"key":"579_CR18","doi-asserted-by":"crossref","unstructured":"Mubeen, S., Nolte, T., Lundb\u00e4ck, J., G\u00e5lnander, M., Lundb\u00e4ck, 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","DOI":"10.1007\/978-3-319-32467-8_44"},{"key":"579_CR19","doi-asserted-by":"crossref","unstructured":"Mubeen, S., Sj\u00f6din, M., Nolte, T.,Lundb\u00e4ck, J., G\u00e5lnander, M., Lundb\u00e4ck, 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","DOI":"10.1109\/RTCSA.2015.24"},{"key":"579_CR20","unstructured":"OMG Systems Modeling Language, version 1.3. \n                    http:\/\/www.omgsysml.org"},{"key":"579_CR21","unstructured":"EAST-ADL Domain Model Specification, Version V2.1.12, Version V2.1.12, Deliverable 11, Aug 2012,\n                    http:\/\/www.east-adl.info\/Specification\/V2.1.12\/EAST-ADL-Specification_V2.1.12.pdf\n                    \n                  . Accessed Mar 2016"},{"key":"579_CR22","unstructured":"TIMMO-2-USE Methodology Description, Ver. 2, Del. 13, July 2012"},{"key":"579_CR23","unstructured":"Rubus ICE-Integrated Development Environment. \n                    http:\/\/www.arcticus-systems.com"},{"key":"579_CR24","doi-asserted-by":"crossref","unstructured":"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\u201315","DOI":"10.1007\/0-387-24590-1_1"},{"key":"579_CR25","unstructured":"SCADE Suite. \n                    http:\/\/www.esterel-technologies.com\/products\/scade-suite\n                    \n                  . Accessed Mar 2016"},{"key":"579_CR26","unstructured":"The UML Profile for MARTE: Modeling and Analysis of Real-Time and Embedded Systems. \n                    http:\/\/www.omgmarte.org\/\n                    \n                  . Jan 2010"},{"key":"579_CR27","unstructured":"MAST\u2014Modeling and Analysis Suite for Real-Time Applications. \n                    http:\/\/mast.unican.es"},{"key":"579_CR28","unstructured":"CHESS Project, CHESS consortium. \n                    http:\/\/www.chess-project.org\n                    \n                  . Accessed Mar 2016"},{"key":"579_CR29","doi-asserted-by":"crossref","unstructured":"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","DOI":"10.1145\/2351676.2351748"},{"key":"579_CR30","unstructured":"Rubus models, methods and tools. \n                    http:\/\/www.arcticus-systems.com"},{"issue":"8","key":"579_CR31","doi-asserted-by":"publisher","first-page":"649","DOI":"10.1007\/s00607-013-0314-4","volume":"95","author":"D Chen","year":"2013","unstructured":"Chen, D., Feng, L., Qureshi, T., L\u00f6nn, H., Hagl, F.: An architectural approach to the analysis, verification and validation of software intensive embedded systems. Computing 95(8), 649\u2013688 (2013)","journal-title":"Computing"},{"key":"579_CR32","unstructured":"ISO 26262-1:2011: Road vehicles Functional safety. \n                    http:\/\/www.iso.org\/"},{"key":"579_CR33","unstructured":"Mastering Timing Information for Advanced Automotive Systems Engineering. In the TIMMO-2-USE Brochure, 2012. \n                    http:\/\/www.timmo-2-use.org\/pdf\/T2UBrochure"},{"key":"579_CR34","unstructured":"TADL: Timing Augmented Description Language, Ver. 2, Deliverable 6, Oct 2009"},{"issue":"4","key":"579_CR35","first-page":"584","volume":"22","author":"A Ohno","year":"2014","unstructured":"Ohno, A., Azumi, T., Nishio, N.: TECS components providing functionalities of OSEK specification for ITRON OS. J. Inf. Process. 22(4), 584\u2013594 (2014)","journal-title":"J. Inf. Process."},{"key":"579_CR36","doi-asserted-by":"crossref","unstructured":"Carlson, J.: Timing analysis of component-based embedded systems. In: 15th International ACM SIGSOFT Symposium on Component Based Software Engineering. ACM, June 2012","DOI":"10.1145\/2304736.2304761"},{"key":"579_CR37","doi-asserted-by":"crossref","unstructured":"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","DOI":"10.1145\/1810295.1810365"},{"key":"579_CR38","unstructured":"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"},{"key":"579_CR39","unstructured":"EAST-ADL Tooling. \n                    http:\/\/www.east-adl.info\/Tooling.html\n                    \n                  . Accessed Mar 2016"},{"key":"579_CR40","unstructured":"Mubeen, S., M\u00e4ki-Turja, J., Sj\u00f6din, 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\u20136"},{"key":"579_CR41","doi-asserted-by":"crossref","unstructured":"Mubeen, S., Nolte, T., Sj\u00f6din, M., Lundb\u00e4ck, J., G\u00e5lnander, M., Lundb\u00e4ck, K.-L.: Modeling of legacy distributed embedded systems at vehicle abstraction level. In: 19th International Symposium on Component Based Software Engineering, Apr 2016","DOI":"10.1109\/CBSE.2016.17"},{"key":"579_CR42","unstructured":"Bucaioni, A., Cicchetti, A., Ciccozzi, F., Eramo, R., Mubeen, S., Sj\u00f6din, 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"},{"key":"579_CR43","unstructured":"Mubeen, S., M\u00e4ki-Turja, J., Sj\u00f6din, 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)"},{"key":"579_CR44","doi-asserted-by":"crossref","unstructured":"Qureshi, T., Chen, D., L\u00f6nn, H., T\u00f6rngren, M.: From EAST-ADL to AUTOSAR software architecture: a mapping scheme. In: Software Architecture, Lecture Notes in Computer Science, vol 6903 (2011), pp. 328\u2013335","DOI":"10.1007\/978-3-642-23798-0_35"},{"key":"579_CR45","unstructured":"ISO 11898-1. Road vehicles interchange of digital information controller area network (CAN) for high-speed communication. ISO Standard-11898, Nov 1993"},{"issue":"2\/3","key":"579_CR46","doi-asserted-by":"publisher","first-page":"173","DOI":"10.1007\/BF01094342","volume":"8","author":"N Audsley","year":"1995","unstructured":"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\u2013198 (1995)","journal-title":"Real-Time Syst."},{"key":"579_CR47","unstructured":"M\u00e4ki-Turja, J., H\u00e4nninen, K., Nolin, M.: Efficient development of real-time systems using hybrid scheduling. In: International Conference on Embedded Systems and Applications, June 2005"}],"container-title":["Software & Systems Modeling"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10270-017-0579-8\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-017-0579-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-017-0579-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,23]],"date-time":"2019-02-23T02:19:05Z","timestamp":1550888345000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10270-017-0579-8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,1,31]]},"references-count":47,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2019,2]]}},"alternative-id":["579"],"URL":"https:\/\/doi.org\/10.1007\/s10270-017-0579-8","relation":{},"ISSN":["1619-1366","1619-1374"],"issn-type":[{"type":"print","value":"1619-1366"},{"type":"electronic","value":"1619-1374"}],"subject":[],"published":{"date-parts":[[2017,1,31]]},"assertion":[{"value":"20 March 2016","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"31 December 2016","order":2,"name":"revised","label":"Revised","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"10 January 2017","order":3,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"31 January 2017","order":4,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}