Publication 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

conference paper

Language

en

Original 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.

English 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.

Keywords

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

RIV year

2006

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

Documents

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",
  annote="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.",
  booktitle="Conference Proceedings of MITIP",
  chapter="22396",
  year="2006",
  month="october",
  pages="487--492",
  type="conference paper"
}