AT @ MCS @ TU/e

On this page, an overview of automotive technology (AT) activities is given carried out within the department of Mathematics and Computer Science (MCS) of the Eindhoven University of Technology (TU/e). From the MSC department, the sections Model Driven Software Engineering (MDSE) and Security and Embedded Networked Systems (SENS) participate actively in the Automotive Systems graduate program.

1         Research Projects

1.1       Current projects

1.1.1       STW Perspectief/iCAVE

iCAVE, which is an acronym of “Integrated Cooperative Automated Vehicles”, is a project proposal in the so-called Perspectiefronde 2014/2015 of STW. iCAVE aims at researching and designing a Cooperative Dual Mode Automated Transport (C-DMAT) system, consisting of dual mode vehicles which can be driven automatically and manually to allow maximum flexibility. iCAVE is a cooperation between faculties of the TU/e, UT, DUT, UvA, and RU. Sangeeth Kochanthara and Loek Cleophas from the MDSE section are participating in iCAVE.

1.1.2       Horizon 2020/C-MobILE

C-MobILE is a European innovation project, in which TU Eindhoven is one of the main partners. TU/e is working on making traffic safer, more comfortable and more efficient. In order to make this possible, technology will be developed in this project that provides automated communication between vehicles, and between vehicles and their surrounding infrastructure: Cooperative-Intelligent Transport System (C-ITS). To carry out this project, the consortium of 37 partners received a grant of 12.5 million from the European subsidy program Horizon 2020.

1.2       Completed projects

1.2.1       FP7-ICT/iGAME – October 2013 – October 2016

iGAME, which is an acronym for “Interoperable GCDC AutoMation Experience”, is a 3-years project  of the 7th Framework Programme for Research, technological Development and Demonstration. The objective of iGAME is to develop generic, fault-tolerant, and resilient technologies for automated driving and supporting cooperative applications, focusing on the supervisory control level. I-GAME aims to speed-up real-life implementation of interoperable cooperative driving, enabled by wireless communications. iGAME is a cooperation between several faculties of the TU/e, TNO, IDIADA and Viktoria Swedish ICT. Tarun Gupta participated in iGAME.

1.2.2       ARTEMIS/EMC2 – April 2014 – June 2017

EMC2, which is an acronym for “Embedded Multi-Core systems for Mixed Criticality applications in dynamic and changeable real-time environments”, is an ARTEMIS Joint Undertaking project in the Innovation Pilot Programme “Computing platforms for embedded systems” (AIPP5). The objective of EMC2 is to establish Multi-Core technology in all relevant Embedded Systems domains. EMC2 is a project of 99 partners. Sander de Putter, member of the section MDSE and Leo Hatvani, member of the section SENS, participated in EMC2.

1.2.3       FP7/OPENCOSS – October 2011 – March 2015

OPENCOSS (Open Platform for EvolutioNary Certification Of Safety-critical Systems) is an FP7 large-scale integrated project with a consortium of seventeen companies from nine countries. It aims 1) at devising a common certification framework which spans different vertical markets in the transport sector, such as railway, avionics and automotive industries, and facilitates the reuse of assurance assets within, across, and between domains, and 2) establishing an open-source platform for safety certification infrastructure. Yaping Luo of the section MDSE participated as a PhD-student, and worked on using metamodeling techniques to facilitate safety certification process and metric design for safety assessment.

1.2.4       HTAS/HIT – September 2010 – June 2014

The Hybrid Innovations for Trucks (HIT) project was a 4-years research project in the innovation program of the Ministry of Economic Affairs, Agriculture and Innovation in the Netherlands on HighTech Automotion Systems (HTAS), funded by the Dutch agency Agentschap NL. It was carried out in a consortium of an OEM, suppliers and research institutes as part of the HTAS program. The ultimate goal of the project is the reduction of CO2 emissions and fuel savings for long-haul trucks. To enable the innovation in hybrid vehicles, more complex control software will be developed, e.g. for engine, after-treatment, battery management and energy management systems. Yanja Dajsuren of the section MDSE participated as a PhD-student in HIT, and worked on architecture modelling and software quality techniques.

