Title :
Technology and design tools for portable software development for embedded systems
Author :
Sedov, Boris ; Syschikov, Alexey ; Ivanova, Vera
Author_Institution :
State Univ. of Aerosp. Instrum., St. Petersburg, Russia
Abstract :
Nowadays embedded systems are used in broad range of domains such as avionics, space industry, automotive, mobile devices, domestic appliances and so on. There is enormous number of tasks that should be solved using embedded systems. There are many tools and approaches that allow developing of software for domain area experts, but mainly for general purpose computing systems. In this article we propose the complex technology and tools that allows involving domain experts in software development for embedded systems. The proposed technology has various aspects and abilities that can be used to build verifiable and portable software for a wide range of embedded platforms.
Keywords :
embedded systems; program verification; software portability; complex technology; design tools; domain area experts; embedded platforms; embedded systems; general purpose computing systems; portable software development; software verification; Algorithm design and analysis; Debugging; Embedded systems; Hardware; Programming; Visualization;
Conference_Titel :
Open Innovations Association (FRUCT16), 2014 16th Conference of
Conference_Location :
Oulu
DOI :
10.1109/FRUCT.2014.7000937