Publication detail

Formal-method-based Software Development Applied on Embedded Systems: Basic concepts

KOLÁŘ, D. BLIŽŇÁK, M.

Original Title

Formal-method-based Software Development Applied on Embedded Systems: Basic concepts

English Title

Formal-method-based Software Development Applied on Embedded Systems: Basic concepts

Type

conference paper

Language

en

Original Abstract

Programming of embedded systems is usually performed on low-level tools and programming languages. Such an approach is time consuming and inefficient. Application of formal-method-based software development is an approach that can improve the situation. The article describes one of possibilities of formal-method-based software development usage with a stress on efficient code generation to meet requirements of embedded systems.

English abstract

Programming of embedded systems is usually performed on low-level tools and programming languages. Such an approach is time consuming and inefficient. Application of formal-method-based software development is an approach that can improve the situation. The article describes one of possibilities of formal-method-based software development usage with a stress on efficient code generation to meet requirements of embedded systems.

Keywords

FSM, finite state machine, code generation, ANSI C, optimization

RIV year

2006

Released

21.11.2006

Location

Vienna

ISBN

3-901509-57-7

Book

17th International DAAAM Symposium 2006

Pages from

45

Pages to

46

Pages count

2

Documents

BibTex


@inproceedings{BUT22404,
  author="Dušan {Kolář} and Michal {Bližňák}",
  title="Formal-method-based Software Development Applied on Embedded Systems: Basic concepts",
  annote="Programming of embedded systems is usually performed on low-level tools and
programming languages. Such an approach is time consuming and inefficient.
Application of formal-method-based software development is an approach that can
improve the situation. The article describes one of possibilities of
formal-method-based software development usage with a stress on efficient code
generation to meet requirements of embedded systems.",
  booktitle="17th International DAAAM Symposium 2006",
  chapter="22404",
  year="2006",
  month="november",
  pages="45--46",
  type="conference paper"
}