-
初入SysML之模块定义图
如果把系统工程看做一座山,那么基于SysML或UML的各种图就是从不同角度去看这座山所形成的“画”。“横看成岭侧成峰,远近高低各不同”,每幅“画”都能展现出其不同角度的“美”,但又无法完全画出每一棵树、每一朵花。 今天我们来画一下山的脉络——模块定义图。文绉绉的东西放后面,直接从实例说起吧。比如台式机由主机、显示器、鼠标、键盘、音响等组成,用SysML怎么表示呢?
2023-05-15 digiproto
-
你真的了解虚拟机吗?
近年来,随着科技的发展,计算机在各行各业的应用越来越广泛,所扮演角色也越来越重要。小到超市收银系统,大到飞机导弹都有计算机的影子。正是因为这些广泛的应用推动了计算机体系的迅猛发展,为了满足各种需求,
2023-05-15 digiproto
-
浅谈状态机
在工业生产中,常常会使用到建模软件,而建模的目的就是为了在制造的前期进行验证和试错,以确保制造出来的东西能够很好的使用。而在建模仿真的领域中,状态机又是逃不开的一个话题。
2023-05-15 digiproto
-
一文读懂什么是DDS
数据分发服务(DDS™)是一个由对象管理组(OMG)发布的以数据为中心的中间件协议和API标准。采用分布式发布/订阅体系架构,以中间件的形式提供通信服务,强调以数据为中心。DDS中间件是一个软件层,从操作系统、网络传输和底层数据格式的细节中抽象出应用。相同的概念和api提供给不同的编成语言,使得应用在不同的操作系统、编成语言和处理体系架构之间交换信息。底层细节包括数据传输格式、发现、连接、可靠性和、协议、Qos策略等由中间件来管理。
2023-05-15 digiproto
-
设计模式六大原则你都知道吗?
单一职责原则的核心是功能单一化,功能单一化后每个模块只受该功能的影响,不会出现其他功能的改变导致必须修改该模块。比方说登录模块和用户管理模块,如果合在一起,会导致如果需要增加一个临时登录的功能必然会影响用户管理模块,至少上线的时候用户管理模块也是断掉的。
2023-05-15 digiproto
-
VxWorks任务调度
大家知道,CPU运行的基本单位其实是一条一条的指令,如今我们通过编译器就可以将代码生成为机器指令,也就是所谓的二进制文件,这些指令组成了程序。程序在装入内存中执行时被称之为任务,或者说是进程。随着处理器性能的日益强大,程序也越来越复杂,因此诞生了操作系统来帮助我们管理进程,更合理地分配处理器资源,这也就是任务调度的目标。而在VxWorks中,能够调度起这些任务,最核心的就是reschedule调度算法了。
2023-05-15 digiproto
-
L2C中CtempGen层语义保持证明中环境匹配的定义
ModelCoder是一款由迪捷软件自主研发,支持多种嵌入式系统建模并可以自动生成高安全可靠的C代码的软件设计和开发工具。ModelCoder支持同步数据流以及状态机等嵌入式模型,其从模型生成代码的过程经过了形式化验证,以保证生成过程的正确无误性,能够用于飞行控制系统,航空电子系统,核电的DCS等多个安全关键领域的嵌入式软件的设计和开发。
2023-05-15 digiproto
-
浅谈ARMv7-A协处理器CP15
协处理器,顾名思义就是协助型处理器,主要协助做一些主处理器无法执行或者执行效率不佳的事情,比如浮点、图像、音频处理这一类,随着硬件的发展,大多协处理器的功能都慢慢集成到主处理器中,但是某些特定的工作还是需要协处理器进行辅助。
2023-05-15 digiproto