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
Published April 16, 2012 by SAE International in United States
Formal Methods Based Acceptance Testing for AUTOSAR Exchangeability
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

  1. Arcuri, A. Iqbal, M.Z. Briand, L. “Formal analysis of the Effectiveness and Predictability of Random Testing,” ISSTA 2010 2010
  2. Arts, T. “Model based testing of AUTOSAR components,” 3rd AUTOSAR Open Conference 2011
  3. AUTOSAR http://www.autosar.org Sept. 2011
  4. Bate, I. Kelly, T.P. “Architectural Considerations in the Certification of Modular Systems,” Journal of Reliability Engineering and System Safety SAFECOMP 2002 2003
  5. 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
  6. Gilberg, A. “AUTOSAR Status and Release Roadmap,” 3rd AUTOSAR Open Conference 2011
  7. Gilberg, A. Kunkel, B. Ribault, A. et al. “Conformance Testing for the AUTOSAR Standard,” ERTS 2010 2010
  8. 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
  9. Heinecke, H. Damm, W. Kopetz, H. et al. “Software Components for Reliable Automotive Systems,” DATE08 2008
  10. 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
  11. Sangiovanni-Vincentelli, A. Di Natale, M. “Embedded System Design for Automotive Applications,” IEEE Computer 40 10 42 51 IEEE Computer Society Press 2007
  12. 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

Cited By