Publication result detail

Formal-method-based Software Development Applied on Embedded Systems: Platform-independent Source Code

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

Original Title

Formal-method-based Software Development Applied on Embedded Systems: Platform-independent Source Code

English Title

Formal-method-based Software Development Applied on Embedded Systems: Platform-independent Source Code

Type

Paper in proceedings outside WoS and Scopus

Original Abstract

One of the possible ways leading to speed-up of the softwaredevelopment process on embedded systems can be an application of formal-method-based development approaches. These techniques assurefast, error-free and intuitive way of creation of software applications
whichcan be highly optimized and also in many cases platform and/orprogramming language-independent. Nowadays, these techniques are widelyused in modern RAD IDEs designed for desktop computers, but are stillmissing in embedded systems development environments.
Thecontribution shows that FSMs can be successfully used for generation ofplatform-independent source code and software applications running onvarious types of target MCUs can be built from it. It also deals withbasic code-generation and optimization concepts and algorithms used among this software development approach.

English abstract

One of the possible ways leading to speed-up of the softwaredevelopment process on embedded systems can be an application of formal-method-based development approaches. These techniques assurefast, error-free and intuitive way of creation of software applications
whichcan be highly optimized and also in many cases platform and/orprogramming language-independent. Nowadays, these techniques are widelyused in modern RAD IDEs designed for desktop computers, but are stillmissing in embedded systems development environments.
Thecontribution shows that FSMs can be successfully used for generation ofplatform-independent source code and software applications running onvarious types of target MCUs can be built from it. It also deals withbasic code-generation and optimization concepts and algorithms used among this software development approach.

Keywords

FSM, finite state machine, finite automaton, code generation, ANSI C, RAD, code optimization, platform-independent, source code

Key words in English

FSM, finite state machine, finite automaton, code generation, ANSI C, RAD, code optimization, platform-independent, source code

Authors

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

Released

25.10.2006

Location

Budapest

ISBN

963-86586-5-7

Book

Conference Proceedings of MITIP

Pages from

487

Pages to

492

Pages count

6

BibTex

@inproceedings{BUT22396,
  author="Dušan {Kolář} and Michal {Bližňák}",
  title="Formal-method-based Software Development Applied on Embedded Systems: Platform-independent Source Code",
  booktitle="Conference Proceedings of MITIP",
  year="2006",
  pages="487--492",
  address="Budapest",
  isbn="963-86586-5-7"
}