当前位置： 首页 > news >正文

Scade One - 将MBD技术从少数高安全领域向更广泛的安全嵌入式软件普及

news 来源：原创 2025/9/1 3:55:44

Scade One是继Scade Suite version 6自2008年起发展近20年后的首次主要改进版本。在Scade One发布的同时，Scade团队发布了一系列介绍Scade One的博客。本篇Scade One - Democratizing model-based development是其中的一部分。在后面的内容中，将复述博客中的要点。更多内容，可参考Scade One - Democratizing model-based development

SCADE One 入门级解决方案

随着2024 R1版本首次发布SCADE One产品，其中包含了"SCADE One Essential"入门级解决方案。这款简化版产品专为开发可靠嵌入式软件的小型团队定制。

SCADE One Essential能做什么？

这是一款从设计到代码生成全流程覆盖的非认证嵌入式软件开发一体化解决方案，包含：
• 建模能力：完整支持Swan语言，首篇博客所述所有建模功能（包括实时检查、自动布局等）均可使用
• 模型调试功能：支持逐步执行模型
• 代码生成能力：可生成安全、可移植且高效的C代码，轻松集成至任意嵌入式平台

SCADE One Essential的限制？

• 快速原型工具（用于创建仿真调试图形面板）仅包含在SCADE One Studio中
• 完整代码生成及模型-代码追溯功能需使用SCADE One Code Gen版本
• 未来版本中，高级建模与生产力功能将仅集成至SCADE One Studio
• Essential版代码生成器不会进行认证
• 不支持软件安全认证相关功能（测试执行、覆盖率分析、需求追溯等）

注：Essential版与Studio版采用相同语言和项目/模型格式。

SCADE One Essential 适合的用户群体

SCADE One Essential适合开发关键任务嵌入式软件（无认证需求）的系统/软件工程师小型团队。

学生可免费下载学生版软件，SCADE One学生版将于2025 R1版本推出。

为何将SCADE用于非认证项目？

作为航空国防、汽车、轨道交通、能源及工业领域安全关键应用的标杆，SCADE能通过简化和自动化安全标准要求流程来保障认证：

• 汲取安全关键领域最佳实践：25年安全可靠软件构建经验沉淀，连电传飞控系统/核电站都信赖的工具
• 基于模型设计及早发现缺陷：大部分开发在主机端模型层面完成，既能精细调校行为又可早期发现错误，且确保生成代码在目标平台表现一致
• 降低对编程技能的依赖：系统/控制工程师无需编程即可通过可视化方式构建复杂行为，打破系统与软件团队的协作壁垒
• 专为控制任务设计的领域特定语言：基于Swan语言建模，该语言专为安全可靠嵌入式软件设计，天然融合数据流与状态机范式，比C/C++等通用语言更易描述和验证实时响应行为。Swan模型生成的C代码无外部依赖、高度可移植；同时模型也能直接调用现有C代码库。这种混合开发模式既保留传统代码资产价值，又能利用模型化开发优势。

相关文章：

Scade One - 将MBD技术从少数高安全领域向更广泛的安全嵌入式软件普及

Scade One是继Scade Suite version 6自2008年起发展近20年后的首次主要改进版本。在Scade One发布的同时，Scade团队发布了一系列介绍Scade One的博客。本篇Scade One - Democratizing model-based development是其中的一部分。在后面的内容中，将复述博客…...

编程日记 2025/9/1 3:55:44

第十二章:容器间网络_《凤凰架构：构建可靠的大型分布式系统》

第十二章 容器间网络 一、Linux网络虚拟化基础 1. 网络命名空间（Network Namespace） 隔离网络栈：每个网络命名空间拥有独立的IP地址、路由表、防火墙规则等网络配置。实现方式：通过ip netns命令管理，容器启动时自动创…...

编程日记 2025/9/1 18:58:10

详解七大排序

目录 一.直接插入排序 （1）基本思想 （2）算法步骤 （3）代码实现 （4）算法特性 （5）算法优化 （6）示例演示 二.希尔排序 &#xff08…...

