A formal framework for modelling component extension and layers in distributed embedded systems [Elektronische Ressource] / von Stefan Förster

ππonsistenzrwakult?toausf?hrlicrtationen.zurormWissenschaftlichenhaftlicSchriftenreiheUnEingeboettete,ErselbstoundrganisierendeF?rsterSystemeFDerUnivvliegtorliegendeompBandezikder?fwissenscEihaftlicKhenksvScArbhriftenreihedieserEingebzuettete,Prof.selbstorersit?tsrecgani-wsiervendevSystemem?glicwidmetzusicundhKdemsiertEnbtundwurfinvannonnacvtigkerteiltenBewEingebdieettetenfreueSystemen.er?enEinsatzgebieteeitsoftelcheherbSystemeHardtsindhaftlicunTterebruaranderemunktMissions-hundHerrnSteuerungssystemeErwvSystemsponwirdFlugzeugenT(AnerospaceeAnzuwGesamendungen)onund,undmitt?bzunehmendern.Vklarernetzung,ei-dernacAu-btomotiv-Kalk?leusBereicF?rsterh.seinesHierwgiltM?cesein-h?uncstellen.hsteBeispielSicanzherheitsstandardsIceinzuhaltenh,unddiemaximalehVherf?gbarkdiesereitSczugewgaranen,tieren.LesernHerrundF?rsterdernimmWtansicInformatikhLeiterdiesernProblematikhniscinChemnitzeinemvsehrerpfr?henderStadiumtersucdesungenEnontF?rsterwurfsprozesses,aufdereiterungenSponezikezikationsphase,Soan.esEsh,weilkerdenoneImple-tenmenvtierungsvr?ndernariandertensubstituierenwiedieHardwtspareatiundaufSoftorrektheitwKareautomasoiwiezuSystemkerprompeonen?tenerwiedenierteBere-wcterungsrelationenhformalungskhpr?fbareompnonenettungtendenoundFKalismommkunikHerrationskdieomporrektheitonenAnsatzestenhuneisenterscdiehieden.hF?reitdiedruc?bollergrei-terfendeeisSpEinezikhesationzeigtenPraxisrelevtdieserwiceit.kheltmicHerrHerrnF?rsterf?