|
| This Article | ||
| ||
| Share | ||
| Bibliographic References | ||
| Add to: | ||
 Digg  Furl  Spurl  Blink  Simpy  Google  Del.icio.us  Y!MyWeb | ||
| Search | ||
| ||
11th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems (ECBS'04)
A Design Framework for Internet-Based Embedded Distributed Systems
Brno, Czech Republic
May 24-May 27
ISBN: 0-7695-2125-8
| ASCII Text | x | ||
| Miroslav Sveda, "A Design Framework for Internet-Based Embedded Distributed Systems," Engineering of Computer-Based Systems, IEEE International Conference on the, pp. 113, 11th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems (ECBS'04), 2004. | |||
| BibTex | x | ||
| @article{ 10.1109/ECBS.2004.1316689, author = {Miroslav Sveda}, title = {A Design Framework for Internet-Based Embedded Distributed Systems}, journal ={Engineering of Computer-Based Systems, IEEE International Conference on the}, volume = {0}, year = {2004}, isbn = {0-7695-2125-8}, pages = {113}, doi = {http://doi.ieeecomputersociety.org/10.1109/ECBS.2004.1316689}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, } | |||
| RefWorks Procite/RefMan/Endnote | x | ||
| TY - CONF JO - Engineering of Computer-Based Systems, IEEE International Conference on the TI - A Design Framework for Internet-Based Embedded Distributed Systems SN - 0-7695-2125-8 SP EP A1 - Miroslav Sveda, PY - 2004 KW - null VL - 0 JA - Engineering of Computer-Based Systems, IEEE International Conference on the ER - | |||
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.
Citation:
Miroslav Sveda, "A Design Framework for Internet-Based Embedded Distributed Systems," ecbs, pp.113, 11th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems (ECBS'04), 2004
Usage of this product signifies your acceptance of the Terms of Use.