1.2.5       HTAS/Verified – April 2009 – December 2013

Verified, which is an acronym of “Verified, Economical and Robust Integrated Functionality for In-vehicle Embedded Development”, is also a 4-years research project in the HTAS innovation program. Verified is a co-operation between several faculties of the TU/e, TNO and various partners in the automotive industry, such as NXP and Verum. Sjoerd Cranen, former member of the section MDSE and Martijn M.H.P. van den Heuvel, member of the section SENS, participated as PhD-students in Verified. A presentation of the results of MSC at the final demonstration of Verified can be found here.

1.3       Submitted projects

2         Education

2.1       TU/e Bachelor College

The TU/e Bachelor College program offers 3-year lasting Bachelor educations with a fixed part (120 credits), consisting of the Major and the Basic Courses, and a large elective part (60 credits), consisting of a USE-trajectory and Free Electives. Automotive is one of the majors in the bachelor college. The MCS department provides the Automotive software engineering course (2IWA0) within the Automotive major.

2.2       TU/e Graduate School

The TU/e Graduate School provides 15 graduate programs, each focused on a specific field of research. A graduate program consists of one or more Master programs with the possibility to continue with a Technological Designer or PhD program in the same field. Automotive Systems is one of the TU/e graduate programs, with an Automotive Technology (AT) master’s degree program, an Automotive Systems Design (ASD) PDEng program, and an Automotive Systems PhD program.

The MCS department provides the Real-time software systems engineering course (2IN70) in the core program of the Master’s Program Automotive Technology (MSc-AT) and a Homologatie C++ and Computer Organization course (2DMW00). Moreover, the MCS department is involved in the Automotive systems engineering project (4AT100) of the core program of MSc-AT.

3         Publications

3.1       PhD-theses

[1]    Y. Luo, From conceptual models to safety assurance : applying model-based techniques to support safety assurance Eindhoven University of Technology (TU/e), https://pure.tue.nl/ws/files/20452143/20160426_Luo.pdf, 2016.

[2]    S. Cranen, Getting the point: obtaining and understanding fixpoints in model checking, PhD-thesis, Eindhoven University of Technology (TU/e), http://repository.tue.nl/791780, September 2015.

[3]    Y. Dajsuren, On the Design of an Architecture Framework and Quality Evaluation for Automotive Software Systems, PhD-thesis, Eindhoven University of Technology (TU/e), http://repository.tue.nl/792083, March 2015.

[4]    M.M.H.P. van den Heuvel, Composition and synchronization of real-time components upon one processor, PhD-thesis, Eindhoven University of Technology (TU/e), http://repository.tue.nl/755346, June 2013.

3.2       PDEng-theses

[5]    T. Gupta. Extending a real-time operating system with a mechanism for criticality-level changes, Eindhoven University of Technology (TU/e), Stan Ackermans Institute (SAI), https://pure.tue.nl/ws/files/32337443/Final Report Tarun Gupta.pdf, April 2015.

3.3       MSc-theses

[6]    S.M.N. Balamasubranian, Flexible Spin-Lock Model – Analysis and Implementation, MSc-ES thesis, TU/e, July 2017.

[7]    F. Remmen, Development of a Method to Predict a Cut-in Scenario for Automated Driving Assistance Systems, MSc-AT thesis, TU/e, 2017.

[8]    S. Sridhar Eswari, Domain Specific Modelling Of Safety Software Platform For Scalable Safe And Secure ECU In Automotive Domain, MSc-AT thesis, TU/e, 2017.

[9]    T. Mishra, Suitability Analysis of Model Based Systems Engineering approach for Modelling a Smart City Framework rendering the behavior of an Intelligent Transport System, MSc-AT thesis, TU/e, 2017.

[10]P. Venkat Narayanan, Applying model based techniques for process improvement and assessment in the automotive domain, MSc-AT thesis, TU/e, 2017.

