RTOS = Real-Time Operating System
MC/UT = Model Checking/Unit Testing
ACG = Automatic Code Generation
White Papers
(ACG) Examples of how different modeling styles impact ERT code
generation:
FlexibleEfficientERTCode.PDF (915 KB)
(MBESD) “Improving Deeply Embedded
Control Software Development Processes”
Sw_dev_plan.PDF (100 KB)
Published Papers (contact Scott about getting a copy)
(MC/UT) Scott Ranville, “Practical Advice for Using Test Generation
Tools”, Society of Automotive Engineers (SAE) Conference, April 2006,
(MC/UT) Scott Ranville, “Case Study of Commercially
Available Tools that Apply Formal Methods to a Matlab/Simulink/Stateflow
Model”, Society of Automotive Engineers (SAE) Conference, March 2004,
(MC/UT) Scott Ranville, “MCDC Unit Test
Vectors From Matlab Models – Automatically”, Embedded Systems Conference, March
2004,
(MBSED) Scott Ranville, “Matlab ‘Add-on’ Tools for State-of-the-Art
Embedded Software Development”, 22nd AIAA/IEEE/SAE Digital Avionics
System Conference, October 2003,
(MBESD) Scott Ranville, “Practical Application
of Model-Based Software Design for Automotive”, Society of Automotive Engineers
(SAE) Conference, May 2002,
(MC/UT) Steve Sims, Ken
Butts, Rance Cleaveland, Scott Ranville, “Automated Validation of Software
Models”, Automated Software Engineering Conference, Nov. 2001,
(RTOS) Scott Ranville, Ken Butts, “Single-Stack RTOS for Deeply
Embedded Applications”, Embedded Systems Conference -
(MC/UT) Paul E. Black, Scott Ranville, “WINNOWING tests: GETTING
QUALITY COVERAGE FROM A MODEL CHECKER WITHOUT QUANTITY”, 20th
AIAA/IEEE/SAE Digital Avionics System Conference, October 2001,
(MC/UT) Scott Ranville, Paul E. Black, “Automated
Testing Requirements – Automotive Perspective”, The Second International
Workshop on Automated Program Analysis, Testing and Verification, May 2001,
(ACG) Steve Toeppe, Scott Ranville, Dave Bostic, "Automating
Software Specification, Design and Synthesis for Computer Aided Control System
Design Tools", 19th AIAA/IEEE/SAE Digital Avionics System
Conference, October 2000,
(MBESD) Shailesh Patel, Paul Smith, Wei Sun, Rajeev Ramanan, Hank
Donald, Steve Toeppe, Scott Ranville, Dave Bostic, Ken Butts, “CACSD in
Production Development : An Engine Control Case Study”, Global Powertrain
Conference, June 2000, Detroit
(RTOS) Steve Toeppe, Scott Ranville, “Powertrain Controller RTOS
Evaluation : CPU and RAM Resource Usage Modeling and Benchmarks”, Embedded
Systems Conference, November 1999,
(ACG) Steve Toeppe, Scott Ranville, Dave Bostic, Cindy Wang,
“Practical Validation of Model Based Code Generation for Automotive
Applications”, 18th AIAA/IEEE/SAE Digital Avionics System
Conference, October 1999,
(MC/UT) Steve Toeppe, Scott Ranville, “Model Driven
Automatic Unit Testing Technology : Tool Architecture Introduction and
Overview”, 18th AIAA/IEEE/SAE Digital Avionics System Conference,
October 1999,
(ACG) Steve Toeppe, Scott Ranville, Dave Bostic, Kevin Rzeimen,
“Automatic Code Generation Requirements For Production Automotive Powertrain
Applications”, IEEE International Symposium on Computer Aided Control System
Design, August 1999,
(MC/UT) Steve Toeppe, Scott Ranville, “An Automated Inspection Tool
for a Graphical Specification and Programming Language”, QualityWeek
Conference, May 1999,
(MC/UT) Ken Butts, Steve Toeppe, Scott Ranville, “Specification and
Testing of Automotive Powertrain Control System Software using CACSD tools”, 17th
AIAA/IEEE/SAE Digital Avionics System Conference, 1998, Seattle