"698241" . . . "Syst\u00E9my zalo\u017Een\u00E9 na po\u010D\u00EDta\u010D\u00EDch"@cs . . . "\u0160v\u00E9da, Miroslav" . "Computer-Based Systems"@en . . . . "Computer-Based Systems"@en . "Tato pr\u00E1ce shrnuje sou\u010Dasn\u00FD stav In\u017Een\u00FDrstv\u00ED syst\u00E9m\u016F zalo\u017Een\u00FDch na po\u010D\u00EDta\u010D\u00EDch (ECBS) jako nov\u00E9ho a rozv\u00EDjej\u00EDc\u00EDho se odv\u011Btv\u00ED Informatiky a v\u00FDpo\u010Detn\u00ED techniky z hlediska v\u00FDzkumu a v\u00FDuky. Pozornost je zde soust\u0159ed\u011Bna nejen na holistick\u00E9 ch\u00E1p\u00E1n\u00ED a hlavn\u00ED rysy t\u00E9to discipliny, ale i na vestav\u011Bn\u00E9 syst\u00E9my jako d\u016Fle\u017Eitou t\u0159\u00EDdu syst\u00E9m\u016F zalo\u017Een\u00FDch na po\u010D\u00EDta\u010D\u00EDch v\u010Detn\u011B po\u010D\u00EDta\u010Dov\u00FDch s\u00EDt\u00ED a komunika\u010Dn\u00EDch protokol\u016F, kter\u00E9 p\u0159edstavuj\u00ED jejich d\u016Fle\u017Eit\u00E9 komponenty. Nav\u00EDc, \u00FAvodn\u00ED \u010D\u00E1sti zmi\u0148uj\u00ED tak\u00E9 v\u00FDznamnou roli form\u00E1ln\u00ED\u00EDch specifikac\u00ED v t\u00E9to oblasti. Ostatn\u00ED kapitoly t\u00E9to pr\u00E1ce jsou zam\u011B\u0159eny na detailn\u011Bj\u0161\u00ED prezentaci vybran\u00FDch \u010D\u00E1st\u00ED discipliny ECBA s vyu\u017Eit\u00EDm autorovy osobn\u00ED zku\u0161enosti." . . "26220" . . . . . "Edice Habilita\u010Dn\u00ED a inaugura\u010Dn\u00ED spisy" . "22"^^ . "Syst\u00E9my zalo\u017Een\u00E9 na po\u010D\u00EDta\u010D\u00EDch" . . "22"^^ . . . . "Syst\u00E9my zalo\u017Een\u00E9 na po\u010D\u00EDta\u010D\u00EDch"@cs . . . "[3846D52CBECD]" . "0"^^ . "1"^^ . "0"^^ . "Vysok\u00E9 u\u010Den\u00ED technick\u00E9 v Brn\u011B" . "This lecture reviews the contemporary state of Engineering of Computer-Based Systems (ECBS) as a new and emerging branch of Computer Science and Engineering from the viewpoints of research and education. Attention is focused not only on a holistic view and main features of this discipline, but also on embedded systems as an important class of computer-based systems (CBS) including computer networks and communication protocols, which constitute their important components. Moreover, introductory sections mention also the significant role of formal specifications in this domain. The other sections of the lecture focus on more detailed presentation of selected parts of this discipline employing author's personal experience. Following the introductory and general sections, main part of the lecture discusses research, professional, and educational activities in the ECBS domain. Research contributions cover industrial research and development of embedded systems, formal specifications in ECBS, and communic"@en . . "RIV/00216305:26220/01:PU28692" . "80-214-1937-7" . "Computer-based systems, embedded systems, temporal logics, real-time temporal logics, finite automata, transition systems, fieldbus interconnections, Internet, application framework, components reuse"@en . "1"^^ . "Syst\u00E9my zalo\u017Een\u00E9 na po\u010D\u00EDta\u010D\u00EDch" . "Z(MSM 262200012)" . . "Syst\u00E9my zalo\u017Een\u00E9 na po\u010D\u00EDta\u010D\u00EDch" . . "Brno" . . "RIV/00216305:26220/01:PU28692!RIV/2002/MSM/262202/N" .