[11]M. Verwielen, Performance of resource access protocols: time measurement of multicore real time resource access protocols, MSc-ES thesis, TU/e, http://repository.tue.nl/856420, June 2016.

[12]M. Kannan Soundarapandian,  Requirements Modelling and Experimentation on LEGO Car Factory using Model Driven Engineering Approach for Papyrus4Manufacturing, MSc-AT thesis, TU/e, 2016.

[13]F.C. Hoogendijk, Finding traces in brake electronics, MSc-AT thesis, TU/e, 2016.

[14]R.F.W. Segers, Suitability of Bluetooth Low Energy as a communication technology for automotive applications, MSc-AT thesis, TU/e, http://repository.tue.nl/799617, August 2014.

[15]J.H.S. van Uden, Proof of Concept of an Integrated Automotive Architecture, MSc-AT thesis, TU/e, http://repository.tue.nl/801502, November 2013.

[16]A.G. Dinu, Estimating performance indicators at model level, MSc-AT thesis, TU/e, http://repository.tue.nl/801501, November 2013.

[17]D.M.M. Gerrits, FlexRay-based communication for distributed in-vehicle embedded control, MSc-AT thesis, TU/e, http://repository.tue.nl/784864, November 2013.

3.4       Book-chapters

[18]M.M.P.H. van den Heuvel, R.J. Bril, J.J. Lukkien, M. Behnam, and T. Nolte, Uniform interfaces for resource-sharing components in hierarchically scheduled real-time systems, In: KuoDi Jian (ed.), ISBN 978-953-51-4774-9, Real-Time Systems, InTech, June 2016.

[19]T. Batsuuri, R.J. Bril and J.J. Lukkien, Model, Analysis, and Improvements for Inter-Vehicle Communication Using One-Hop Periodic Broadcasting based on the 802.11p Protocol, In: Dr. D. Benhaddou and Dr. A. Al-Fuqaha (eds.), ISBN 978-1-4939-2467-7, Wireless Sensor Networks: Vehicle and Space Applications, Springer, 2015.

[20]M. Holenderski, R.J. Bril and J.J. Lukkien. An Efficient Hierarchical Scheduling Framework for the Automotive Domain, In: Dr. Seyed Morteza Babamir (Ed.), ISBN: 978-953-51-0510-7, Real-Time Systems, Architecture, Scheduling, and Application, InTech, DOI:10.5772/38266, pp. 67 – 94, April 2012.

3.5       Journal papers

[21]S. Afshar, M. Behnam, R.J. Bril and T. Nolte, Per processor spin-based protocols for multiprocessor real-time systems, Accepted for Leibniz Transactions on Embedded Systems, September 2017.

[22] Y. Luo, M.J.G. van den Brand, S. Li, and A. Khabbaz Saberi, A systematic approach and tool support for GSN-based safety case assessment. Journal of Systems Architecture : Embedded Software Design : the EUROMICRO journal, 76, 1-16, 2017.

[23]L. Hatvani,S. Afshar, and R.J. Bril, Optimal Priority and Threshold Assignment for Fixed-priority Preemption Threshold Scheduling, Accepted for: ACM SIGBED Review, Special issue on 6th Embedded Operating Systems Workshop (EWiLi), 2016.

[24]Y. Luo and M.G.J. van den BrandMetrics design for safety assessment, Information and Software Technology, 73, 151-163, 2016.

[25]S. Afshar, N. Khalilzad, M. Behnam, R.J. Bril, and T. Nolte, Intra-component Resource Sharing on a Virtual Multiprocessor Platform, In: ACM SIGBED Review, 13(3):31-32, June 2016, Special issue on 8th International Workshop on Compositional Theory and Technology for Real-Time Embedded Systems (CRTS 2015).

[26]M.M.H.P. van den Heuvel, R.J. Bril, and J.J. Lukkien, Budget allocations for hierarchical fixed-priority scheduling of sporadic tasks with deferred preemptions upon EDP resources, ACM SIGBED Review, 12(1), February 2015, Special issue on the 6th International Workshop on Compositional Theory and Technology for Real-Time Embedded Systems (CRTS 2013).

