Systémy založené na počítačích

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216305%3A26220%2F01%3APU28692" target="_blank" >RIV/00216305:26220/01:PU28692 - isvavai.cz</a>

Výsledek na webu

—

DOI - Digital Object Identifier

—

Jazyk výsledku

čeština

Název v původním jazyce

Systémy založené na počítačích

Popis výsledku v původním jazyce

Tato práce shrnuje současný stav Inženýrství systémů založených na počítačích (ECBS) jako nového a rozvíjejícího se odvětví Informatiky a výpočetní techniky z hlediska výzkumu a výuky. Pozornost je zde soustředěna nejen na holistické chápání a hlavní rysy této discipliny, ale i na vestavěné systémy jako důležitou třídu systémů založených na počítačích včetně počítačových sítí a komunikačních protokolů, které představují jejich důležité komponenty. Navíc, úvodní části zmiňují také významnou roli formálníích specifikací v této oblasti. Ostatní kapitoly této práce jsou zaměřeny na detailnější prezentaci vybraných částí discipliny ECBA s využitím autorovy osobní zkušenosti.

Název v anglickém jazyce

Computer-Based Systems

Popis výsledku anglicky

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 sectionsmention 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

Druh

B - Odborná kniha

CEP obor

JC - Počítačový hardware a software

OECD FORD obor

—

Projekt

—

Návaznosti

Z - Vyzkumny zamer (s odkazem do CEZ)

Rok uplatnění

2001

Kód důvěrnosti údajů

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

ISBN

80-214-1937-7

Počet stran knihy

22

Název nakladatele

Vysoké učení technické v Brně

Místo vydání

Brno

Kód UT WoS knihy

—