Detail výsledku

Embedded Firmware Development with Multi-Way Branching

DVOŘÁK, V. Embedded Firmware Development with Multi-Way Branching. Proc. of the 3rd Int. Coference on Systems. New York: IEEE Computer Society, 2008. p. 317-322. ISBN: 978-0-7695-3105-2.
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Dvořák Václav, prof. Ing., DrSc., UPSY (FIT)
Abstrakt

This paper proposes a technique of firmware development based on Multi-valued Decision Diagrams (MDDs). Evaluation of multiple-output Boolean functions is faster than the one using Binary Decision Diagrams (BDDs) and has a small memory footprint often required in embedded systems. A micro-programmed controller that firmware runs on is supposed to support multi-way branching in hardware, whose implementation is known. A novel heuristic technique of a sub-optimal multivalued MDD synthesis is presented and a specific condition for spatial efficiency of MDD-based firmware is derived. The method is illustrated on practical examples. It may be quite useful for development of embedded microcontroller firmware as well as for fast digital system simulation.

Klíčová slova

Embedded firmware, decision diagrams,   iterative disjunctive decomposition, multi-valued functions, space complexity

Rok
2008
Strany
317–322
Sborník
Proc. of the 3rd Int. Coference on Systems
Konference
International Conference on Systems
ISBN
978-0-7695-3105-2
Vydavatel
IEEE Computer Society
Místo
New York
BibTeX 
@inproceedings{BUT30478,
  author="Václav {Dvořák}",
  title="Embedded Firmware Development with Multi-Way Branching",
  booktitle="Proc. of the 3rd Int. Coference on Systems",
  year="2008",
  pages="317--322",
  publisher="IEEE Computer Society",
  address="New York",
  isbn="978-0-7695-3105-2",
  url="https://www.fit.vut.cz/research/publication/8586/"
}
Soubory
Projekty
Bezpečnost a zabezpečení aplikací sítí vestavěných systémů, GAČR, Standardní projekty, GA102/08/1429, zahájení: 2008-01-01, ukončení: 2010-12-31, ukončen
Návrh a obvodová realizace zařízení pro automatické generování patentovatelných invencí, GAČR, Standardní projekty, GA102/07/0850, zahájení: 2007-01-01, ukončení: 2009-12-31, ukončen
Výzkum informačních technologií z hlediska bezpečnosti, MŠMT, Institucionální prostředky SR ČR (např. VZ, VC), MSM0021630528, zahájení: 2007-01-01, ukončení: 2013-12-31, řešení
Výzkumné skupiny
Výzkumná skupina Superpočítačových technologií SC@FIT (VZ SC@FIT)
Pracoviště
Ústav počítačových systémů (UPSY)
Nahoru