Michael Schnell wrote:
On 07/02/2013 12:47 AM, Michel Catudal wrote:
I find smaller devices like the AVR32 and PIC32 more appropriate for
embedded system. ARM devices with Linux are more for use with video.
I don't see it that way at all.
IMHO, having a Linux OS is a great plus for embedded systems. This makes
creating, maintaining and enhancing the user software much more
comfortable and a developer can have a pool of easily reusable software
snippets he can use in all his projects. Of course the support for
multiple languages is a big plus, too. Moreover with the upcoming
"!internet of things", support of standard software on embedded devices
becomes more and more essential. The user want to control their
appliances with a smartphone (or a PC) but directly attaching a monitor
is not a decent option.
The problem there is that once you've got something with the complexity
of the Linux kernel and a standard language's RTL, you're a very long
way from being able to prove either the static or the dynamic
correctness of a system. Now I obviously accept that strict
proof-of-correctness of any realistic system is virtually impossible,
but I don't think that adding subsystems and layers implementing
features that are non-critical but have the capability of interfering
with critical code is desirable in an embedded system.
Something like RTLinux with the equivalent of a PLC implemented at the
core level is obviously one solution to this sort of problem.
--
Mark Morgan Lloyd
markMLl .AT. telemetry.co .DOT. uk
[Opinions above are the author's, not those of his employers or colleagues]
_______________________________________________
fpc-devel maillist - fpc-devel@lists.freepascal.org
http://lists.freepascal.org/mailman/listinfo/fpc-devel
