SCADESuite嵌入式软件基于模型的开发

SCADE Suite®产品是针对高安全性嵌入式软件的基于模型的开发环境

SCADE Suite是高安全性嵌入式软件的开发标准,其应用领域涵盖航空、国防、轨道交通、能源和重工业。专为最高等级的质量和安全需求而设计随着SCADE

语言和统一的形式化符号的完美集成,SCADE Suite为高安全应用工具提供了从需求管理,基于模型设计,模拟仿真,认证,有效代码生成,到和其他工具、平台协作开发的独一无二的集成设计环境。

SCADE已通过了下面的各项国际安全标准:

Ø通过了(军/用)和航空航天的DO-178B认证,达到A级水平。

Ø通过了重工业和能源TÜV的IEC 61508认证,达到SIL 3。

Ø通过了轨道交通TÜV的EN 50128认证,达到SIL 3/4。

Ø通过了与核能兼容的IEC 60880认证。

不但提高了工作效率,还改善了产品质量

SCADE Suite大幅度减少了高安全嵌入式软件项目的成本。

SCADE 使用者可减少花费在报告编写和验证上的成本:

Ø每人每天平均可以完成10行可执行代码的开发(包括验证),而手工开发,每人每天只能完成5行代码

Ø软件认证成本减少50%

Ø编码,走查和测试代码的成本减少70%到90%

Ø软件更新周期缩短65%到75%

Ø自动生成模型级测试和覆盖率分析

Ø消除代码错误和省略了低层测试

Ø在整个生命周期实现快速安全的设计变更,同时减少70%到90%的测试成本

安全构造

Ø正确的设计建模,图形化的调试和高效仿真

Ø设计验证™ - 形式化验证

Ø生成安全、高效的小型代码

Ø项目管理和文档生成

上海葩星科技有限公司是SCADE Suite产品代理商。葩星科技成立于2003年。公司主业方向"实时应用,控制系统应用"相关的仿真测试试验台架,和相关的咨询开发项目。公司可以完成信号调理,信号通信接口,硬件驱动,信息网络系统,机械台架等各方面的设计和开发以及集成。

时间: 2024-11-09 17:10:26

SCADESuite嵌入式软件基于模型的开发的相关文章

基于模型的软件开发——互动出版网

这篇是计算机类的优质预售推荐>>>><基于模型的软件开发> 译者序 这是一本关于一种特定的软件设计方法实践的书.MBD(Model-Based Software Development,基于模型的软件开发)方法基本上是一种OO(Object-Oriented,面向对象)方法.其基本观点是:通过静态结构和动态结构的开发,生成面向对象的分析模型,然后通过工具的转换,进而转换为应用程序框架. 本书第一部分着眼于面向对象方法诞生的历史背景,使我们能够了解传统方法存在的问题,也就

【移动终端软件开发】2017-2018秋学期教材《Android移动应用设计与开发(第2版)——基于Android Studio开发环境》

经过仔细比较,最终选定2017-2018秋季教材: <Android移动应用设计与开发(第2版)——基于Android Studio开发环境> 出版日期:2017-03-01  书号:978-7-115-44780-7  定价:49.80 元   页数:268 第1章 Android简介 11.1 Android发展概述 11.2 配置开发环境 31.2.1 安装JDK 31.2.2 安装Android Studio 51.2.3 安装SDK 51.3 本章小结 7习题 7 第2章 Andro

MapReduce教程(一)基于MapReduce框架开发&lt;转&gt;

1 MapReduce编程 1.1 MapReduce简介 MapReduce是一种编程模型,用于大规模数据集(大于1TB)的并行运算,用于解决海量数据的计算问题. MapReduce分成了两个部分: 1.映射(Mapping)对集合里的每个目标应用同一个操作.即,如果你想把表单里每个单元格乘以二,那么把这个函数单独地应用在每个单元格上的操作就属于mapping. 2.化简(Reducing)遍历集合中的元素来返回一个综合的结果.即,输出表单里一列数字的和这个任务属于reducing. 你向Ma

