DocumentCode :
1787388
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
fYear :
2014
fDate :
27-31 Oct. 2014
Firstpage :
86
Lastpage :
93
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;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Open Innovations Association (FRUCT16), 2014 16th Conference of
Conference_Location :
Oulu
ISSN :
2305-7254
Type :
conf
DOI :
10.1109/FRUCT.2014.7000937
Filename :
7000937
Link To Document :
بازگشت