реклама на сайте
подробности

 
 
 
Reply to this topicStart new topic
max_mart
сообщение Jun 4 2014, 05:13
Сообщение #1


Местный
***

Группа: Участник
Сообщений: 248
Регистрация: 30-09-11
Пользователь №: 67 474



Народ, всем привет.

Насколько я знаю МАТЛАБ может все. В инете находил, что некоторые люди умудрялись использовать Симулинк и Stateflow для проверки написанного кода микроконтроллера на соответствие техническим требованиям (переходы, состояния, режимы работы и т.д.).
Но информации и детального описания как это сделать нету.
Народ подскажите, пожалуйста, где это можно найти и как это реализовать?
Go to the top of the page
 
+Quote Post
max_mart
сообщение Jun 4 2014, 06:53
Сообщение #2


Местный
***

Группа: Участник
Сообщений: 248
Регистрация: 30-09-11
Пользователь №: 67 474



Вообще насколько я знаю на эмуляторе получается идеальное значение, к которому надо стремиться. Но вот как это реализовать и потом состыковать с измеренными значениями (с программного кода) для сверки и вывода в таблицу. Вот это вопрос.
Ни у кого примера или руководства как это сделать не будит? biggrin.gif

Сообщение отредактировал max_mart - Jun 4 2014, 08:12
Go to the top of the page
 
+Quote Post
syoma
сообщение Jun 6 2014, 05:27
Сообщение #3


Профессионал
*****

Группа: Свой
Сообщений: 1 817
Регистрация: 14-02-07
Из: наших, которые работают за бугром
Пользователь №: 25 368



Цитата(max_mart @ Jun 4 2014, 11:23) *
Насколько я знаю МАТЛАБ может все.

Это правда biggrin.gif
Цитата
В инете находил, что некоторые люди умудрялись использовать Симулинк и Stateflow для проверки написанного кода микроконтроллера на соответствие техническим требованиям (переходы, состояния, режимы работы и т.д.).
Но информации и детального описания как это сделать нету.
Народ подскажите, пожалуйста, где это можно найти и как это реализовать?


Это просто, если вы работаете так:
Рисуете в StateFlow модель согласно своего технического задания. - т.е автоматы состояний, переходы и т.д. Проверяете, моделируете. Потом генерите автоматически C-код и программируете им свой контроллер. Все. Контроллер выполняет все в точности, что и модель.
Неточности только могут изза хардверных драйверов у микроконтроллера. Это тоже проверяется hardware-in-the-loop методами.

Для привязки Технических Требований к модели используется тулбокс Simulink Validation and Verification. Он позволяет привязывать любой абзац из Wordовского или Excel документа к блоку, части или всей модели. Таким образом можно отслеживать, как конкретное требование реализовано в модели, все ли требования учтены и есть ли части модели, не покрытые требованиями. Вот собственно и все. Примечательно то, что при генерации кода Матлаб может даже вставлять привязанные требования в комментарии в сгенерированном C коде, что позволяет отслеживать это все даже там (так как код вполне читабельный)
Мы с этим делом плотненько работаем. Если есть конкретные вопросы - можно задавать, но все достаточно подробненько описано в доках.


Но вот как насчет проверять написанный вручную код микроконтроллера с помощью Симулинка, я не очень понимаю. Что вы конкретно собираетесь делать или как это себе представляете?
Go to the top of the page
 
+Quote Post
spbroma
сообщение Dec 12 2014, 09:19
Сообщение #4


Участник
*

Группа: Участник
Сообщений: 42
Регистрация: 23-07-14
Пользователь №: 82 337



Что-то вроде этого?
Go to the top of the page
 
+Quote Post

Reply to this topicStart new topic
1 чел. читают эту тему (гостей: 1, скрытых пользователей: 0)
Пользователей: 0

 


RSS Текстовая версия Сейчас: 3rd July 2025 - 12:16
Рейтинг@Mail.ru


Страница сгенерированна за 0.01479 секунд с 7
ELECTRONIX ©2004-2016