优分享VR开源啦,优分享VR是基于Google VR开发的一款手机VR视频资源的聚合软件

欢迎来到优分享VR开源项目 优分享VR 开源中国Git地址: http://git.oschina.net/xumingwang/youkes_vr 优分享VR是 优分享安卓APP VR视频播放开源部分.其它开源部分:优分享开源浏览器 优分享VR是基于Google VR开发的一款手机VR视频资源的聚合软件.由于google vr sdk现在出于初级阶段,所以本软件也不能完美的支持一些VR视频资源的播放,不过随着Google VR的发展,优分享也会与时俱进的支持更多的VR视频资源. 优分享VR安卓

基于Laravel+Swoole开发智能家居后端

基于Laravel+Swoole开发智能家居后端 在上一篇<Laravel如何优雅的使用Swoole>中我已经大概谈到了Laravel结合Swoole的用法. 今天,我参与的智能家居项目基本上已经结束了Web服务器及android端的开发(熬了个通宵突击把剩下的做了,好累), 趁热来聊聊基于Laravel+Swoole开发智能家居后端的关键技术点. 16进制ASCII码协议的解析 硬件我不谈,我只需要关心数据解析.如何基于Swoole如果在php中解析16进制的ascii码,这种文章还比较少呢

04springMVC结构,mvc模式,spring-mvc流程,spring-mvc的第一个例子,三种handlerMapping,几种控制器,springmvc基于注解的开发,文件上传,拦截器,s

 1. Spring-mvc介绍 1.1市面上流行的框架 Struts2(比较多) Springmvc(比较多而且属于上升的趋势) Struts1(即将被淘汰) 其他 1.2  spring-mvc结构 DispatcherServlet:中央控制器,把请求给转发到具体的控制类 Controller:具体处理请求的控制器(配置文件方式需要配置,注解方式不用配置) handlerMapping:映射处理器,负责映射中央处理器转发给controller时的映射策略 ModelAndView:服务

深入浅出Docker(五):基于Fig搭建开发环境

概述 在搭建开发环境时,我们都希望搭建过程能够简单,并且一劳永逸,其他的同事可以复用已经搭建好的开发环境以节省开发时间.而在搭建开发环境时,我们经常会被复杂的配置以及重复的下载安装所困扰.在Docker技术未出现之前,我们可以使用Pupet.Chef.Ansible等配置管理工具把复杂的配置管理起来,这样的管理配置技术仍然是目前比较流行的方式之一.配置管理工具使用的都是自己的DSL语法定义,考虑到环境的复杂性,配置一套通用的开发环境需要针对各个系统定制,对于大部分开发环境这种维护成本仍然是很高的

聚类:层次聚类、基于划分的聚类(k-means)、基于密度的聚类、基于模型的聚类

一.层次聚类 1.层次聚类的原理及分类 1)层次法(Hierarchicalmethods)先计算样本之间的距离.每次将距离最近的点合并到同一个类.然后,再计算类与类之间的距离,将距离最近的类合并为一个大类.不停的合并,直到合成了一个类.其中类与类的距离的计算方法有:最短距离法,最长距离法,中间距离法,类平均法等.比如最短距离法,将类与类的距离定义为类与类之间样本的最短距离. 层次聚类算法根据层次分解的顺序分为:自下底向上和自上向下,即凝聚的层次聚类算法和分裂的层次聚类算法(agglomerat

SOAP协议和基于SOAP的开发流程详述

[文章摘要] 简单对象访问协议(SOAP)是交换数据的一种协议规范,是一种轻量的.简单的.基于XML的协议,它被设计成在WEB上交换结构化的和固化的信息. 在实际的软件开发项目中,SOAP大多用于处理用户数据,也即实现开户.销户.改户和查户等功能. 本文根据作者实际从事过的基于SOAP的项目开发,对SOAP协议和基于SOAP的开发流程进行了详细的介绍.希望大家通过此文,能够对基于SOAP协议的开发有一个全面的了解. 一.soapUI和SOAP代码生成框架简介 "工欲善其事,必先利其器"