An Approach to the Design of Networked Embedded Systems

Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216305%3A26230%2F05%3APU56425" target="_blank" >RIV/00216305:26230/05:PU56425 - isvavai.cz</a>
Result on the web
—
DOI - Digital Object Identifier
—

Result language
angličtina
Original language name
An Approach to the Design of Networked Embedded Systems
Original language description
The paper presents an approach to formal specification, verification and prototyping of network applications ranging from large information systems down to small components embedded e.g. in mobile devices. Main attention focuses both on architectural andbehavioral specifications of either reactive or real-time activities utilizing either structured or object-oriented approach depending on application requirements. This contribution discusses in more detail executable specifications and rapid prototyping for structured design and structural specifications and verifications for object-oriented design. The paper presents two original tools developed for that purpose: (i) Asynchronous Specification Language and (ii) Class Specification Language.
Czech name
—
Czech description
—

Project
Result was created during the realization of more than one project. More information in the Projects tab.
Continuities
Z - Vyzkumny zamer (s odkazem do CEZ)

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

Article name in the collection
Proceedings of the 16th IFAC WORLD CONGRESS, 2005
ISBN
0-08-045108-X
ISSN
—
e-ISSN
—
Number of pages
6
Pages from-to
—
Publisher name
Elsevier Science
Place of publication
Kidlington, Oxford
Event location
Praha
Event date
Jul 3, 2005
Type of event by nationality
WRD - Celosvětová akce
UT code for WoS article
—

Similar results(10)