Publication Details

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

KOLÁŘ, D.; BLIŽŇÁK, M. Formal-method-based Software Development Applied on Embedded Systems: Platform-independent Source Code. Conference Proceedings of MITIP. Budapest: 2006. p. 487-492. ISBN: 963-86586-5-7.
Czech title
Vývoj software na základě formálních metod aplikovaný na vestavěné systémy: platformě nezávislý zdrojový kód
Type
conference paper
Language
English
Authors
Kolář Dušan, doc. Dr. Ing. (DIFS)
Bližňák Michal, Ing.
Keywords

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

Abstract

One of the possible ways leading to speed-up of the software development process
on embedded systems can be an application of formal-method-based development
approaches. These techniques assure fast, error-free and intuitive way of
creation of software applications
which can be highly optimized and also in many cases platform and/or programming
language-independent. Nowadays, these techniques are widely used in modern RAD
IDEs designed for desktop computers, but are still missing in embedded systems
development environments.
The contribution shows that FSMs can be successfully used for generation of
platform-independent source code and software applications running on various
types of target MCUs can be built from it. It also deals with basic
code-generation and optimization concepts and algorithms used among this software
development approach.

Published
2006
Pages
487–492
Proceedings
Conference Proceedings of MITIP
Conference
The Modern Information Technology in the Innovation Processes of the Industrial Enterprises, Budapest, HU
ISBN
963-86586-5-7
Place
Budapest
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"
}
Back to top