A Critical Analysis of Model-Based Formal Verification Efforts within the Automotive Industry.

A Critical Analysis of Model-Based Formal Verification Efforts within the Automotive Industry.

Author(s):

Publication title:

2008 SAE world congress : technical paper

Title of ser.:

Society of Automotive Engineers technical paper series

Ser. no.:

2008

Pub. Year:

2008

No.:

2008-01-0220

Paper no.:

2008-01-0220

Pages:

7

Pub. info.:

Warrendale, Penn.: Society of Automotive Engineers

ISSN:

01487191

Language:

English

Call no.:

S10400

Type:

Technical Paper

Details

TDL ID:	ZA00052084
Series ID:	PA00000058
Conf. info. (Name):	SAE World Congress
Conf. info. (Number):	2008
Conf. info. (Venue):	Detroit, Michigan, USA
Conf. info. (Date):	2008.04.14-2008.04.17
Note for article:	Reprinted From: In-Vehicle Networks and Software, 2008, SP-2197

Similar Items:

1 Technical Paper Modelling of Network Communications Stack Software ROM and RAM Requirements. Quigley, C., McMurran, R., Jones, R.P., Faithfull, P. Society of Automotive Engineers	7 Technical Paper The Formal Verification of Generic Interpreters Windley, P., Levitt, K., Cohen, G.C. National Aeronautics and Space Adminstration
2 Technical Paper Robustness Modelling of Complex Systems - Application to the Initialisation of a Hybrid Electric Vehicle Propulsion System. McMurran, R., Jones, R.P. Society of Automotive Engineers	8 Technical Paper Formal Verification for Model-Based Development. Bouali, A., Dion, B. Society of Automotive Engineers
3 Technical Paper Comparing the Harness Cost of Hardwired and Networked Integrated Door Systems. Quigley, C., McMurran, R., Jones, R.P., Faithfull, P. Society of Automotive Engineers	9 Technical Paper A Computer Model Based Sensitivity Analysis of Parameters of an Automotive Air Conditioning System. Rahman, S., Bathla, P.S., Singh, K., Sun, R.L. Society of Automotive Engineers
4 Technical Paper Formal Requirements Analysis Techniques for Software-Intensive Automotive Electronic Control Systems. Rao, A.C., Dixit, M.G., Sethu, R. Society of Automotive Engineers	10 Technical Paper Formal Methods for the Analysis of Critical Control Systems Models: Combining Non-Linear and Linear Analyses. Champion, A., Delmas, R. Society of Automotive Engineers
5 Technical Paper Formal Verification in Model Based Development Ashlie B. Hocking, John C. Knight, M. Anthony Aiello, Shin'ichi Shiraishi Society of Automotive Engineers	11 Technical Paper Model Based Control of Engines. Thomas, S., Sharma, R.P. Society of Automotive Engineers
6 Technical Paper A Structural Ceramic Diesel Engine-The Critical Elements Wade,W.R., Havstad,P.H., Rao,V.D., Aimone,M.G., Jones,C.M. "Society of Automotive Engineering, Inc."	12 Technical Paper Applying Design Verification Tools in Automotive Software V&V. Rao, A.C., Yeolekar, A. Society of Automotive Engineers

1

2

3

4

5

6

7

8

9

10

11

12