• ModelCoder中的超密时间模型

    许多仿真模型中都有时间的概念,这就意味着模块间的通信和模块所执行的计算是在一个逻辑时间轴上的,这两个动作在执行时要么按顺序执行,也就是说某个动作在另外一个动作之前;要么两个同时执行(并发执行)。

    2022-01-18 digiproto

  • 带你了解PCIE通信原理

    PCI-Express(peripheral component interconnect express),简称PCIE,是一种高速串行计算机扩展总线标准,主要用于扩充计算机系统总线数据吞吐量以及提高设备通信速度。

    2022-01-07 digiproto

  • VxWorks任务调度

    大家知道,CPU运行的基本单位其实是一条一条的指令,如今我们通过编译器就可以将代码生成为机器指令,也就是所谓的二进制文件,这些指令组成了程序。程序在装入内存中执行时被称之为任务,或者说是进程。随着处理器性能的日益强大,程序也越来越复杂,因此诞生了操作系统来帮助我们管理进程,更合理地分配处理器资源,这也就是任务调度的目标。而在VxWorks中,能够调度起这些任务,最核心的就是reschedule调度算法了。

    2021-12-16 digiproto

  • 浅谈状态机

    在工业生产中,常常会使用到建模软件,而建模的目的就是为了在制造的前期进行验证和试错,以确保制造出来的东西能够很好的使用。而在建模仿真的领域中,状态机又是逃不开的一个话题。

    2021-12-13 digiproto

  • 基于常微分方程初值问题的ModelCoder固定步长求解器分析

    形式化验证的代码生成工具ModelCoder由迪捷软件自主开发,是一款支持多种嵌入式系统建模并可以自动生成高安全可靠的C代码的软件设计和开发工具。ModelCoder支持同步数据流以及状态机等嵌入式模型,其从模型生成代码的过程经过了形式化验证,以保证生成过程的正确无误性,能够用于飞行控制系统,航空电子系统,核电的DCS等多个安全关键领域的嵌入式软件的设计和开发。对标产品有国外ANSYS公司的SCADE或者MathWorks公司的MATLAB/Simulink。

    2021-12-10 digiproto

  • SkyEye仿真平台下的操作系统实验- 准备篇(一)

    《一步步写嵌入式操作系统》从零开始实现了操作系统leeos,并在SkyEye虚拟机中进行了实验验证。 leeos是一个简单的多任务操作系统,进程调度方式为时间片轮询。leeos使用伙伴算法实现了动态内存分配,支持romfs文件系统,支持运行elf格式的可执行文件。leeos提供了一个简单的驱动程序框架,和一个统一的异常与中断处理架构,并通过使用中断嵌套的方法提高了中断效率。leeos支持mmu,使用两级页表结构实现虚拟地址到物理地址的转换。以上涉及到的技术都在《一步步写嵌入式操作系统》中有详细讲解。

    2021-11-01 digiproto

  • 编译器前端概述与可信编译器

    Java程序员应该会非常熟悉Spring,在Spring框架中对注解的支持和字节码动态生成都属于编译技术;前端程序员通常会使用Babel这个工具,主要是为了将ES6语法编写的代码转换为做向后兼容的JS语法...

    2021-10-25 digiproto

  • GOF设计模式之桥接模式

    GOF设计模式之桥接模式

    2021-06-16 digiproto

上一页1下一页 转至第
首页
产品
新闻
联系