[27]M.M.H.P. van den Heuvel, R.J. Bril, and J.J. Lukkien, Transparent synchronization protocols for compositional real-time systems, IEEE Transactions on Industrial Informatics, 8(2):322-336, May 2012.

[28]M.M.H.P. van den Heuvel, M. Holenderski, R.J. Bril, and J.J. Lukkien, Constant bandwidth supply for priority processing, IEEE Transactions on Consumer Electronics, 57(2): 873 – 881, May 2011.

[29]R.J. Bril, J.J. Lukkien, and W.F.J. Verhaegh, Worst-case response time analysis of real-time tasks under fixed-priority scheduling with deferred preemption, Real-Time Systems Journal, ISSN 1573-1383 (online), DOI 10.1007/s11241-009-9071-z, http://www.springerlink.com/content/f05r404j63424h27/fulltext.pdf, April 28th, 2009, ISSN 0922-6443 (print), 42(1-3): 63 – 119, August 2009.

[30]R.I. Davis, A. Burns, R.J. Bril, and J.J. Lukkien, Controller Area Network (CAN) schedulability analysis: Refuted, revisited and revised, Real-Time Systems, ISSN 1573-1383 (online), http://www.springerlink.com/content/8n32720737877071/, January 30th, 2007, ISSN 0922-6443 (print), 35(3): 239-272, April 2007.

3.6       Conference papers

[31]S.M.N. Balasubramanian, S. Afshar, P. Gai, M. Behnam, and R.J. Bril, Incorporating implementation overheads in the analysis for the Flexible Spin-Lock Model, Accepted for 43rd Annual Conference of the IEEE Industrial Electronics Society (IECON), October 2017.

[32]S. Afshar, M. Behnam, R.J. Bril and T. Nolte, An Optimal Spin-Lock Priority Assignment Algorithm for Real-Time Multi-core Systems, In: Proc. 23rd IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA), August, 2017.

[33]Y. Luo, A. Khabbaz Saberi, T. BijlsmaJ.J. Lukkien and M.G.J. van den BrandAn architecture pattern for safety critical automated driving applications : design and analysis. In: Proc. 11th Annual IEEE International Systems Conference (SysCon), pp. 261-267, April 2017.

[34]Y. Luo, Z. Li and M.G.J. van den Brand, Development of a safety case editor with assessment features,  Workshop on Automotive Systems/Software Architectures (WASA), pp. 10-13, April 2016. 

[35]L. Hatvani, S. Altmeyer, and R.J. Bril, Schedulability using native non-preemptive groups on an AUTOSAR/OSEK platform with caches, In: Proc. 20th International Conference on Design, Automation and Test in Europe (DATE), March 2017.

[36]L. Hatvani and R.J. Bril, Minimizing stack usage for AUTOSAR/OSEK’s restricted fixed-priority preemption threshold support, In: Proc. 11th IEEE International Symposium on Industrial Embedded Systems (SIES), June 2016.

[37]E. van Nunen, D. Tzempetzis, G. KoudijsH. Nijmeijer and M.G.J. van den Brand, Towards a safety mechanism for platooning, In: Proc. IEEE Intelligent Vehicles Symposium, pp. 502-507, June 2016.

[38]Y. Luo, A. Li and M.G.J. van den BrandA categorization of GSN-based safety cases and patterns, In: Proc. 4th International Conference on Model-Driven Engineering and Software Development, pp. 509-516, February 2016.

[39]M. Olszewska, Y. Dajsuren, H. Altinger, A. Serebrenik, M. Walden and M.G.J. van den BrandTailoring complexity metrics for simulink models, In: Proc.  10th European Conference on Software Architecture, Companion Volume: Women in Software Architecture, pp. 1-7, 2016.

[40]S. Afshar, M. Behnam, R.J. Bril and T. Nolte, Resource sharing in a Hybrid Partitioned/Global Scheduling Framework for Multiprocessors, In: Proc. 20th IEEE International Symposium on Emerging Technologies and Factory Automation (ETFA), September 2015.

