This content is not included in
your SAE MOBILUS subscription, or you are not logged in.
Model Based Verification and Validation of Distributed Control Architectures
Technical Paper
2006-21-0046
Annotation ability available
Sector:
Event:
Convergence 2006
Language:
English
Abstract
This paper describes a framework for modeling and validating distributed real-time embedded control systems. The modeling 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.
Authors
Citation
Ray, A., Cleaveland, R., Jiang, S., and Fuhrman, T., "Model Based Verification and Validation of Distributed Control Architectures," SAE Technical Paper 2006-21-0046, 2006.Also In
References
- The MathWorks http://www.mathworks.com
- http://www.baselinemag.com January 16 2003
- Noon C. Okuda's Toyota recalls Prius fleet over software glitch http://www.forbes.com October 14 2005
- Reuters Mercedes recalls 1.3 million cars to fix quality woes American International Automobile Dealers Association http://www.aiada.com March 31 2005
- Embedded Coder 4.3 http://www.mathworks.com/producrs/rtwembedded 2006
- TargetLink http://www.dspaceinc.com/ww/en/inc/home/producrs/sw/pcgs/targetli.cfm 2006
- GmbH Robert Bosch http://can.bosch.com
- FlexRay Consortium http://flexray-group.com
- Time-triggered technology http://www.tttech.com
- Arnab Ray and Rance Cleaveland. Architectural Interaction Diagrams: AIDs for System Modeling International Conference on Software Engineering 396 407 Portland, Oregon May 2003 IEEE Computer Society Press
- Ray A. Cleaveland R. Executable Specifications for Time Triggered Systems
- Ray A. Cleaveland R. Unit Verification: the CARA experience Software Tools for Technology Transfer 5 4 351 369 May 2004
- Clarke E.M. Grumberg O. Peled D. Model Checking MIT Press Cambridge, Massachusetts 2000
- Zhang D. Cleaveland R. Fast Generic Model-Checking for Data-Based Systems Wang F. Formal Techniques for Networked and Distributed Systems - FORTE 2005 3731 Lecture Notes in Computer Science 83 97 Taipei, Taiwan October 2005
- Zhang D. Cleaveland R. Fast On-The-Fly Parametric Real-Time Model Checking The 26th IEEE Real-Time Systems Symposium (RTSS 2005) 157 166 Miami, Florida December 2005 IEEE Computer Society Press