Survey of Modelling Formalisms for MISRA-C:1998 Software Architecture Modelling
作者： Joakim Gustavsson
DOI:
关键词:
摘要: The complexity of electrical and electronic automotivesystems have increased steadily over the previous decades, with modern vehicles containing as many 50-70 Elec-tronic Control Units, seve ...
参考文章(35)
J. S. Freudenberg, Controller Area Network (CAN) ,(2008)
Per Johannessen, Öjvind Halonen, Ola Örsmark, Functional Safety Extensions to Automotive SPICE According to ISO 26262 international conference on software process improvement and capability determination. pp. 52- 63 ,(2011) , 10.1007/978-3-642-21233-8_5
shilu Shrestha, Software Modeling in Cyber-Physical Systems ,(2014)
Martin Pruscha, Infrastructure for the Generation of Functional Data-Flow Views for Automotive Embedded Systems ,(2013)
Ivica Crnkovic, Aneta Vulgarakis, Séverine Sentilles, Michel Chaudron, A Classification Framework for Component Models 7th Conference on Software Engineering and Practice in Sweden, Göteborg, Sweden. ,(2007)
Josip Pantovic, Automated Data Dependency Visualization for Embedded Systems Programmed in C ,(2013)
Rutherford Aris, Mathematical Modelling Techniques ,(1978)
J. Krogstie, O. I. Lindland, G. Sindre, Defining quality aspects for conceptual models Proceedings of the IFIP international working conference on Information system concepts: Towards a consolidation of views. pp. 216- 231 ,(1995) , 10.1007/978-0-387-34870-4_22
W. F. Pollard, Martyn A. Ould, Charles Unwin, Testing in software development The Mathematical Gazette. ,vol. 71, pp. 331- 331 ,(1987) , 10.2307/3617087