|
|
Obsluha paměťového systému pro platformu Colibri XScale PXA270
Mačišák, Lukáš ; Straka, Martin (oponent) ; Šimek, Václav (vedoucí práce)
Tato bakalářská práce popisuje platformu Colibri XScale PXA270, analyzuje možnosti využití DMA přenosů na této platformě a popisuje principy práce s paměťmi typu flash a SDRAM. Práce obsahuje návrh a implementaci firmware pro obsluhu paměťového systému této platformy. Součástí práce je i popis a implementace testů polovodičových pamětí s přímým přístupem. Pro ukázku funkčnosti a možností použití firmware je implementována demonstrační aplikace.
|
|
|
Problematika testování a verifikace softwaru pro leteckou techniku
Mačišák, Lukáš ; Chudý, Peter (oponent) ; Drahanský, Martin (vedoucí práce)
Tato diplomová práce popisuje problematiku certifikace a vývoje softwaru pro leteckou techniku se zaměřením na oblast testování a verifikace v rámci životního cyklu projektu. Práce obsahuje navrhnutý vlastní postup verifikace softwaru ve shodě s požadavky normy RTCA/DO-178B pro konkrétní aplikaci. Součásti je i ukázková realizace takových částí navrhnutého postupu, které se týkají testování softwaru. V závěru jsou popsané možnosti uplatnění navrženého postupu a zhodnocení jeho výsledků.
|
|
|
Obsluha paměťového systému pro platformu Colibri XScale PXA270
Mačišák, Lukáš ; Straka, Martin (oponent) ; Šimek, Václav (vedoucí práce)
Tato bakalářská práce popisuje platformu Colibri XScale PXA270, analyzuje možnosti využití DMA přenosů na této platformě a popisuje principy práce s paměťmi typu flash a SDRAM. Práce obsahuje návrh a implementaci firmware pro obsluhu paměťového systému této platformy. Součástí práce je i popis a implementace testů polovodičových pamětí s přímým přístupem. Pro ukázku funkčnosti a možností použití firmware je implementována demonstrační aplikace.
|
|
|
Problematika testování a verifikace softwaru pro leteckou techniku
Mačišák, Lukáš ; Chudý, Peter (oponent) ; Drahanský, Martin (vedoucí práce)
Tato diplomová práce popisuje problematiku certifikace a vývoje softwaru pro leteckou techniku se zaměřením na oblast testování a verifikace v rámci životního cyklu projektu. Práce obsahuje navrhnutý vlastní postup verifikace softwaru ve shodě s požadavky normy RTCA/DO-178B pro konkrétní aplikaci. Součásti je i ukázková realizace takových částí navrhnutého postupu, které se týkají testování softwaru. V závěru jsou popsané možnosti uplatnění navrženého postupu a zhodnocení jeho výsledků.
|
host ::
RSS.