• Journal of Terahertz Science and Electronic Information Technology
  • Vol. 18, Issue 6, 1117 (2020)
LIU Ruiluan*, DENG Yang, and GONG Bin
Author Affiliations
  • [in Chinese]
  • show less
    DOI: 10.11805/tkyda2019233 Cite this Article
    LIU Ruiluan, DENG Yang, GONG Bin. Model driven software development based on AADL and SCADE[J]. Journal of Terahertz Science and Electronic Information Technology , 2020, 18(6): 1117 Copy Citation Text show less

    Abstract

    Model-driven design has been used in embedded system software design. The software architecture model and detailed functional model are the focuses in the software design stage. There are many languages and tools for the embedded system software modeling. The architecture of embedded software can be built by the Architectural Analysis and Design Language(AADL) model, and the logic function of embedded software can be described by the Safety Critical Application Development Environment(SCADE) model. The integration of the two models can meet the modeling requirements of outline design and detailed design of embedded software. AADL and SCADE are adopted to model the architecture and function of the software of an aircraft control system, KCG tool is utilized to auto generate C code from SCADE model, and the aircraft control system software is partly designed through the integration of handmade and auto-generated codes. Actual application indicates that AADL associated with SCADE is suitable for model-driven design applied in the embedded software design.
    LIU Ruiluan, DENG Yang, GONG Bin. Model driven software development based on AADL and SCADE[J]. Journal of Terahertz Science and Electronic Information Technology , 2020, 18(6): 1117
    Download Citation