[41]L. Hatvani and R.J. Bril, Schedulability using native non-preemptive groups on an AUTOSAR/OSEK platform, In: Proc. 20th IEEE International Symposium on Emerging Technologies and Factory Automation (ETFA), September 2015.

[42]S. Manoj Kannan, Y. Dajsuren, Y. Luo, and I. Barosan, Analysis of ISO 26262 compliant techniques for the automotive domain, In: R.S.M. Antkiewicz, J. Dingel and J. Atlee (Eds.), International Workshop on Modelling in Automotive Software Engineering (MASE), co-located with MODELS, , CEUR Workshop Proceedings, No. 1487, CEUR-WS.org, pp. 33-42, September 2015.

[43]M. Becker, N. Khalilzad, R.J. Bril and T. Nolte, Extending support for limited preemption fixed priority scheduling for OSEK/AUTOSAR-compliant operating systems, In: Proc. 10th IEEE International Symposium on Industrial Embedded Systems (SIES), June 2015.

[44]S. Afshar, M. Behnam, R.J. Bril and T. Nolte, Resource sharing under global scheduling with partial processor bandwidth, In: Proc.10th IEEE International Symposium on Industrial Embedded Systems (SIES), June 2015.

[45]Y. Luo., J. Stelma and M.G.J. van den BrandFunctional safety measurement in the automotive domain : adaptation of PSM, In: Proc. 1st International Workshop on Automotive Software Architecture (WASA), pp. 11-17, May 2015.

[46]A. Khabbaz Saberi, Y. Luo, F.P. CichoszM.G.J. van den Brand and S.T.H. Jansen, An approach for functional safety improvement of an existing automotive system, In: Proc. 9th Annual IEEE International Systems Conference (SysCom), pp. 277-282, April  2015.

[47]H. Lin, J. Wui, C. Yuan, Y. LuoM.G.J. van den Brand and L.J.P. EngelenA systematic approach for safety evidence collection in the safety-critical domain, In: Proc. 9th Annual IEEE International Systems Conference (SysCon), pp. 194-199, April 2015.

[48]Y. Luo.M.G.J. van den Brand and A. KiburseSafety case development with SBVR-based controlled language, In: L.F. Pires, S. Hammoudi, J. Philipe and P. Desfray (Eds.), Model-Driven Engineering and Software Development (Communications in Computer and Information Science, No. 580), Dordrecht: Springer, pp. 3-17, 2015.

[49]Y. Luo.M.G.J. van den Brand, L.J.P. Engelen and M.D. KlabbersFrom conceptual models to safety assurance, In: E. Yu, G. Dobbie, S. Purao and M. Jarke (Eds.),  In: Proc. 33rd International Conference on Conceptual Modeling, Lecture Notes in Computer Science, No. 8824, Cham: Springer, pp. 195-208, October 2014.

[50]Y. Luo, L.J.P. Engelen and M.G.J. van den Brand, Metamodel comparison and model comparison for safety assurance, In F. Ortmeier, A. Ceccarelli and A. Bondavelli (Eds.), Computer Safety, Reliability, and Security (SAFECOMP Workshops: ASCoMS, DECSoS, DEVVARTS, ISSE, ReSA4CI, SASSUR),  Lecture Notes in Computer Science, No. 8696, Berlin: Springer, pp. 419-430, September 2014.

[51]M.M.H.P. van den Heuvel, M. Behnam, R.J. Bril, J.J. Lukkien, and T. Nolte, Optimal and fast composition of resource-sharing components in hierarchical real-time systems, In: Proc. 20th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA), August 2014.

[52]Y. Luo.M.G.J. van den Brand, L.J.P. Engelen and M.D. Klabbers (2015). A modeling approach to support safety assurance in the automotive domain. In G. Chmaj, H. Selvaraj and D. Zydek (Eds.), Progress in Systems Engineering, 23rd International Conference on Systems Engineering (ICSEng), Advances in Intelligent Systems and Computing, No. 1089, Cham: Springer, pp. 339-345, August 2014.

