您好,欢迎光临本网站![请登录][注册会员]  

搜索资源列表

  1. 嵌入式开发的标准,进程,方法及工具

  2. 本文简要介绍了民用航空业界的高安全性嵌入式开发的三个标准:系统生命周期的 ARP4754,软件生命周期的DO-178B,以及硬件生命周期的DO254;着重分析了DO-178B 标准 所规定的软件生命周期中的开发进程、验证进程、验证的验证进程;针对这些进程在实际工程中 实现的困难和挑战,阐述了进程自动化和进程省略的前提条件和相关依据。文章的最后还介绍了 SCADE 这一款流行的嵌入式软件开发环境,分析了它如何实现进程的自动化和进程省略并满足 DO-178B 标准。SCADE 在国内外的成功应用在
  3. 所属分类:嵌入式

    • 发布日期:2011-07-26
    • 文件大小:228352
    • 提供者:keemma
  1. scade代码自动生成

  2. 介绍了scade这个软件代码自动生成的相关原理
  3. 所属分类:其它

    • 发布日期:2012-08-09
    • 文件大小:306176
    • 提供者:zhybest
  1. SCADE软件开发方法研究

  2. 介绍了使用scade软件开发大型系统的使用方法。
  3. 所属分类:其它

    • 发布日期:2012-08-09
    • 文件大小:900096
    • 提供者:zhybest
  1. 基于Opencv的视频人脸检测程序源代码(可运行)

  2. #include "stdafx.h" #include "cv.h" #include "highgui.h" #include int _tmain(int argc, _TCHAR* argv[]) { CvCapture* capture=0; /*初始化一个视频捕获操作。告诉底层的捕获api我想从Capture1.avi中捕获图片, 底层api将检测并选择相应的解码器并做好准备工作*/ capture = cvCaptureFromFile( "F:\\1.avi"); //设置要
  3. 所属分类:C++

    • 发布日期:2013-03-07
    • 文件大小:33792
    • 提供者:maohlin
  1. 嵌入式代码生成 SCADE Suite 工具讲义

  2. SCADE Suite 介绍 编辑器 仿真器 形式验证 代码生成 与SimulinkTM 的桥接 与DOORSTM 的桥接 与配置管理工具的桥接 SCADE Suite 和 DO-178B 标准
  3. 所属分类:C

    • 发布日期:2018-03-31
    • 文件大小:9437184
    • 提供者:wormwwww
  1. SCADE Architect模块介绍(中文)

  2. 此文档系统地对Scade Architect的各个模块和工作流程进行介绍。
  3. 所属分类:其它

    • 发布日期:2018-08-19
    • 文件大小:1048576
    • 提供者:d1178516007
  1. Scade Arinc 661模块介绍

  2. 此文档系统地对Scade Arinc 661的各个模块和工作流程进行介绍。
  3. 所属分类:其它

    • 发布日期:2018-08-19
    • 文件大小:337920
    • 提供者:d1178516007
  1. Scade Display模块介绍

  2. 此文档系统地对Scade Dispaly的各个模块和工作流程进行介绍。
  3. 所属分类:其它

    • 发布日期:2018-08-19
    • 文件大小:501760
    • 提供者:d1178516007
  1. Scade Lifecycle模块介绍

  2. 此文档系统地对Scade Lifecycle的各个模块和工作流程进行介绍。
  3. 所属分类:其它

    • 发布日期:2018-08-19
    • 文件大小:175104
    • 提供者:d1178516007
  1. Scade Suite模块介绍

  2. 此文档系统地对Scade Suite的各个模块和工作流程进行介绍。
  3. 所属分类:其它

    • 发布日期:2018-08-19
    • 文件大小:644096
    • 提供者:d1178516007
  1. Scade Test模块介绍

  2. 此文档系统地对Scade Test的各个模块和工作流程进行介绍。
  3. 所属分类:其它

    • 发布日期:2018-08-19
    • 文件大小:408576
    • 提供者:d1178516007
  1. Ansys.SCADE.2020R2.Win64-SSQ

  2. Ansys.SCADE.2020R2.Win64-SSQ,网络上找了几年,一个版本都没找到,终于让我找到个最新的版本,测试可以用,但是安装后好像IE不能正常工作。
  3. 所属分类:嵌入式

    • 发布日期:2020-10-13
    • 文件大小:16384
    • 提供者:lineliu
  1. 嵌入式系统/ARM技术中的基于SCADE的嵌入式软件开发

  2. 摘要:嵌入式技术是计算机发展的趋势之一,被广泛应用于工业和军事领域。SCADE(高安全性的应用程序开发环境)为嵌入式软件提供了一套基于模型的开发方式。从嵌入式软件的特点入手,对基于模型的嵌入式系统软件开发技术进行了深入剖析,并给出了一个基于SCADE的开发实例。   1引言   随着嵌入式应用技术的发展,嵌入式系统被广泛应用于人们生活的各个方面。大量功能强大而价格便宜的通用嵌入式硬件随之出现在市场上。而如何能够在通用硬件平台上,高效的开发出满足安全性与可靠性需要的专用嵌入式软件成为了制约嵌入
  3. 所属分类:其它

    • 发布日期:2020-10-20
    • 文件大小:230400
    • 提供者:weixin_38659648
  1. Scade Display教程文档翻译.zip

  2. Ansys Scade Display资料
  3. 所属分类:交通

    • 发布日期:2021-03-17
    • 文件大小:18874368
    • 提供者:qq_43312879
  1. Scade Suite教程文档翻译.zip

  2. 以上为Ansys Scade Suite的培训资料
  3. 所属分类:交通

    • 发布日期:2021-03-17
    • 文件大小:25165824
    • 提供者:qq_43312879
  1. 基于SCADE的嵌入式软件开发

  2. 嵌入式技术是计算机发展的趋势之一,被广泛应用于工业和军事领域。SCADE(高安全性的应用程序开发环境)为嵌入式软件提供了一套基于模型的开发方式。从嵌入式软件的特点入手,对基于模型的嵌入式系统软件开发技术进行了深入剖析,并给出了一个基于SCADE的开发实例。  随着嵌入式应用技术的发展,嵌入式系统被广泛应用于人们生活的各个方面。大量功能强大而价格便宜的通用嵌入式硬件随之出现在市场上。而如何能够在通用硬件平台上,高效的开发出满足安全性与可靠性需要的专用嵌入式软件成为了制约嵌入式技术应用的瓶颈。在计算
  3. 所属分类:其它

    • 发布日期:2021-02-25
    • 文件大小:286720
    • 提供者:weixin_38706007
  1. Modeling and Verification of Zone Controller: the SCADE Experience in China’s railway systems

  2. Modeling and Verification of Zone Controller: the SCADE Experience in China’s railway systems
  3. 所属分类:其它

    • 发布日期:2021-02-08
    • 文件大小:270336
    • 提供者:weixin_38719635
  1. 基于SCADE的嵌入式软件开发

  2. 嵌入式技术是计算机发展的趋势之一,被广泛应用于工业和军事领域。SCADE(高安全性的应用程序开发环境)为嵌入式软件提供了一套基于模型的开发方式。从嵌入式软件的特点入手,对基于模型的嵌入式系统软件开发技术进行了深入剖析,并给出了一个基于SCADE的开发实例。   随着嵌入式应用技术的发展,嵌入式系统被广泛应用于人们生活的各个方面。大量功能强大而价格便宜的通用嵌入式硬件随之出现在市场上。而如何能够在通用硬件平台上,高效的开发出满足安全性与可靠性需要的专用嵌入式软件成为了制约嵌入式技术应用的瓶颈。在计
  3. 所属分类:其它

    • 发布日期:2021-02-01
    • 文件大小:273408
    • 提供者:weixin_38626943
  1.  基于SCADE的机载余度管理软件开发

  2. 针对目前余度管理软件开发过程中普遍采用手工编码,可靠性和效率较低,验证工作量大,软件开发周期较长,成本高等问题,本文采用基于SCADE的图形化建模开发方法和自动代码生成技术生成高可靠嵌入式实时代码,免去代码的测试单元,缩短开发周期,安全性高,在工程应用中大大节省了开发成本,并很好的保证了余度管理系统的稳定性和安全性。
  3. 所属分类:其它

    • 发布日期:2021-01-30
    • 文件大小:1048576
    • 提供者:weixin_38641896
  1. 基于SCADE的嵌入式软件开发

  2. 摘要:嵌入式技术是计算机发展的趋势之一,被广泛应用于工业和军事领域。SCADE(高安全性的应用程序开发环境)为嵌入式软件提供了一套基于模型的开发方式。从嵌入式软件的特点入手,对基于模型的嵌入式系统软件开发技术进行了深入剖析,并给出了一个基于SCADE的开发实例。   1引言   随着嵌入式应用技术的发展,嵌入式系统被广泛应用于人们生活的各个方面。大量功能强大而价格便宜的通用嵌入式硬件随之出现在市场上。而如何能够在通用硬件平台上,高效的开发出满足安全性与可靠性需要的专用嵌入式软件成为了制约嵌入
  3. 所属分类:其它

    • 发布日期:2021-01-19
    • 文件大小:269312
    • 提供者:weixin_38730840
« 12 »