This content is not included in
your SAE MOBILUS subscription, or you are not logged in.
Formal Methods Based Acceptance Testing for AUTOSAR Exchangeability
Journal Article
2012-01-0503
ISSN: 1946-4614, e-ISSN: 1946-4622
Sector:
Citation:
Svenningsson, R., Johansson, R., Arts, T., and Norell, U., "Formal Methods Based Acceptance Testing for AUTOSAR Exchangeability," SAE Int. J. Passeng. Cars - Electron. Electr. Syst. 5(1):209-213, 2012, https://doi.org/10.4271/2012-01-0503.
Language:
English
References
- Arcuri, A. Iqbal, M.Z. Briand, L. “Formal analysis of the Effectiveness and Predictability of Random Testing,” ISSTA 2010 2010
- Arts, T. “Model based testing of AUTOSAR components,” 3rd AUTOSAR Open Conference 2011
- AUTOSAR http://www.autosar.org Sept. 2011
- Bate, I. Kelly, T.P. “Architectural Considerations in the Certification of Modular Systems,” Journal of Reliability Engineering and System Safety SAFECOMP 2002 2003
- Fennel, H. Bunzel, S. Heinecke, H. Bielefeld, J. et al. “Achievements and Exploitation of the AUTOSAR Development Partnership,” Convergence Technical Paper 2006-21-0019 2006
- Gilberg, A. “AUTOSAR Status and Release Roadmap,” 3rd AUTOSAR Open Conference 2011
- Gilberg, A. Kunkel, B. Ribault, A. et al. “Conformance Testing for the AUTOSAR Standard,” ERTS 2010 2010
- Heinecke, H. Schnelle, K. Fennel, H. Bortolazzi, J. et al. “AUTomotive Open System ARchitecture - An Industry-Wide Initiative to Manage the Complexity of Emerging Automotive E/E-Architectures,” Convergence Technical Paper 2004-21-0042 2004
- Heinecke, H. Damm, W. Kopetz, H. et al. “Software Components for Reliable Automotive Systems,” DATE08 2008
- Di Natale, M Sangiovanni-Vinventelli, A. “Moving from Federated to Integrated Architectures in automotive: The Role of Standards, Methods and Tools,” proceedings of the IEEE 98 4 2010
- Sangiovanni-Vincentelli, A. Di Natale, M. “Embedded System Design for Automotive Applications,” IEEE Computer 40 10 42 51 IEEE Computer Society Press 2007
- Törngren, M. Chen, D. Crnkovic, I. “Component-based vs. Model-based Development: A Comparison in the Context of Vehicular Embedded systems,” EUROMICRO Conference on Software Engineering and advanced Applications 2005