编程日记 2025/9/1 22:36:01

第八章 Python基础进阶-数据可视化（终）

此章节练习主要分为：折线图、地图、柱状图，若用户只是学习Python的基础语法知识，可以不看此章节。 主要是讲解第三方包PyEcharts技术，Python数据的可视化操作。 一.json数据格式 json的概念： （1&#x…...

编程日记 2025/8/31 22:41:00

【Hadoop3.1.4】完全分布式集群搭建

一、虚拟机的建立与连接 1.建立虚拟机 详情见【Linux】虚拟机的安装 把上面三个参数改掉 2.连接虚拟机 具体见【Linux】远程连接虚拟机防火墙 二、修改主机名 在Centos7中直接使用root用户执行hostnamectl命令修改，重启（reboot）后永久生…...

编程日记 2025/9/1 1:29:43

NLP简介及其发展历史

自然语言处理（Natural Language Processing，简称NLP）是人工智能和计算机科学领域中的一个重要分支，致力于实现人与计算机之间自然、高效的语言交流。本文将介绍NLP的基本概念以及其发展历史。 一、什么是自然语言处理&#xff1f…...

编程日记 2025/9/1 18:22:38

Java异步编程中的CompletableFuture介绍、常见错误及最佳实践

一、Future接口的局限性 Java 5引入的Future接口为异步编程提供了基础支持，但其设计存在明显局限性，导致复杂场景下难以满足需求： 阻塞获取结果 必须通过future.get()阻塞线程等待结果，无法实现真正的非阻塞： Executo…...

编程日记 2025/9/1 14:26:14

基于FLask的共享单车需求数据可视化分析系统

【FLask】基于FLask的共享单车需求数据可视化分析系统 （完整系统源码开发笔记详细部署教程）✅ 目录 一、项目简介二、项目界面展示三、项目视频展示 一、项目简介 该系统能够整合并处理大量共享单车使用数据，通过直观的可视化手段&#xff0…...

编程日记 2025/9/1 17:26:42

vue2项目中，多个固定的请求域名 和 通过url动态获取到的ip域名 封装 axios

