Quality-driven Design of Embedded Systems Projektowanie

Quality-driven Design of Embedded Systems
Projektowanie systemow wbudowanych sterowane jakoscia
Spektakularny postep technologii polprzewodnikowych umozliwil implementacje coraz bardziej
zaawansowanych wieloprocesorowych systemow na pojedynczym chipie. W wyniku tego, wiele nowych
rodzajow systemow do tradycyjnych in nowych zastosowan stalo sie technologicznie mozliwymi i ekonomicznie
oplacalnymi. Wykreowany zostal silny impuls do tworzenia innowacyjnych systemow wbudowanych i
przenikajacych. Przykladami tych nowych systemow sa inteligentne domy, miasta i inne srodowiska;
inteligentne ubrania i implanty, zdalne rozproszone systemy monitoringu i sterowania w zakresie zagrozen,
katastrof, srodowiska, rolnictwa, transportu, czy monitoringu medycznego. Te ultra-nowoczesne systemy
odgrywaja szybko rosnaca role w prawie wszystkich dziedzinach naszego zycia dzieki zaawansowanym
heterogenicznym wieloprocesorowym systemom wbudowanym stanowiacym ich mozg.
Za te ogromne nowe mozliwosci trzeba jednak placic cene wielkiej zlozonosci systemow i implementujacego je
krzemu. Zlozonosc ta powoduje, ze projektowanie nowoczesnych systemow wbudowanych jest bardzo
skomplikowane, pracochlonne i czasochlonne. Przemysl systemow wbudowanych niezmiernie potrzebuje
technologii projektowania i implementacji wieloprocesorowych systemow wbudowanych gwarantujacych
wielokrotnie zmniejszone pracochlonnosc i czas projektowania, lecz nie kosztem jakosci projektowanych
systemow. Ten problem ma pierwszorzedne znaczenie dla europejskiego, a w tym rowniez dla polskiego
przemyslu, szczegolnie w swietle wyjatkowo zacietej konkurencji na rynkach systemow wbudowanych.
Wielokrotne zmniejszenie pracochlonnosci i czasu projektowania bez utraty jakosci projektowanych systemow
mozliwe jest jedynie poprzez uzycie odpowiedniej metodologii projektowania intensywnie eksploatujacej
zaawansowane architektury systemow oraz efektywne i sprawne narzedzia projektowania automatycznego.
Prezentowana seria wykladow poswiecona jest projektowaniu systemow wbudowanych sterowanemu jakoscia.
Wyklady te oparte sa w wysokim stopniu na wlasnych rezultatach badawczych wykladowcy. Sa one rezultatem
ponad 30 lat pracy teoretycznej i metodologicznej, jak rowniez doswiadczenia wykladowcy zdobytego we
wspolpracy z wieloma czolowymi przedsiebiorstwami przemyslu wysokich technologii, takimi jak Philips, NXP,
Intel, ST-Microelectronics, Nokia, Synopsys, Synplicity, czy Xilinx, oraz wieloma mniejszymi
przedsiebiorstwami.
Po scharakteryzowaniu nowoczesnych bardzo wymagajacych zastosowan systemow wbudowanych i
wprowadzeniu do problemow i wyzwan projektowania takich systemow, kurs prezentuje metodologie systemow
inspirowanych zyciem i metodologie projektowania systemow sterowanego jakoscia, ktore atakuja te problemy i
przezwyciezaja wyzwania. W dalszej czesci kurs skupia sie na projektowaniu heterogenicznych systemow
wieloprocesorowych bazowanych na procesorach konfigurowalnych do specyficznych zastosowan i
akceleratorach hardwerowych, stanowiacych baze obecnie najnowoczesniejszych i przyszlych systemow
wbudowanych dla zastosowan o wysokich wymaganiach parametrycznych. Dyskutowane jest kilka metod
projektowania i narzedzi projektowania automatycznego dla tych systemow, ktore bazuja na wczesniej
przedstawionych dwoch metodologiach. Demonstrowane jest skuteczne stosowanie tych metod i narzedzi
projektowania dla szeregu nowoczesnych wymagajacych standardow i zastosowan przemyslowych z zakresu
telekomunikacji, multimediow i aparatury medycznej.
Tematyka wykladow:
1. Wprowadzenie do projektowania systemow wbudowanych i przenikajacych
2.
3.
4.
5.
6.
7.
8.
9.
Problemy i wyzwania projektowania wspolczesnych i przyszlych systemow wbudowanych
Systemy inspirowane zyciem
Projektowanie systemow sterowane jakoscia
Sytuacja, trendy i poblemy w dziedzine projektowania systemow wieloprocesorowych dla zastosowan o
wysokich wymaganiach parametrycznych
Sterowane jakoscia i bazowane na modelach podejscie do projektowania systemow
wieloprocesorowych dla zastosowan o wysokich wymaganiach parametrycznych
Sterowane jakoscia i bazowane na modelach metody i narzedzia projektowania automatycznego do
eksploracji i syntezy architektur wbudowanych systemow wieloprocesorowych
Rezultaty eksperymentow projektowych dla rzeczywistych standardow i zastosowan przemyslowych.
Podsumowanie