-
![初入SysML之模块定义图]()
初入SysML之模块定义图
如果把系统工程看做一座山，那么基于SysML或UML的各种图就是从不同角度去看这座山所形成的“画”。“横看成岭侧成峰，远近高低各不同”，每幅“画”都能展现出其不同角度的“美”，但又无法完全画出每一棵树、每一朵花。 今天我们来画一下山的脉络——模块定义图。文绉绉的东西放后面，直接从实例说起吧。比如台式机由主机、显示器、鼠标、键盘、音响等组成，用SysML怎么表示呢？
2023-05-15 digiproto
-
![一文读懂什么是DDS]()
一文读懂什么是DDS
数据分发服务（DDS™）是一个由对象管理组（OMG）发布的以数据为中心的中间件协议和API标准。采用分布式发布/订阅体系架构，以中间件的形式提供通信服务，强调以数据为中心。DDS中间件是一个软件层，从操作系统、网络传输和底层数据格式的细节中抽象出应用。相同的概念和api提供给不同的编成语言，使得应用在不同的操作系统、编成语言和处理体系架构之间交换信息。底层细节包括数据传输格式、发现、连接、可靠性和、协议、Qos策略等由中间件来管理。
2023-05-15 digiproto
-
![VxWorks任务调度]()
VxWorks任务调度
大家知道，CPU运行的基本单位其实是一条一条的指令，如今我们通过编译器就可以将代码生成为机器指令，也就是所谓的二进制文件，这些指令组成了程序。程序在装入内存中执行时被称之为任务，或者说是进程。随着处理器性能的日益强大，程序也越来越复杂，因此诞生了操作系统来帮助我们管理进程，更合理地分配处理器资源，这也就是任务调度的目标。而在VxWorks中，能够调度起这些任务，最核心的就是reschedule调度算法了。
2023-05-15 digiproto
-
![L2C中CtempGen层语义保持证明中环境匹配的定义]()
L2C中CtempGen层语义保持证明中环境匹配的定义
ModelCoder是一款由迪捷软件自主研发，支持多种嵌入式系统建模并可以自动生成高安全可靠的C代码的软件设计和开发工具。ModelCoder支持同步数据流以及状态机等嵌入式模型，其从模型生成代码的过程经过了形式化验证，以保证生成过程的正确无误性，能够用于飞行控制系统，航空电子系统，核电的DCS等多个安全关键领域的嵌入式软件的设计和开发。
2023-05-15 digiproto
-
![浅谈ARMv7-A协处理器CP15]()
浅谈ARMv7-A协处理器CP15
协处理器，顾名思义就是协助型处理器，主要协助做一些主处理器无法执行或者执行效率不佳的事情，比如浮点、图像、音频处理这一类，随着硬件的发展，大多协处理器的功能都慢慢集成到主处理器中，但是某些特定的工作还是需要协处理器进行辅助。
2023-05-15 digiproto
-
![漫谈Windows共享内存]()
漫谈Windows共享内存
在讲共享内存之前先来聊聊虚拟内存的那些事。 对于整个系统而言，主存与CPU的资源都是有限的，随着打开进程数量的增加，若是将所有进程运行所需的代码/数据/栈/共享库都存放在主存中，那么开启一部分进程就可以将主存占用完。
2023-05-15 digiproto
-
![细数嵌入式开发与通用系统开发的不同]()
细数嵌入式开发与通用系统开发的不同
嵌入式开发指在嵌入式操作系统下进行开发，包括在系统化设计指导下的硬件和软件以及综合研发。而通用系统开发则是指在具有有多道批处理、分时、实时处理功能中的两种及以上功能的操作系统中进行开发。
2023-05-15 digiproto
-
![漫谈车载操作系统发展趋势]()
漫谈车载操作系统发展趋势
操作系统提供计算机硬件和应用程序之间的接口，通过遵循编程到操作系统中的规则和程序，限制应用程序使用硬件；提供简化应用程序开发和执行的服务，包括将程序加载到内存、与传感器和执行器通信、存储结果等各种硬件资源管理的功能，还包括如中间件、库及其他系统软件功能。
2023-05-15 digiproto
-
助力中国高端装备制造业的腾飞
-
-
contact@digiproto.com
-
0575-88361699
-
19957518153（销售）/ 13260299730（合作）/ 13501153049
-
