Languages on embedded systems in aeronautic and spatial sector

Posted by Niels on Programmers See other posts from Programmers or by Niels
Published on 2014-08-23T09:17:14Z Indexed on 2014/08/23 10:34 UTC
Read the original article Hit count: 344

Filed under:

programming-languages

|

embedded-systems

|

space-technology

I know that my question is very broad but a general answer would be nice.

I would like to know which are the main languages used in aeronautic and spatial sector.

I know that the OS which run on embedded systems are RTOS (Real time OS) and I think that, this languages must be checked correctly by different methods (formal methods, unit tests) and must permit a sure verification of whole process of a program.

© Programmers or respective owner

Related posts about programming-languages

Which order would you teach programming languages in, when teaching a newbie?

as seen on Programmers - Search for 'Programmers'
If you had to design a study program, with a breadth-of-programming-languages requirement, which stated that the student should be exposed to all major concepts and methodologies that can be taught through (at the minimum) 6 programming languages, which programming languages would you choose to teach… >>> More
Extending Programming Languages

as seen on Stack Overflow - Search for 'Stack Overflow'
(Since I just posted this in another question, but my browser had to be annoying and submit it without content first, here it is again:) I'm a fan of clean code. I like my languages to be able to express what I'm trying to do, but I like the syntax to mirror that too. For example, I work on a lot… >>> More
Facebook Game Development - Which Programming languages?

as seen on Stack Overflow - Search for 'Stack Overflow'
Hi folks, I am going to develop a facebook game as topic for my thesis. I am wondering which programming languages i should choice. I am used to programming in .NET. But i am also comfortable in C++ and Java. I don't want to use Flash as the graphical frontend since i don't like it. So i guess… >>> More
Objective-measures of the power of programming languages

as seen on Stack Overflow - Search for 'Stack Overflow'
Are there any objective measures for measuring the power of programming languages? Turing-completeness is one, but it is not particularly discriminating. I also remember there being a few others measures of power which are more limited versions (like finite-state-autonoma), but is there any objective… >>> More
Extending Programming Languages [closed]

as seen on Stack Overflow - Search for 'Stack Overflow'
I'm a fan of clean code. >>> More

Related posts about embedded-systems

Embedded Systems using FlowStone DSP Programming Language for Windows

as seen on Code Project - Search for 'Code Project'
Developing Embedded Systems Using FlowStone DSP >>> More
Design patterns frequently seen in embedded systems programming

as seen on Programmers - Search for 'Programmers'
I don't have any question related to coding. My concerns are about embedded systems programming independent of any particular programming language. Because I am new in the realm of embedded programming, I would quite appreciate responses from those who consider themselves experienced embedded systems… >>> More
Advantages of Thread pooling in embedded systems

as seen on Stack Overflow - Search for 'Stack Overflow'
I am looking at the advantages of threadpooling design pattern in Embedded systems. I have listed few advantages, please go through them, comment and please suggest any other possible advantages that I am missing. Scalability in systems like ucos-2 where there is limit on number of threads. Increasing… >>> More
Embedded systems code with good unit tests?

as seen on Stack Overflow - Search for 'Stack Overflow'
I am looking at approaches to Unit Test embedded systems code written in C. At the same time, I am also looking for a good UT framework that I can use. The framework should have a reasonably small number of dependencies. Any great Open-source products that have good UTs? >>> More
Need some ignition for learning Embedded Systems

as seen on Stack Overflow - Search for 'Stack Overflow'
I'm very much interested in building applications for Embedded Devices. I'm in my 3rd year Electrical Engineering and I'm passionate about coding, algorithms, Linux OS, etc. And also by Googling I found out that Linux OS is one of the best OSes for Embedded devices(may be/may not be). I want to work… >>> More