没有合适的资源?快使用搜索试试~ 我知道了~
首页Automatic WCET analysis for DO-178B
Automatic WCET analysis for DO-178B
需积分: 11 15 下载量 185 浏览量
更新于2023-03-16
评论
收藏 470KB PDF 举报
介绍在航空机载软件适航标准DO-178B/C要求下如何进行自动化WCET分析。
资源详情
资源评论
资源推荐
Determining worst-case execution time (WCET) is a recommended activity for
avionics systems developed according to the DO-178B or DO-178C
guidelines. This white paper assesses the current state of practice for
determining WCET when working to these guidelines and introduces the
benefits that arise from being able to automate this process. With its
DO-178B/DO-330 qualification pack, RapiTime (part of Rapita Verification Suite)
is unique in allowing these benefits to be realised for DO-178B/C developments.
White Paper
Automating WCET
analysis for DO-178B/C
On-target software verification tools
Automating WCET analysis for DO-178B/C | page 2
Contents
Introduction 3
DO-178B/C requirements for WCET 5
What is current state of practice for
determining WCET? 6
Using RapiTime in a DO-178B
environment 10
Conclusion 13
Automating WCET analysis for DO-178B/C | page 3
Introduction
Determination of worst-case execution time (WCET) is an
activity that is recommended in DO-178B and DO-178C
6.3.4f. Here we consider the current state of practice for
determining WCET and present the benefits available from
automating the process. Thanks to its DO-178B/DO-330
qualification pack, RapiTime uniquely allows these benefits
to be realised in DO-178B/C projects.
RapiTime is a tool to
determine the
execution time of
embedded software.
It reports measured
maximum, high-
water-mark and
calculated worst-
case times. The
WCET calculation is
based on measured
data, annotations
and the source code
structure.
To use RapiTime’s
calculated WCET in
support of DO-178B
or DO-178C
objective 6.3.4f, it is
necessary both to
qualify the tool and
to provide a
corresponding
analysis process.
What is RapiTime?
One approach to determining WCET
that is widely used and currently
accepted by certification authorities is
manual analysis and measurement.
Manual analysis and measurement is
an effort-intensive task and requires an
extremely high level of care to ensure
measurements are correctly captured.
By using automation to reduce the
level of effort required and increase the
accuracy of results, RapiTime represents
an evolution of the manual analysis
and measurement approach. With the
introduction of the DO-178B/DO-330
qualification pack, RapiTime can
replace manual activities in projects
requiring DO-178B/DO-178C certification.
The development of the new qualification
pack means RapiTime is the only
tool in the marketplace capable of
measurement-based WCET analysis
for DO-178B.
In this document we describe:
■ What is required for WCET in
DO-178B projects.
■ The current state of practice, and its
limitations.
■ How RapiTime represents an
improvement on the state of practice.
■ How to use RapiTime in a DO-178B
environment.
剩余13页未读,继续阅读
haosong5105
- 粉丝: 0
- 资源: 1
上传资源 快速赚钱
- 我的内容管理 收起
- 我的资源 快来上传第一个资源
- 我的收益 登录查看自己的收益
- 我的积分 登录查看自己的积分
- 我的C币 登录后查看C币余额
- 我的收藏
- 我的下载
- 下载帮助
会员权益专享
最新资源
- c++校园超市商品信息管理系统课程设计说明书(含源代码) (2).pdf
- 建筑供配电系统相关课件.pptx
- 企业管理规章制度及管理模式.doc
- vb打开摄像头.doc
- 云计算-可信计算中认证协议改进方案.pdf
- [详细完整版]单片机编程4.ppt
- c语言常用算法.pdf
- c++经典程序代码大全.pdf
- 单片机数字时钟资料.doc
- 11项目管理前沿1.0.pptx
- 基于ssm的“魅力”繁峙宣传网站的设计与实现论文.doc
- 智慧交通综合解决方案.pptx
- 建筑防潮设计-PowerPointPresentati.pptx
- SPC统计过程控制程序.pptx
- SPC统计方法基础知识.pptx
- MW全能培训汽轮机调节保安系统PPT教学课件.pptx
资源上传下载、课程学习等过程中有任何疑问或建议,欢迎提出宝贵意见哦~我们会及时处理!
点击此处反馈
安全验证
文档复制为VIP权益,开通VIP直接复制
信息提交成功
评论0