SCADE: Synchronous design and validation of embedded control software

被引：36
作者：
Berry, Gerard
机构：
来源：
NEXT GENERATION DESIGN AND VERIFICATION METHODOLOGIES FOR DISTRIBUTED EMBEDDED CONTROL SYSTEMS | 2007年
关键词：
model-based development; synchronous languages; safety-critical applications;
D O I：
10.1007/978-1-4020-6254-4_2
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
We describe the SCADE synchronous approach to model-based embedded software design, validation, and implementation for avionics, automotive, railway, and industry applications. SCADE specifications are based on block-diagrams and hierarchical state-machine graphical models with rigorous formal specifications. The SCADE KCG compiler is certified at the highest level of avionics certification, which suppresses the need for generated code unit testing. The SCADE tool has support for visual animation, test-suite coverage analysis, and formal verification. It has gateways to many other tools ranging from system-level specification to performance analysis.
引用
收藏
页码：19 / 33
页数：15
相关论文
共 13 条
  • [1] Andre C., 1996, P CESA 96 IEEE SMC L
  • [2] [Anonymous], LNCS
  • [3] The synchronous languages 12 years later
    Benveniste, A
    Caspi, P
    Edwards, SA
    Halbwachs, N
    Le Guernic, P
    De Simone, R
    [J]. PROCEEDINGS OF THE IEEE, 2003, 91 (01) : 64 - 83
  • [4] BERGERAND JL, 1988, P SAF 88
  • [5] Berry G, 2000, FOUNDAT COMPUT, P425
  • [6] BLANCHET B, 2003, P ACM SIGPLAN 2003 C, P196, DOI [DOI 10.1145/780822.781153, 10.1145/781131.781153, DOI 10.1145/781131.781153]
  • [7] APPLICABILITY OF MODIFIED CONDITION DECISION COVERAGE TO SOFTWARE TESTING
    CHILENSKI, JJ
    MILLER, SP
    [J]. SOFTWARE ENGINEERING JOURNAL, 1994, 9 (05): : 193 - 200
  • [8] COLACO JL, 2005, P EMS 05 NEW JERS US
  • [9] GIRAULT A, 2005, INT WORKSH SYNCHR LA
  • [10] THE SYNCHRONOUS DATA FLOW PROGRAMMING LANGUAGE LUSTER
    HALBWACHS, N
    CASPI, P
    RAYMOND, P
    PILAUD, D
    [J]. PROCEEDINGS OF THE IEEE, 1991, 79 (09) : 1305 - 1320
12