M
minhnd
Guest
Salut,
Je suis un newbie dans les systèmes embarqués.J'essaie de comprendre la méthodologie des systèmes embarqués de ne pas les concevoir, mais de les vérifier.
Donc mes questions pour vous, les systèmes experts embarqués:
1) Dans la pratique, lorsque vous commencez à concevoir un nouveau projet de concevoir un système embarqué, pensez-vous commencer immédiatement avec une des langues concrètes, telles que C / ASM pour les parties logiciels et comme Verilog / VHDL pour les pièces de matériel?Ou bien vous commencez avec un niveau plus élevé pour modèle l'ensemble du système tels que codesign FSM (Polis) ou SystemC ou UML ou quoi?
2) Que voulez-vous de vérifier pour vos systèmes embarqués?Supposons que vous créez un niveau de pilote de périphérique-bas pour un des systèmes embarqués; Qu'est-ce que vous voulez vérifier: le comportement en temps réel du pilote de périphérique en rapport avec le dispositif matériel?; Et comment allez-vous vérifier votre pilote de périphérique maintenant ?: à l'aide debuger, co-simulation?
3) Que voulez-vous faire lorsque vérifier vos systèmes?Avez-vous l'esprit en utilisant les langues autres modèles (haut niveau), tels que SDL / UML / CFSM pour modéliser vos systèmes afin de les vérifier formaly?Ou souhaitez-vous simplement donner votre C-HDL et des codes-codes pour les ingénieurs vérification et de leur demander de vérifier les propriétés désirées.
Je tiens à vous remercier d'avance pour vos réponses.Ils m'aident beaucoup.
Je suis un newbie dans les systèmes embarqués.J'essaie de comprendre la méthodologie des systèmes embarqués de ne pas les concevoir, mais de les vérifier.
Donc mes questions pour vous, les systèmes experts embarqués:
1) Dans la pratique, lorsque vous commencez à concevoir un nouveau projet de concevoir un système embarqué, pensez-vous commencer immédiatement avec une des langues concrètes, telles que C / ASM pour les parties logiciels et comme Verilog / VHDL pour les pièces de matériel?Ou bien vous commencez avec un niveau plus élevé pour modèle l'ensemble du système tels que codesign FSM (Polis) ou SystemC ou UML ou quoi?
2) Que voulez-vous de vérifier pour vos systèmes embarqués?Supposons que vous créez un niveau de pilote de périphérique-bas pour un des systèmes embarqués; Qu'est-ce que vous voulez vérifier: le comportement en temps réel du pilote de périphérique en rapport avec le dispositif matériel?; Et comment allez-vous vérifier votre pilote de périphérique maintenant ?: à l'aide debuger, co-simulation?
3) Que voulez-vous faire lorsque vérifier vos systèmes?Avez-vous l'esprit en utilisant les langues autres modèles (haut niveau), tels que SDL / UML / CFSM pour modéliser vos systèmes afin de les vérifier formaly?Ou souhaitez-vous simplement donner votre C-HDL et des codes-codes pour les ingénieurs vérification et de leur demander de vérifier les propriétés désirées.
Je tiens à vous remercier d'avance pour vos réponses.Ils m'aident beaucoup.