Executable specs: What makes one, and how are they used?

SAE Technical Papers

Volumn , Issue , 2006, Pages

  Schubert, Peter J ^a   Vitkin, Lev ^b   Winters, Frank ^b  

^a Packer Engineering

^b DELPHI CORPORATION   (United States)

Author keywords

Executable specifications; Model based development; Simulation and modeling; Systems design

Indexed keywords

PRODUCT DESIGN; SOFTWARE TESTING; SYSTEMS ANALYSIS;

AUTO-CODE GENERATIONS; AUTOMATIC DOCUMENT GENERATION; DESIGN AND IMPLEMENTATIONS; EXECUTABLE SPECIFICATIONS; HARDWARE AND SOFTWARE; MODEL BASED DEVELOPMENT; PRODUCT ARCHITECTURE; SIMULATION AND MODELING;

SPECIFICATIONS;

EID: 85072427491     PISSN: 01487191     EISSN: 26883627     Source Type: Journal    
DOI: 10.4271/2006-01-1357     Document Type: Conference Paper

References (13)

1. "Model Based Systems Development in Automotive," Mutz M., Huhn M., Goltz U., Kromke C., SAE World Congress 2002, paper 03B-128.
2. "Zero Hand Coding Approach for Controller Development," Saikalis G., Oho S., Zunft S., "SAE 2002 World Congress, paper 2002-01-0142.
3. "Trends of Future Powertrain Development and the Evolution of Powertrain Control Systems," Ueda T., Ohata A., SAE Convergence 2004, 2004-21-0063.
4. "Model-Based Tools Update," The Hansen Report on Automotive Electronics, June 2001, vol. 14, no. 5.
5. "A System-Design Methodology: Executable-Specification Refinement," Gajski D., Vahid F., Narayan S., European Design and Test Conference, 1994 Proceedings, March 1994.
6. "Systematic Model-Based Testing of Embedded Automotive Software", Conrad M., Frey I., Sadeghipour S., Electronics Notes in Theoretical Computer science 111 (2005) pp. 13-26. (Pubitemid 40061258)
7. "Incorporating Autocode Technology into Software Development Process", Vitkin L., Jestin T.K., ICSE 2004, pp. 51-57.
8. "Managing the Challenges of Automotive Embedded Software Development Using Model-Base Methods for Design and Specification", Yeaton M., SAE 2004-01-0720
9. "Integration of the Code Generation Approach in the Model-Based Development Process by Means of Tool Certification", Sturmer I., Journal of Integrated Design and Process Science, Vol. 8 (2), pp. 1-11, 2004.
10. "Automotive Software development: A model Based Approach", Rappl M., Braun P., von der Beek M., Schroder C., SAE 2002-01-0875.
11. "Design and Implementation of a Rollover Algorithm in Production," Schubert P., dSPACE User Conference, 2004.
12. "Design Process Changes Enabling Rapid Development", Winters F., Mielenz C., Hellestrand G., Convergence 2004-21-0085
13. "Reuse Methodology Manual For System On Chip Designs", Keating M., Bricaud P.