File Exchange - MATLAB Central - 万博1manbetx,s manbetx 845,万博尤文图斯

22 results

代码验证(22)

HATA模型模拟

The program simulates the Hata model

Community

2.1K Downloads

DO178_case_study

Case Study for DO-178 using MathWorks tools

Community

3.1K下载

Autopilot Demo for ARP4754A, DO-178C and DO-331

Demonstration of how to use MathWorks products in a workflow for ARP-4754A, DO-178C nad DO-331

Community

2.7K Downloads

Simulation of von Kármán viscoelastic plates

A quasistatic evolution of viscoelastic von Kármán plates.

Community

106 Downloads

Compliance to CERT C Level 1 Guidelines with Polysace

PolySpace Bug Finder模板要检查1级CERT C指南。

Community

65 Downloads

Fermat Last Theorem

Generates Fermat Numbers, type "help fermat".

Community

1.4K下载

DASADistance(GroundTruth, EstimatedStates, c, p)

Computes DASA metric: Evaluates the performance of a target tracking algorithm

Community

50下载

Polyspace Compiler Templates

Polyspace Compiler template sets help at setup phase according to compiler and target

Community

830下载

Color Model from PolySpace Verification

The tool colors Simulink Model using PolySpace code verification.

Community

694 Downloads

USING POLYSPACE^®TO IMPLEMENT THE “SOFTWARE QUALITY OBJECTIVES FOR SOURCE CODE QUALITY” STANDARD

This document defines a general and standard approach to measure the software quality.

Community

1.9K Downloads

PolySpace For Editors

A tool to integrate PolySpace into your favorite editor

Community

864 Downloads

Post Preprocessing Templates

发布预处理脚本

Community

927 Downloads

高频时间序列对象

HF time-series object based on the Chopper class that overloads the legacy FINTS object for uniformly sampled data.

Community

31 Downloads

ImportAOTResults

A tool made to import AOT campaign results into a Polyspace verification

Community

370 Downloads

EmailNotifier

在PolySpace验证结束时收到电子邮件通知的工具

Community

626 Downloads

生物识别模式质量度量验证/评估。

An implementation of the validation of a biometric quality metric.

Community

964 Downloads

Generate Checks Report

This tool generates Checks report(XML & CSV format) from C and C++ PolySpace^®Results.

Community

784下载

臭臭^®2004 & 1998 pre-set

found 5 Pre set files for PolySpace MISRA C^®Checker

Community

387 Downloads

NXT Scanner with Lego Mindstorms NXT

基于嵌入式编码器Robot NXT的基于NXT扫描仪模型的设计。

Community

3.2K Downloads

maxstar.

Natural log of a sum of exponentials

Community

1.7K Downloads

整齐的

整齐的desktop windows to maximise available space

Community

1.9K Downloads

pstd2tab

Converts PolySpace queue-manager's log file to readable table format.

Community

646 Downloads

Trial software

通过来源过滤

Filter by Category

Using MATLAB

Using Simulink

Workflows

Applications

Disciplines

按类型过滤

Filter by Product Family

代码验证(22)

HATA模型模拟

DO178_case_study

Autopilot Demo for ARP4754A, DO-178C and DO-331

Simulation of von Kármán viscoelastic plates

Compliance to CERT C Level 1 Guidelines with Polysace

Fermat Last Theorem

DASADistance(GroundTruth, EstimatedStates, c, p)

Polyspace Compiler Templates

Color Model from PolySpace Verification

USING POLYSPACE^®TO IMPLEMENT THE “SOFTWARE QUALITY OBJECTIVES FOR SOURCE CODE QUALITY” STANDARD

PolySpace For Editors

Post Preprocessing Templates

高频时间序列对象

ImportAOTResults

EmailNotifier

生物识别模式质量度量验证/评估。

Generate Checks Report

臭臭^®2004 & 1998 pre-set

NXT Scanner with Lego Mindstorms NXT

maxstar.

整齐的

pstd2tab

Using Simulink

Workflows

Applications

Disciplines

代码验证(22)

HATA模型模拟

DO178_case_study

Autopilot Demo for ARP4754A, DO-178C and DO-331

Simulation of von Kármán viscoelastic plates

Compliance to CERT C Level 1 Guidelines with Polysace

Fermat Last Theorem

DASADistance(GroundTruth, EstimatedStates, c, p)

Polyspace Compiler Templates

Color Model from PolySpace Verification

USING POLYSPACE®TO IMPLEMENT THE “SOFTWARE QUALITY OBJECTIVES FOR SOURCE CODE QUALITY” STANDARD

PolySpace For Editors

Post Preprocessing Templates

高频时间序列对象

ImportAOTResults

EmailNotifier

生物识别模式质量度量验证/评估。

Generate Checks Report

臭臭®2004 & 1998 pre-set

NXT Scanner with Lego Mindstorms NXT

maxstar.

整齐的

pstd2tab

USING POLYSPACE^®TO IMPLEMENT THE “SOFTWARE QUALITY OBJECTIVES FOR SOURCE CODE QUALITY” STANDARD

臭臭^®2004 & 1998 pre-set