| Projektpresentationer | |
| 2005-10-19 | |
| Pågående Mikroprojekt | |
| MMI-säkerhet | |
| Förslag på nya Mikroprojekt | |
| 1 |
Evaluation of ”Perfect Developer” and the verified ”Design by Contract” paradigm |
| 2 |
UML för realtidstillämpningar och kodgenerering |
| 3 |
Vad innebär IMA/DIMA-koncept (distribuerad integrerad modulär avionik) jämfört med traditionell LRU (Line replacement unit)? |
| 4 |
Vad innebär ARINC653 resp ASAAC (NATO-initiativ som är konkurrent till ARINC)? |
| 5 |
Inventera tillgång på och framtid för snabba bussar/kommunikationsstandarder |
| 6 |
Inventera snabba bussar med tidsdeterminism, t ex ARINC 664? |
| 7 |
För- och nackdelar med olika Ethernet-protokoll. UDP, TCP, AFDX m fl |
| 8 |
Hur ser utvecklingen ut framöver för olika processorfamiljer såsom Intel x86, PowerPC m fl? |
| 9 |
Problem och möjligheter kring utnyttjande av Cache-minnen (prestanda, bitfel…) |
| 10 |
Daily Build / Daily Test |
| 11 |
Extreme Programming |
| 12 |
Studera kärnkraftsindustrins metodik/teknik att utforma MMI-er och försök utnyttja i försvarsindustrin |
| 13 |
Informationshantering vid systemutveckling styrd av CM |
| 14 |
Jämförelse av verktyg för automatisk kodgenerering mot säkerhetskritiska system |
| Klara Mikroprojekt | |
| SäkAnalysMetoder: Spec Resultat | |
| Specifikationsmall | |