Specification of Communication Based Train Control System Using AADL
暂无分享,去创建一个
[1] Peter H. Feiler,et al. Aspects in the industry standard AADL , 2007 .
[2] Peter H. Golde,et al. C# Language Specification , 2003 .
[3] Robert B. France,et al. Aspect Oriented Modeling of Component Architectures Using AADL , 2008, 2008 New Technologies, Mobility and Security.
[4] M. Otter,et al. Modelica - A Unified Object-Oriented Language for Physical Systems Modeling - Language Specification , 2000 .
[5] Hermann Kopetz,et al. Dependability: Basic Concepts and Terminology , 1992 .
[6] Peter H. Feiler,et al. Model-Based Engineering with AADL: An Introduction to the SAE Architecture Analysis & Design Language , 2012 .
[7] Peter H. Feiler,et al. Developing AADL Models for Control Systems: A Practitioner's Guide , 2007 .
[8] Yolande Berbers,et al. Modelling Embedded Systems with AADL: A Practical Study , 2010 .
[9] Brian Randell,et al. Fundamental Concepts of Computer System Dependability , 2001 .