Aplikace formálních metod návrhu a tvorby softwarového vybavení na embedded systémy

Embedded systems are omnipresent and play significant roles in modern-day life. They can be found in consumer electronics, such as digital cameras, DVD players, industrial robots, medical equipment, automotive designs and many other areas. In contrast to their spread, a programming of embedded systems is a special discipline and demands that embedded systems developers have working knowledge of a multitude of technology areas. Moreover, embedded software applications must be highly optimized due to memory usage aspects and algorithm (or source code) quality, because available system resources can be strongly limited. In many cases, developers are using only low-level programming technologies and languages to meet all requirements of target systems. It is obvious that this way of software development can be time-consuming and inefficient. The goal of this thesis is to point that some specific formal languages can be effectively used for producing of highly optimized, production-ready source code that fulfills necessary requirements of target embedded systems.