Embedded Systems Design & Méthodologie Employée Modèle / languag

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.

 
Salut

Quand je commence un nouveau design, je suis en train de relais sur un design Précédant qui travaillent et ont moins de bugs
Le plus simple est d'utiliser une démo bord pour referance
Pour la plupart des micro / carte de démonstration processeur est disponible pour certaines low cost
J'essaie d'utiliser le langage C comme langage de développement de logiciels est beceause HLL
(Langage de haut niveau) et VHDL pour le matériel

Tous les meilleurs

Bobi

 

Welcome to EDABoard.com

Sponsor

Back
Top