photo

佳樹


Last seen: 24 days ago Active since 2022

Followers: 0   Following: 0

Statistics

  • Thankful Level 3

View badges

Feeds

View by

Answered
Polyspace使用時とビルド時で標準ライブラリ ヘッダーを合わせるにはどうすればよいか?
以下のページのように、polyspace-configureコマンドを使用するとよさそうです。 <https://jp.mathworks.com/help/bugfinder/ref/polyspaceconfigurecommand.html>

4 months ago | 0

Question


Polyspace使用時とビルド時で標準ライブラリ ヘッダーを合わせるにはどうすればよいか?
現在Polyspace Bug Finder Server, Code Prover Serverを使用して、手書きCコードの静的解析を行っております。 環境はWindows 10でツールはMingwのgccコンパイラ、PolyspaceはR2021aで...

4 months ago | 1 answer | 0

1

answer

Question


Stateflowにて、OOPのクラスの継承のように、あるChartを親としてそれを継承した子Chartを作成することはできるか?
現在Matlab Stateflowにてモデル開発を行っております。 現在作成しようとしているいくつかのモデルには共通する構造があり、それらを簡単に作成することができないか考えております。 例えば以下のような3つのモデルについてです。 上記の3つ...

9 months ago | 1 answer | 0

1

answer

Question


列挙型の値を比較する際、「<」や「>=」を使用するのは、モデリングガイドラインにひっかかることはあるのか?
現在自動車メーカーにて、制御モデルの作成をSimulink, Stateflowにて行っております。 現在使用しているモデルにおいては、列挙型の値を「<」や「>=」を用いて比較を行っている部分があり、違和感を感じております。 列挙型の値の例としては...

1 year ago | 0 answers | 0

0

answers

Question


inputが2つある場合に、最初の1ステップのみinput1の値を出力し、それ以降はinput2を出力するモデルをsimulinkにて作成する場合は、どのようなモデルがよいか
現在MATLAB, Simulinkにてモデルの作成を行っております。 Simulinkにおいてinputが2つある場合に、最初の1ステップのみinput1の値を出力し、それ以降はinput2を出力するといったモデルを作成しようと考えております。 この...

1 year ago | 1 answer | 0

1

answer

Question


Simulink, Statflowにて日本語でコメントを記入したときに、不具合は起こりうるか?
現在Simulink, Stateflowにてモデルの開発を行っております。 モデル内では、他の方が見たときにわかりやすいようにコメントを残すようにしております。 コメントは日本語と英語の両方で記載しているのですが、日本語(全角文字)を使用した場合に不...

1 year ago | 0 answers | 0

0

answers

Question


MCDCカバレッジを満たすテストケースが、テストとして不十分な場合があるように思える
現在matlab simulinkにて、単体テストを行っております。 テストにおいて、網羅率を調査するためにMC/DCカバレッジを満たしているかをチェックしているのですが、MC/DCチェック方法を行うだけでは取りこぼしてしまうポイントがあるように思えてな...

2 years ago | 1 answer | 0

1

answer

Question


R2018bで使用できていたアプリを、R2020bでも使用するためにはどうすればよいか
現在Simulink, Stateflowにて、開発を行っております。 以前までMATLAB R2018bを使用していたのですが、最近MATLAB R2020bにアップグレードしたところ、以前まで使用できていた、弊社作成のMATLAB用のアプリケーション...

2 years ago | 1 answer | 0

1

answer

Question


時間経過によるステートの変化を見るにはどうすればよいか?
現在Simulink, Stateflowにて、開発を行っております。 開発では、ステートが変化した場合にoutputが変化しないというモデルの作成が求められる場合があります。 例えば、以下のようなモデルです。 このモデルでは、in == 1が一...

2 years ago | 1 answer | 0

1

answer

Question


Stateflowにおいて、mファイルで定義されている定数を読み込むにはどうすればよいか
現在Simulink, Stateflowにて、開発を行っております。 開発では、使用する定数をmファイルに記述し、それをMatlabに読み込んで使用しているのですが、そこで問題がございます。 Matlabに読み込んだ定数は、Matlabワークスペース...

2 years ago | 1 answer | 0

1

answer