1. AUTOSAR Development Partnership: AUTOSAR Development Partnership (2007),http://www.autosar.org

2. Sangiovanni-Vincentelli, A., Di Natale, M.: Embedded system design for automotive applications. Computer 40(10), 42–51 (2007)

   Article  Google Scholar 

3. Törngren, M., Chen, D.J., Malvius, D., Axelsson, J.: Model based development of automotive embedded systems. In: Handbook on Automotive Embedded Systems. Taylor and Francis CRC Press - Series: Industrial Information Technology (invited) (forthcoming 2008), ISBN=9780849380266

   Google Scholar 

4. Törngren, M., Chen, D.J., Crnkovic, I.: Component-based vs. model-based development: A comparison in the context of vehicular embedded systems. In: EUROMICRO-SEAA, pp. 432–441 (2005)

   Google Scholar 

5. ATESST consortium: Report on behavioral modeling within east-adl2, d3.2 deliverable. Technical report (December 2007),http://www.atesst.org/

6. Sjöstedt, C.J., Shi, J., Törngren, M., Servat, D., Chen, D., Ahlsten, V., Lönn, H.: Mapping Simulink to UML in the Design of Embedded Systems: Investigating Scenarios and Structural and Behavioral Mapping. In: OMER4 Post-Proceedings (2008)

   Google Scholar 

7. SysML Partners: Systems Modeling Language (SysML) open source specification project,http://www.sysml.org

8. International Organization for Standardization: ISO Working Draft 26262 Baseline 10 (2007)

   Google Scholar 

9. Kelley, T.P.: Arguing Safety - A Systematic Approach to Managing Safety Cases. PhD thesis, University of York (1998)

   Google Scholar 

10. Papadopoulos, Y., McDermid, J.A.: Hierarchically performed hazard origin and propagation studies. In: Felici, M., Kanoun, K., Pasquini, A. (eds.) SAFECOMP 1999. LNCS, vol. 1698, pp. 139–152. Springer, Heidelberg (1999)

    Chapter  Google Scholar 

11. Papadopoulos, Y., Grante, C.: Evolving car designs using model-based automated safety analysis and optimisation techniques. J. Syst. Softw. 76(1), 77–89 (2005)

    Article  Google Scholar 

12. HIS: Specification Requirements Interchange Format (RIF), version 1.1a (2007)

    Google Scholar 

13. OMG: Uml profile for modeling and analysis of real-time and embedded systems (marte), beta1, omg document number: ptc/07-08-04 (August 2007)

    Google Scholar 

14. The Motor Industry Software Reliability Association (MISRA): Development guidelines for vehicle based software (1994)

    Google Scholar 

15. International Electrotechnical Commission: Functional safety of electrical/electronic/ programmable electronic safety-related systems - part 0: Functional safety and iec 61508 (2005)

    Google Scholar 

16. Törner, F., Chen, D.J., Johansson, R., Lönn, H., Törngren, M.: Supporting an automotive safety case through systematic model based development - the east-adl2 approach. In: SAE World Congress (2008), SAE paper number 2008-01-0127

    Google Scholar 

Download references