Integrating Functional and Non-Functional Design Verification for Embedded Software Systems.

Integrating Functional and Non-Functional Design Verification for Embedded Software Systems.

Author(s):

Publication title:

2009 SAE world congress : technical paper

Title of ser.:

Society of Automotive Engineers technical paper series

Ser. no.:

2009

Pub. Year:

2009

No.:

2009-01-0152

Paper no.:

2009-01-0152

Pages:

13

Pub. info.:

Warrendale, Penn.: Society of Automotive Engineers

ISSN:

01487191

Language:

English

Call no.:

S10400

Type:

Technical Paper

Details

TDL ID:	ZA00052095
Series ID:	PA00000058
Conf. info. (Name):	SAE World Congress & Exhibition, 2009
Conf. info. (Number):	2009
Conf. info. (Venue):	Detroit, MI, USA
Conf. info. (Date):	2009.04.20-2009.04.23
Note for article:	SAE 2009 World Congress, April 20-23, 2009, Detroit, Michigan, USA

Similar Items:

1 Technical Paper Model Based Design Verification: A Monitor Based Approach. Ackermann, C., Ray, A., Cleaveland, R., Heit, J., Martin, C., Shelton, C. Society of Automotive Engineers	7 Technical Paper Design and Integration of an Actuated Nose Strake Control System Flick, Bradley C., Thomson, Michael P., Regenie, Victoria A., Wichman, Keith D., Pahle, Joseph W., Earls, Michael R. National Aeronautics and Space Adminstration
2 Technical Paper Software Design and Development Principles for Large-Scale Mission-Critical Embedded Systems R. Selby American Institute of Aeronautics and Astronautics	8 Technical Paper International Standards for System Integration. Martin, R.A. Society of Manufacturing Engineers
3 Technical Paper Functional Integration of E/E Systems Bortolazzi,Juergen, Ulrich,Martin, Raith,Thomas Society of Automotive Engineering, Inc.	9 Technical Paper DESIGN VERIFICATION AND FABRICATION OF ACTIVE CONTROL SYSTEMS FOR THE DAST ARW-2 HIGH ASPECT RATIO WING, PART 1 McGehee, C. R. National Aeronautics and Space Administration
4 Technical Paper VisualDOC: A Software System for General Purpose Integration and Design Optimization Balabanov, V., Charpentier, C., Ghosh, D., Quinn, G., Vanderplaats, G., Venter, G. American Institute of Aeronautics and Astronautics	10 Technical Paper DESIGN VERIFICATION AND FABRICATION OF ACTIVE CONTROL SYSTEMS FOR THE DAST ARW-2 HIGH ASPECT RATIO WING, PART 2: APPENDICES McGehee, C. R. National Aeronautics and Space Administration
5 Technical Paper Model Based Verification and Validation of Distributed Control Architectures. Ray, A., Cleaveland, R., Jiang, S., Fuhrman, T.E. Society of Automotive Engineers	11 Technical Paper Applying Design Verification Tools in Automotive Software V&V. Rao, A.C., Yeolekar, A. Society of Automotive Engineers
6 Technical Paper LED Headlamps - Highly Efficient Optical Systems. Ackermann, R. Society of Automotive Engineers	12 Technical Paper Design and Analysis Integration Using Systems Engineering for Aircraft Structural Design Mawhinney, P., Price, M., Armstrong, C., Curran, R., Early, J., Murphy, A. American Institute of Aeronautics and Astronautics

1

2

3

4

5

6

7

8

9

10

11

12