Formal Methods Based Acceptance Testing for AUTOSAR Exchangeability.

Formal Methods Based Acceptance Testing for AUTOSAR Exchangeability.

著者名:

掲載資料名:

2012 SAE world congress : technical paper

シリーズ名:

Society of Automotive Engineers technical paper series

シリーズ巻号:

2012

発行年:

2012

通号:

2012-01-0503

ペーパー番号:

2012-01-0503

総ページ数:

5

出版情報:

Warrendale, Penn.: Society of Automotive Engineers

ISSN:

01487191

言語:

英語

請求記号:

S10400

資料種別:

テクニカルペーパー

詳細

TDL書誌ID:	ZA00052142
シリーズID:	PA00000058
会議名:	SAE 2012 World Congress
回次:	2012
会議開催地:	Detroit, Michigan, USA
会議開催年:	2012.04.24-2012.04.26
論文注記:	SAE 2012 World Congress, April 24-26, 2012, Detroit, Michigan, USA

類似資料:

1 テクニカルペーパー Advantages and Challenges of Introducing AUTOSAR for Safety-Related Systems. Graniou, M., Sivencrona, H., Svenningsson, R. Society of Automotive Engineers	7 テクニカルペーパー Time-Averaged and Time-Resolved Heat Flux Measurements on a Turbine Stator Blade Using Two-Layered Thin-Film Gauges. Liopoulou, V., Denos, R., Billiard, N., Arts, T. American Society of Mechanical Engineers
2 テクニカルペーパー New Methods of Debugging and Testing Improve the Software Quality of AUTOSAR ECUs. Lotoczky, R.E., Schwager, M. Society of Automotive Engineers	8 テクニカルペーパー Energetic Device Qualification and Lot Acceptance Test Requirements. Neyer, B.T. American Institute of Aeronautics and Astronautics
3 テクニカルペーパー Validation of Control Software by Search-Based Testing Using Formal Methods Shunsuke Kobuna, Tomoyuki Kaga, Tomoya Yamaguchi Society of Automotive Engineers	9 テクニカルペーパー THREE-DIMENSIONAL ROTATIONAL INVISCID FLOW CALCULATION IN AXIAL TURBINE BLADE ROWS ARTS, T. National Aeronautics and Space Administration
4 テクニカルペーパー Investigation of the Conjugate Convective-Conductive Thermal Behavior of a Rib-Roughened Internal Cooling Channel. Fedrizzi, R., Arts, T. American Society of Mechanical Engineers	10 テクニカルペーパー THREE DIMENSIONAL ROTATIONAL INVISCID FLOW CALCULATION Arts, T. National Aeronautics and Space Administration
5 テクニカルペーパー A New Method of Coupling HiL-Simulation and Engine Testing Based on AUTOSAR-Compliant Control Units. Schyr, C., Jakubek, S., Stempfer, G. Society of Automotive Engineers	11 テクニカルペーパー AERO-THERMAL INVESTIGATION OF A HIGHLY LOADED TRANSONIC LINEAR TURBINE GUIDE VANE CASCADE : A test case for inviscid and viscous flow computations Arts, T., de Rouvroit, M. Lambert, Rutherford, A.W. National Aeronautics and Space Adminstration
6 テクニカルペーパー Windows Based Software Development Platform for AUTOSAR ECUs. Rolina, T., Wandling, F. Society of Automotive Engineers	12 テクニカルペーパー SYSTEM SEMANTICS AND FORMAL CIRCUIT DESCRIPTION BOUTE, R.T. National Aeronautics and Space Administration

1

2

3

4

5

6

7

8

9

10

11

12