Model-Based Verification and Validation of Distributed Controller Architectures

Document Number: 2006-21-0046

Date Published: October 2006

Author(s):
Arnab Ray - Fraunhofer Institute for Experimental Software Engineering
Walter Rance Cleaveland - Univ. of Maryland
Shengbing Jiang - General Motors Corp.
Thomas Fuhrman - General Motors Corp.

Abstract:
This paper describes a framework for modelling and validating distributed real-time embedded control systems. The modelling component of the framework combines executable architectural specifications with component models in notations such as Simulink and Stateflow to yield simulate-able models of distributed systems. The paper then discusses techniques for comparing the behavior of these system models with idealized control specifications given in Simulink/Stateflow. The framework is intended to support design processes in which a controls engineer develops a controller model that is then used as a specification by a system-engineering team responsible for a system model that may involve deployment-platform details.

Product Status: In Stock

See other papers presented at Convergence 2006, October 2006, Detroit, MI, USA, Session: Reinvent Safety Systems: Process

Purchase more technical papers and save! With TechSelect, you decide what SAE Technical Papers you need, when you need them, and how much you want to pay. Learn more >