Home      Value Proposition    About      Contact


Software Beret Inc.

 


 

Publications

 

RTOS = Real-Time Operating System

MC/UT = Model Checking/Unit Testing

ACG = Automatic Code Generation

MBESD = Model-Based Embedded Software Design

 

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, Detroit, MI

 

(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, Detroit, MI

 

 (MC/UT) Scott Ranville, “MCDC Unit Test Vectors From Matlab Models – Automatically”, Embedded Systems Conference, March 2004, San Francisco

 

(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, Indianapolis

 

 (MBESD) Scott Ranville, “Practical Application of Model-Based Software Design for Automotive”, Society of Automotive Engineers (SAE) Conference, May 2002, Detroit, MI

 

(MC/UT) Steve Sims, Ken Butts, Rance Cleaveland, Scott Ranville, “Automated Validation of Software Models”, Automated Software Engineering Conference, Nov. 2001, San Diego, CA

 

(RTOS) Scott Ranville, Ken Butts, “Single-Stack RTOS for Deeply Embedded Applications”, Embedded Systems Conference - Boston, September 2001, Boston, MA (CANCELLED due to not able to attend 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, Daytona Beech, FL

 

(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, Toronto

 

(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, Philadelphia

 

(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, Netherlands also in Embedded Systems Programming Magazine July 2000

 

(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, St. Louis

 

(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, St. Louis

 

(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, Hawaii

 

(MC/UT) Steve Toeppe, Scott Ranville, “An Automated Inspection Tool for a Graphical Specification and Programming Language”, QualityWeek Conference, May 1999, San Jose

 

(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

 


Home      Value Proposition    About      Contact