[53]S. Afshar, M. Behnam, R.J. Bril, and T. Nolte, Flexible Spin-Lock Model for Resource Sharing in Multiprocessor Real-Time Systems, In: Proc. 9th IEEE International Symposium on Industrial Embedded Systems (SIES), June 2014.

[54]Y. DajsurenA. SerebrenikR.G.M. Huisman and M.G.J. van den Brand (2014). A quality framework for evaluating automotive architecture, FISITA 2014 World Automotive Congress, pp. 1-7, June 2014.

[55]Y. Dajsuren, Gerpheide, C.M., A. SerebrenikWijs, A.J., Vasilescu, B.N. and M.G.J. van den Brand(2014). Formalizing correspondence rules for automotive architectural views, In: Proc. 10th International ACM SIGSOFT Conference on the Quality of Software Architectures (QoSA), pp. 129-138, June 2014.

[56]L. Ben Othmane, A. Al-Fuqaha, E. Ben Hamida and M.G.J. van den Brand Towards extended safety in connected vehicles, In: Proc. 16th International IEEE Conference on Intelligent Transportation Systems: Intelligent Transportation Systems for All Modes (ITSC), pp. 652-657, October 2013.

[57]M.M.H.P. van den Heuvel, R.J. Bril, X. Zhang, S.M.J. Abdullah, and D. Isovic, Limited preemptive scheduling of mixed time-triggered and event-triggered tasks, In: 18th IEEE International Conference on Emerging Technology & Factory Automation (ETFA), September 2013.

[58]M.M.H.P. van den Heuvel, R.J. Bril and J.J. Lukkien, Virtual scheduling for compositional real-time guarantees, In: Proc. 8th IEEE International Symposium on Industrial Embedded Systems (SIES), Porto, Portugal, June 2013.

[59]Y. Luo.M.G.J. van den Brand, L.J.P. Engelen, J. Favaro, M.D. Klabbers and G. Sartori, Extracting models from ISO 26262 for reusable safety assurance, In: Proc. 13th International Conference on Software Reuse (ICSR), Lecture Notes in Computer Science, No. 7925, Berlin: Springer, pp. 192-207, June 2013.

[60]Y. DajsurenM.G.J. van den BrandA. Serebrenik and S. Roubtsov, Simulink models are also software : modularity assessment, In: Proc. 9th International ACM SIGSOFT Conference on the Quality of Software Architectures (QoSA), pp. 99-106, June 2013.

[61]M.M.H.P. van den Heuvel, R.J. Bril, J.J. Lukkien, D. Isovic and G. Sankar Ramachandran, RTOS support for mixed time-triggered and event-triggered task sets, In: Proc. 10th IEEE/IFIP International Conference on Embedded and Ubiquitous Computing (EUC), pp. 578--585, December 2012.

[62]R.J. Bril, M.M.P.H. van den Heuvel, U. Keskin, and J.J. Lukkien, Generalized fixed-priority scheduling with limited preemptions, In: Proc. 24th Euromicro Conference on Real-Time Systems (ECRTS), pp. 209 – 220, July 2012.

[63]T. Batsuuri, R.J. Bril and J.J. Lukkien, Model, analysis, and improvements for V2V communication based on 802.11p, In: Proc. 1st International Conference on Advances in Vehicular Systems, Technologies and Applications, pp. 11 – 17, June 2012.

[64]Y. DajsurenM.G.J. van den BrandA. Serebrenik and R.G.M. HuismanAutomotive ADLs : A study on enforcing consistency through multiple architectural levels, In: Proc. 8th International ACM SIGSOFT Conference on the Quality of Software Architectures (QoSA), pp. 71-80, June 2012.

[65]S. Cranen and R.J. Bril, Global schedulability analysis of a synchronization protocol based on replenishment-bounded overrun for compositional real-time systems, In: Proc. 7th IEEE International Symposium on Industrial Embedded Systems (SIES), pp. 39 – 47, June 2012.

