论文信息 - Formal methods based acceptance testing for AUTOSAR exchangeability - 字舞流文

Formal methods based acceptance testing for AUTOSAR exchangeability

Ulf Norell | Rolf Johansson | Thomas Arts | Rickard Svenningsson

[1] Alberto L. Sangiovanni-Vincentelli,et al. Moving From Federated to Integrated Architectures in Automotive: The Role of Standards, Methods and Tools , 2010, Proceedings of the IEEE.

[2] Lionel C. Briand,et al. Formal analysis of the effectiveness and predictability of random testing , 2010, ISSTA '10.

[3] Iain Bate,et al. Architectural considerations in the certification of modular systems , 2002, Reliab. Eng. Syst. Saf..

[4] Ivica Crnkovic,et al. Component-based vs. model-based development: a comparison in the context of vehicular embedded systems , 2005 .

[5] Alberto L. Sangiovanni-Vincentelli,et al. Embedded System Design for Automotive Applications , 2007, Computer.

[6] Harald Heinecke,et al. AUTomotive Open System ARchitecture - An Industry-Wide Initiative to Manage the Complexity of Emerging Automotive E/E-Architectures , 2004 .

[7] Alberto L. Sangiovanni-Vincentelli,et al. Software Components for Reliable Automotive Systems , 2008, 2008 Design, Automation and Test in Europe.