vue2 使用场景：项目中，有固定的请求域名，而有某些接口是其他域名 /utils/request.js 固定请求域名 import axios from axios import Vue from vuelet baseURL switch (window.location.hostname) {case localhost: // 本地case 127.0.0.1…...

编程日记 2025/8/31 7:29:43

【嵌入式学习3】基于python的tcp客户端、服务器

目录 1、tcp客户端 2、tcp服务器 3、服务器多次连接客户端、多次接收信息 1、tcp客户端 """ tcp:客户端 1. 导入socket模块 2. 创建socket套接字 3. 建立tcp连接(和服务端建立连接) 4. 开始发送数据(到服务端) 5. 关闭套接字 """ import soc…...

编程日记 2025/8/31 16:42:24

tomcat构建源码环境

一. IDEA运行Tomcat8源码 参考网址：https://blog.csdn.net/yekong1225/article/details/81000446 ​ Tomcat作为J2EE的开源实现，其代码具有很高的参考价值，我们可以从中汲取很多的知识。作为Java后端程序员，相信有很多人很想了解…...

编程日记 2025/9/1 1:22:09

你用的是Bing吗？！

🔥【深度解析】微软Bing革命性升级！Copilot Search上线：从此搜索≠找链接，而是直接生成答案！ 💡 你是否厌倦了这样的搜索体验？ 搜索「Python处理JSON」，在10个网页间反复跳转想对比…...

编程日记 2025/9/1 15:07:38

拍摄的婚庆视频有些DAT的视频文件打不开怎么办

3-12 现在的婚庆公司大多提供结婚的拍摄服务，或者有一些第三方公司做这方面业务，对于视频拍摄来说，有时候会遇到这样一种问题，就是拍摄下来的视频文件，然后会有一两个视频文件是损坏的，播放不了&#xff0…...

编程日记 2025/8/30 20:22:14

Oracle Cloud (OCI) 服务器最新控制台启用 IPv6 超详细图文指南（2025最新实践）

本文为原作者发布到第三方平台，更多内容参考： 🚀 Oracle Cloud (OCI) 服务器最新控制台启用 IPv6 超详细图文指南（2025最新实践） 随着 IPv6 的普及，IPv6的优秀特性能为你的 OCI 云服务器提升网络性能和路由效率，并提升兼容性。本指南将引导你在 Oracle Cloud Infrast…...

编程日记 2025/9/2 0:42:35

YOLO环境搭建，win11+wsl2+ubuntu24+cuda12.6+idea

提示：环境搭建 文章目录 前言一、 win11 gpu 驱动更新1.1 下载驱动3. 验证， 二、配置子系统 ubuntu2.1 安装 cuda 三、配置 anaconda四、idea 配置使用 wsl ubuntu conda 环境 前言 提示：版本 win11 wsl2 ubuntu24 idea 2024 子系统跳过&…...

编程日记 2025/8/31 4:17:29

类 和 对象 的介绍

对象的本质是一种新的数据类型。类是一个模型，对象是类的一个具体化实例。为类创建实例也就是创建对象。 一、类（class） 类决定一个对象将是什么样的（有什么属性、功能）。类和变量一样，有名字。 1.创建类 …...

编程日记 2025/8/30 15:09:53

机器学习（1）—线性回归

文章目录 1. 算法定义2. 模型形式2.1. 简单线性回归（单变量）：2.2. 多元线性回归（多变量）： 3. 基本原理3.1. 误差函数：3.2. 求解回归系数 4. 假设条件5. 模型评估6. 优缺点7. 扩展方法8. 应用场景…...

编程日记 2025/9/1 21:47:22

macOS下SourceInsight的替代品

macOS 推荐的几款开源、轻量级、且功能类似于 SourceInsight 的源码阅读工具（排除 VS Code）： 1. Zeal（离线文档 简单代码导航） 官网/GitHub: https://zealdocs.org/特点： 轻量级离线文档浏览器&#xff0…...

编程日记 2025/9/1 21:35:15

form实现pdf文件转换成jpg文件

说明： 我希望将pdf文件转换成jpg文件 请去下载并安装 Ghostscript，gs10050w64.exe 配置环境变量：D:\Program Files\gs\gs10.05.0\bin 本地pdf路径：C:\Users\wangrusheng\Documents\name.pdf 输出文件目录：C:\Users\wan…...

编程日记 2025/8/31 21:29:00

聊天室项目之http知识

一.http的核心组成部分（都分成请求的和响应的） 1.起始行：请求------------------------ 方法（Method）：GET、POST、PUT、DELETE 等。 请求目标（Request Target）：URL 路径…...

编程日记 2025/8/30 1:00:53

kubeadm部署 Kubernetes(k8s) 高可用集群 V1.28.2

1. 安装要求 在开始之前，部署Kubernetes集群机器需要满足以下几个条件： 10台机器，操作系统Openeuler22.03 LTS SP4硬件配置：2GB或更多RAM，2个CPU或更多CPU，硬盘30GB或更多，docker 数据卷单独挂…...

编程日记 2025/9/1 17:22:00

BUUCTF-web刷题篇(12)

21.easy_tornado Tornado大致可以分为四个主要组成部分： 一个web框架（包括RequestHandler创建Web应用程序的子类，以及各种支持类）。 HTTPServerHTTP（和AsyncHTTPClient）的客户端和服务器端实现。 一个异…...

编程日记 2025/9/1 21:35:19

基于 Netty 框架的 Java TCP 服务器端实现，用于启动一个 TCP 服务器来处理客户端的连接和数据传输

代码： package com.example.tpson_tcp;import io.netty.bootstrap.ServerBootstrap; import io.netty.channel.ChannelFuture; import io.netty.channel.ChannelInitializer; import io.netty.channel.ChannelOption; import io.netty.channel.EventLoopGroup; imp…...

编程日记 2025/8/31 6:40:51

【Kafka基础】Kafka配置文件关键参数解析与单机生产环境配置指南

1 Kafka配置文件概述 Apache Kafka的配置文件是控制其行为的关键所在，合理的配置能够显著提升性能、可靠性和可维护性。Kafka主要涉及两个核心配置文件： server.properties：Broker主配置文件zookeeper.properties：ZooKeeper配置文…...

编程日记 2025/9/1 22:38:15

Kafka 漏消费和重复消费问题

Kafka 虽然是一个高可靠、高吞吐的消息系统，但如果使用不当，**“漏消费”和“重复消费”**问题是非常容易发生的，尤其在业务系统中会造成数据丢失、重复写库等严重问题。 🎯 一句话理解： Kafka 本身提供 “至多一次”…...

编程日记 2025/8/31 21:57:59

Mysql慢查询设置 和 建立索引

1 .mysql慢查询的设置 slow_query_log ON //或 slow_query_log_file /usr/local/mysql/data/slow.log long_query_time 2 修改后重启动mysql 1.1 查看设置后的参数 mysql> show variables like slow_query%; --------------------------------------------------…...

编程日记 2025/9/1 18:55:48

Windows程序中计时器WM_TIMER消息的使用

本文章是对《Windows程序设计》这本书第八章计时器的总结，如果有时间，可以去看书里的讲解，如果时间不充裕，想马上知道计时器该如何使用，欢迎阅读本文，本文已经将计时器的干货整理完毕！ 什么是计…...

编程日记 2025/9/1 20:27:56

关于apple ios苹果mdm监管锁的漏洞与修复

前言 本人从2020年开始接触苹果mdm管理系统的开发 起初只是接触如何利用mdm进行app分发 23年开始开发mdm监管锁业务 随着手机租赁的市场兴起 mdm监管锁系统随即而生 注意 本人只是分享工作过程中遇到的一些问题 不接受苹果手机屏蔽以及解锁的业务 此文章仅做分享使用 MDM监…...

编程日记 2025/9/1 6:18:55

使用Geotools中的原始方法来操作PostGIS空间数据库

目录 前言 一、原生PostGIS连接介绍 1、连接参数说明 2、创建DataStore 二、工程实战 1、Maven Pom.xml定义 2、空间数据库表 3、读取空间表的数据 三、总结 前言 在当今数字化与信息化飞速发展的时代，空间数据的处理与分析已成为众多领域不可或缺的一环。从…...

编程日记 2025/9/1 18:25:49

C-S模式之实现一对一聊天

天天开心！！！ 文章目录 一、如何实现一对一聊天？1. 服务器设计2. 客户端设计3. 服务端代码实现4. 客户端代码实现5. 实现说明6.实验结果 二、改进常见的服务器高并发方案1. 多线程/多进程模型2. I/O多路复用3. 异步I/O（…...

编程日记 2025/9/1 9:24:02

Kafka Consumer Group

Kafka 消费者组（Consumer Group） 是 Kafka 的核心机制之一！理解它对你掌握 Kafka 的高可用、高吞吐、负载均衡等能力非常关键。下面我来给你完整讲一讲👇 🧠 什么是 Kafka 消费者组（Consumer Group&#x…...

编程日记 2025/9/1 9:06:57

LangChain vs LlamaIndex：大模型应用开发框架深度对比与实战指南

一、引言：大模型时代的应用开发挑战 随着ChatGPT、LLaMA等大语言模型的爆发式发展，如何高效构建「大模型+垂直领域」的智能应用成为新课题。传统开发模式面临三大痛点： 数据交互复杂：大模型与本地数据的融合缺乏标准化接口功能扩展困难：链式调用、工具集成需要重复造轮子…...

编程日记 2025/8/31 17:50:45

第二章:访问远程服务_《凤凰架构：构建可靠的大型分布式系统》

第二章 访问远程服务 2.1 远程服务调用（RPC） 2.1.1 进程间通信机制 核心方式： 管道（Pipe）：单向通信，用于父子进程信号（Signal）：异步事件通知，不…...

编程日记 2025/8/29 4:04:42

一键自动备份：数据安全的双重保障

随着数字化时代的到来，数据已成为企业和个人不可或缺的核心资产。在享受数据带来的便捷与高效的同时，数据丢失的风险也随之增加。因此，备份文件的重要性不言而喻。本文将深入探讨备份文件的重要性，并介绍两种实用的自动备份方法&a…...

编程日记 2025/9/1 19:54:03

C++11之std::is_convertible

目录 1.简介 2.实现原理 3.使用场景 4.总结 1.简介 std::is_convertible 是 C 标准库 <type_traits> 头文件中的一个类型特性&#xff08;type trait&#xff09;&#xff0c;它用于在编译时检查一个类型是否可以隐式转换为另一个类型。下面的原型&#xff1a; temp…...

编程日记 2025/9/1 19:45:02

从零开始：在Qt中使用OpenGL绘制指南

从零开始&#xff1a;在Qt中使用OpenGL绘制指南 本文只介绍基本的 QOpenGLWidget 和 QOpenGLFunctions 的使用&#xff0c;想要学习 OpenGL 的朋友&#xff0c;建议访问经典 OpenGL 学习网站&#xff1a;LearnOpenGL CN 本篇文章&#xff0c;我们将以绘制一个经典的三角形为例&…...

编程日记 2025/8/31 20:41:08

我的购物车设计思考：从个人项目到生产实战思考的蜕变

一、代码初体验&#xff1a;我踩过的那些坑 还记得大二做课程设计时&#xff0c;我写的购物车直接用ArrayList存商品&#xff0c;结果改数量时遍历半天找商品。现在看你这个HashMap实现&#xff0c;确实清爽很多&#xff0c;但有几点让我想起当年惨痛经历&#xff1a; 1. 线程…...

编程日记 2025/8/31 17:34:16

【算法实践】算法面试常见问题——数组的波浪排序

问题描述 给定一个无序整数数组&#xff0c;将其排列成波浪形数组。若数组 arr[0..n-1] 满足以下条件&#xff0c;则称为波浪形&#xff1a; arr[0] > arr[1] < arr[2] > arr[3] < arr[4] > ... 或 arr[0] < arr[1] > arr[2] < arr[3] > arr[4] &l…...

编程日记 2025/8/31 19:12:06

【大模型深度学习】如何估算大模型需要的显存

一、模型参数量 参数量的单位 参数量指的是模型中所有权重和偏置的数量总和。在大模型中&#xff0c;参数量的单位通常以“百万”&#xff08;M&#xff09;或“亿”&#xff08;B&#xff0c;也常说十亿&#xff09;来表示。 百万&#xff08;M&#xff09;&#xff1a;表示…...

编程日记 2025/8/31 7:54:01

[论文阅读]PMC-LLaMA: Towards Building Open-source Language Models for Medicine

PMC-LLaMA&#xff1a;构建医学开源语言模型 摘要 最近&#xff0c;大语言模型在自然语言理解方面展现了非凡的能力。尽管在日常交流和问答场景下表现很好&#xff0c;但是由于缺乏特定领域的知识&#xff0c;这些模型在需要精确度的领域经常表现不佳&#xff0c;例如医学应用…...

编程日记 2025/8/27 6:27:26

`use_tempaddr` 和 `temp_valid_lft ` 和 `temp_prefered_lft ` 笔记250405

use_tempaddr 和 temp_valid_lft 和 temp_prefered_lft 笔记250405 以下是 Linux 系统中与 IPv6 临时隐私地址相关的三个关键参数 use_tempaddr、temp_valid_lft 和 temp_prefered_lft 的详细说明及协作关系&#xff1a; &#x1f4dc; 参数定义与功能 参数作用默认值依赖关…...

编程日记 2025/9/1 9:08:48

如何设置 JVM 内存参数（-Xms、-Xmx、-Xss 等）？

JVM 内存参数用于控制 Java 虚拟机使用的内存大小和行为。以下是一些常用的 JVM 内存参数及其设置方法&#xff1a; 1. 堆内存 (Heap Memory): -Xms<size>: 设置 JVM 初始堆大小 (initial heap size)。 例如&#xff1a;-Xms2g (初始堆大小为 2GB)默认值&#xff1a;物…...

编程日记 2025/8/31 13:08:29

【MATLAB TCP/IP客户端与NetAssist上位机双向通信实战指南】

MATLAB TCP/IP客户端与NetAssist上位机双向通信实战指南 一、前言 在工业控制和数据采集领域&#xff0c;TCP/IP通信是最常用的网络通信协议之一。MATLAB作为强大的科学计算软件&#xff0c;与各种上位机软件(如NetAssist)进行通信可以实现数据采集、设备控制和实时监控等功能…...

编程日记 2025/9/1 10:46:28

联合、枚举、类型别名

数据类型&#xff1a; 已学--整数、实数、字符、字符串、数组、指针、结构待学--向量&#xff08;vector&#xff09;类型&#xff1a;优于数组非主流的类型--联合&#xff08;union&#xff09;、枚举&#xff08;enum&#xff09; 一、联合 联合类似于结构&#xff0c;可以容…...

编程日记 2025/8/31 11:35:51

Array 和 ArrayList 有何区别？什么时候更适合用 Array？

面试官提问&#xff1a; 你能简要说明 Array 和 ArrayList 之间的主要区别吗&#xff1f;在什么场景下更适合使用 Array&#xff1f; 标准回答&#xff1a; 在 Java 中&#xff0c;Array&#xff08;数组&#xff09;和 ArrayList&#xff08;动态数组&#xff09;都可以用于存…...

编程日记 2025/9/1 6:33:58

对状态模式的理解

对状态模式的理解 一、场景二、不采用状态模式1、代码2、缺点 三、采用状态模式1、代码1.1 状态类1.2 上下文&#xff08;这里指&#xff1a;媒体播放器&#xff09;1.3 客户端 2、优点 一、场景 同一个东西&#xff08;例如&#xff1a;媒体播放器&#xff09;&#xff0c;有一…...

编程日记 2025/8/31 23:37:20

【学Rust写CAD】31 muldiv255函数（muldiv255.rs）

源码 // Calculates floor(a*b/255 0.5) #[inline] pub fn muldiv255(a: u32, b: u32) -> u32 {// The deriviation for this formula can be// found in "Three Wrongs Make a Right" by Jim Blinn.let tmp a * b 128;(tmp (tmp >> 8)) >> 8 }代…...

编程日记 2025/9/1 16:42:27

使用VSCode编写C#程序

目录 一、环境搭建&#xff1a;构建高效开发基础1. 安装VSCode2. 配置.NET SDK3. 安装核心扩展 二、项目开发全流程1. 创建项目2. 代码编辑技巧3. 调试配置4. 高级调试技巧5. 编译与运行 三、常见问题解决指南1. 项目加载失败2. IntelliSense失效3. 代码格式化4. 典型编译错误&…...

编程日记 2025/8/28 4:07:30

chromadb

chromadb是一个轻量化的向量数据库&#xff0c;可以和llama-index等RAG框架使用。底层基于sqllite。 Getting Started - Chroma Docs 1、安装 $pip install chromadb pip install chromadb-client --在CS模式下&#xff0c;如果机器A上只需要安装客户端 2、可以使用客户端…...

编程日记 2025/9/1 18:46:28

第十章: 可观测性_《凤凰架构：构建可靠的大型分布式系统》

第十章: 可观测性 可观测性是现代分布式系统监控和故障排查的核心能力。本章从事件日志、链路追踪、聚合度量三个维度构建完整的可观测性体系&#xff0c;以下是各部分的重点解析与实践要点&#xff1a; 一、事件日志&#xff08;Event Logging&#xff09; 1. 核心目标 全链…...

编程日记 2025/9/1 6:11:31