[图书][B] Real-time systems design and analysis

PA Laplante - 2004 - ieeexplore.ieee.org
The undersigned hereby transfer any and all rights in and to the work includin without
limitation all copyright rights in the above work to The Institute of Electriial and Electronics …

Rtkaller: State-aware task generation for RTOS fuzzing

Y Shen, H Sun, Y Jiang, H Shi, Y Yang… - ACM Transactions on …, 2021 - dl.acm.org
A real-time operating system (RTOS) is an operating system designed to meet certain real-
time requirements. It is widely used in embedded applications, and its correctness is safety …

基于覆盖的软件测试技术在实时嵌入式软件中的应用研究

王璞, 张臻鉴, 王玉玺 - 计算机工程与设计, 1998 - cqvip.com
基于覆盖的软件测试技术在实时嵌入式软件中的应用研究-[维普官方网站]-www.cqvip.com-维普
网  我的维普 购物车 充值 客服 首页 | 期刊大全 | 文献分类 | 优先出版 | 论文检测 | 论文选题 | 在线 …

QNX 与VxWorks 的特性分析和实时性能测试

程斐, 苗克坚, 王瑞敏 - 计算机工程与设计, 2008 - cqvip.com
复杂的测控应用对于实时性的要求非常高. 在硬件已经确定的情况下, 实时系统的性能很大程度
上取决于所采用的实时操作系统. 分析了QNX RTOS v6. 1 和VxWorks AE1. 1 的特性 …

嵌入式MPSoC 的调试功能实现

成杏梅, 刘鹏, 钟耿, 王小航, 姚庆栋 - 计算机辅助设计与图形学学报, 2008 - cqvip.com
从软件角度讨论了嵌入式MPSoC 的调试功能实现. 在实时操作系统中设置了调试管理部分,
通过构建操作系统的调试进程实现相应的调试功能, 实现的调试功能模块包括相应的调试命令集 …

An approach to testing commercial embedded systems

T Yu, A Sung, W Srisa-an, G Rothermel - Journal of systems and software, 2014 - Elsevier
A wide range of commercial consumer devices such as mobile phones and smart televisions
rely on embedded systems software to provide their functionality. Testing is one of the most …

Using property-based oracles when testing embedded system applications

T Yu, A Sung, W Srisa-an… - 2011 Fourth IEEE …, 2011 - ieeexplore.ieee.org
Embedded systems are becoming increasingly ubiquitous, controlling a wide variety of
popular and safety-critical devices. Effective testing techniques could improve the …

[PDF][PDF] Análise de sistemas operacionais de tempo real para aplicaçoes de robótica e automaçao

RV Aroca - 2008 - pdfs.semanticscholar.org
RESUMO AROCA, RV Análise de sistemas operacionais de tempo real para aplicações de
robótica e automação. 2008. Dissertação (Mestrado)-Departamento de Engenharia …

Segmentation for path analysis based on OTSU and immune genetic algoritnm

H Han, Y Wang, Z Huang, Y Hu - … on Mechatronics and …, 2014 - ieeexplore.ieee.org
In this paper, we firstly introduce the path analysis of tracking robot, and then introduce the
advantages of immune genetic algorithm (IGA). Thirdly, we combine immune genetic …

Test Methodology for Real-Time Operating System

SC Lee, SE Ong, NBZ Ali - Bulletin of Networking, Computing, Systems …, 2014 - bncss.org
There exist many varieties of Real-Time Operat-ing System (RTOS) in the market, most of
them are software based while some are hardware based. During the selection of RTOS, we …