[66]M.M.H.P. van den Heuvel, R.J. Bril, and J.J. Lukkien, Dependable resource sharing for compositional real-time systems, In: Proc. 17th IEEE International Conference on Embedded and Real-Time Computing Systems (RTCSA), pp. 153 – 163, August 2011.

[67]U. Keskin, M.M.H.P. van de Heuvel, R.J. Bril, J.J. Lukkien, M. Behnam, and T. Nolte, An engineering approach to synchronization based on overrun for compositional real-time systems, In: Proc. 6th IEEE International Symposium on Industrial Embedded Systems (SIES), pp. 274 – 283, June 2011.

[68]T. Batsuuri, R.J. Bril and J.J. Lukkien, Performance and Fairness in VANETs, In: Proc. of the 29th IEEE International Conference on Consumer Electronics (ICCE), pp. 647 – 648, January 2011.

3.7       Workshop, Work-in-Progress, and Miscellaneous papers

[69]S.M.N. Balasubramanian, S. Afshar, P. Gai, M. Behnam, and R.J. Bril, A dual shared stack for FSLM in Erika Enterprise, In: Proc. Work-in-Progress (WiP) session of the 23rd IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA), August, 2017.

[70]T. Gupta, E.J. Luit, M.M.H.P. v.d. Heuvel and R.J. Bril, Extending ExSched with Mixed Criticality support – an experience report –, In: Proc. 3rd Workshop on Automotive System/Software Architecture (WASA), In conjunction with IEEE International Conference on Software Architecture (ICSA), April 2017 (https://doi.org/10.1109/ICSAW.2017.45).

[71]M. Kannan Soundarapandian, K. Suri, J. Cadavid, I. Barosan, M. van den Brand, M. Alferez, S. Gerard, Towards Industry 4.0: Gap Analysis between Current Automotive MES and Industry Standards using Model-Based Requirement Engineering, In: Proc. 3rd Workshop on Automotive System/Software Architecture (WASA), In conjunction with IEEE International Conference on Software Architecture (ICSA), April 2017.

[72]L. Hatvani,S. Afshar, and R.J. Bril, Optimal Priority and Threshold Assignment for Fixed-priority Preemption Threshold Scheduling, In: Proc. 6th Embedded Operating Systems Workshop (EWiLi), CEUR Workshop Proceedings, Vol-1697, ISSN 1613-0073 (6 pages), October 2016.

[73]S. Afshar, M.P.W. Verwielen, P. Gai, M. Behnam, and R.J. Bril, An implementation of the flexible spin-lock model in ERIKA Enterprise on a multi-core platform, In: Proc. 12th Workshop on Operating Systems Platforms for Embedded Real-Time applications (OSPERT), pp. 55—60, July 2016.

[74]S. Afshar, N. Khalilzad, M. Behnam, R.J. Bril, and T. Nolte, Intra-component Resource Sharing on a Virtual Multiprocessor Platform, In: Proc. 8th Workshop on Compositional Theory and Technology for Real-Time Embedded Systems (CRTS), December 2015.

[75]  M.M.H.P. van den Heuvel, E.J. Luit, R.J. Bril, J.J. Lukkien, P.H.F.M. Verhoeven and M. Holenderski, An experience report on the integration of ECU software using an HSF-enabled real-time kernel, In: Proc. 11th Workshop on Operating Systems Platforms for Embedded Real-Time applications (OSPERT), pp. 51--56, July 2015.

[76]T. Gupta, Interoperable robustness measures for safety-integrity levels (SILs), i-GAME Deliverable D2.4, European Commission 7th Framework Programme, April 2015, http://www.gcdc.net/images/doc/D2.4.Interoperable.robustness.measures.for.safety-integrity.level.pdf.

[77]Y. DajsurenM.G.J. van den Brand and A. SerebrenikModularity analysis of automotive control software, ERCIM News, 94, 20-21, 2013.

[78]R.J. Bril, J.J. Lukkien, R.I. Davis and A. Burns, Message response time analysis for ideal controller area network (CAN) refuted, In: Proc. 5th International Workshop on Real-Time Networks (RTN), pp. 13 – 18, July 2006.