A Design Framework for Internet-Based Embedded Distributed Systems
The result's identifiers
Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216305%3A26230%2F04%3APU49127" target="_blank" >RIV/00216305:26230/04:PU49127 - isvavai.cz</a>
Result on the web
—
DOI - Digital Object Identifier
—
Alternative languages
Result language
angličtina
Original language name
A Design Framework for Internet-Based Embedded Distributed Systems
Original language description
The presented design framework stems from verifiable formal specifications as a launching paradigm, from Internet-based distributed HW/SW components with multicast as an architectural paradigm, and from reusability paradigm supporting all phases of the design process ranging from specification to implementation and testing. This paper presents concepts of a specification-driven design framework aiming at IEEE 1451-based embedded distributed systems that consist of smart components connected to Internet.. It deals with an integrated networking framework stemming from the IEEE 1451.1 object-based networking model, complemented by the Internet Protocol (IP) multicast that mediates efficient and unified access from Internet to distributed components. The kernel of the paper deals with tools and techniques aiming to prop specification and design life cycle phases of applications under development.
Czech name
Rámec pro návrh vestavěných distribuovaných systémů založených na Internetu
Czech description
Presentovaný návrhový rámec vychází z verifikovatelných formálních specifikací jako počátečního paradigmatu, z ditribuovaných HW/SW komponent se skupinovým adresováním na Internetu jako paradigmatu architektury a z paradigmatu opakované využitelnosti podporující všechny fáze procesu návrhu od specifikací po implementaci a testování. Příspěvek pojednává koncepci zaměřenou na systémy respektující standardy IEEE 1451 a sestávající z komponent připojených k Internetu. Integrovaný rámec je založen na objektoovém síťovém modelu IEEE 1451.1 doplněném o IP multicast. Jádro příspěvku pojednává o nástrojích a technikách podporujících specifikační a návrhovou fázi životního cyklu vyvíjených aplikací.
Classification
Type
D - Article in proceedings
CEP classification
JC - Computer hardware and software
OECD FORD branch
—
Result continuities
Project
<a href="/en/project/GA102%2F02%2F1032" target="_blank" >GA102/02/1032: Embedded control systems and their inter-communication</a><br>
Continuities
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)
Others
Publication year
2004
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data specific for result type
Article name in the collection
Proceedings of the International IEEE Conference and Workshop ECBS'2004
ISBN
0-7695-2125-8
ISSN
—
e-ISSN
—
Number of pages
8
Pages from-to
113-120
Publisher name
IEEE Computer Society
Place of publication
Los Alamitos, California
Event location
Brno
Event date
May 23, 2004
Type of event by nationality
WRD - Celosvětová akce
UT code for WoS article
—