From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me X-Spam-Level: X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00 autolearn=unavailable autolearn_force=no version=3.4.4 Path: eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!feeder.eternal-september.org!paganini.bofh.team!weretis.net!feeder6.news.weretis.net!feeder.usenetexpress.com!feeder-in1.iad1.usenetexpress.com!border1.nntp.dca1.giganews.com!nntp.giganews.com!buffer1.nntp.dca1.giganews.com!buffer2.nntp.dca1.giganews.com!nntp.earthlink.com!news.earthlink.com.POSTED!not-for-mail NNTP-Posting-Date: Tue, 23 Jan 2018 10:33:20 -0600 From: Dennis Lee Bieber Newsgroups: comp.lang.ada Subject: Re: Raspberry Pi SenseHAT / AstroPi Date: Tue, 23 Jan 2018 11:33:20 -0500 Organization: IISS Elusive Unicorn Message-ID: References: <10c0eb19-4d5c-4ef2-b3a8-751ae3c5b530@googlegroups.com> User-Agent: ForteAgent/8.00.32.1272 X-No-Archive: YES MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit X-Usenet-Provider: http://www.giganews.com NNTP-Posting-Host: 108.73.118.61 X-Trace: sv3-VPjqCk/2AK7wLhsU11c1f0hFFhe6mW20m2SGtnu//Kq4AAxIwYus5HaKzvR0K1jduSCvE+yBhrR+uvw!Xdv7OXPS83WhuNkXsvQqtg7X8cCqwZw+QCSJfi5/huvOj/skBveoPeJkrCc6gGfXHHf0LsQ46A9w!bEO/QC0m0rZCLqQt5YdnJ3fsvHQ= X-Abuse-and-DMCA-Info: Please be sure to forward a copy of ALL headers X-Abuse-and-DMCA-Info: Otherwise we will be unable to process your complaint properly X-Postfilter: 1.3.40 X-Original-Bytes: 2597 Xref: reader02.eternal-september.org comp.lang.ada:50075 Date: 2018-01-23T11:33:20-05:00 List-Id: On Tue, 23 Jan 2018 07:45:17 -0800 (PST), slos declaimed the following: >Since it was designed to go in space, I would have thought an Ada library to be available... ;-) >But I could not find one. :-( > It may have gone into space -- but it is not part of safety critical/operational control electronics; it is isolated (other than power supply I suspect*) from the rest of the environment. Per astro-pi.org itself, the "missions" MUST use Python (given that the advanced mission is limited to <19 year old, I doubt any candidates would know enough Ada to interface with hardware). cf: http://esamultimedia.esa.int/docs/edu/Mission_Space_Lab_coding_rules.pdf Astro-Pi submittals are in Python source code so the reviewers can easily ensure that no potentially malicious code exists (no use of networking libraries, no spawning of external programs, etc.). Use of most any other language would mean using /binary/ executables -- and that would mean, for safety review, that the reviewers would have to also build the programs from sources in order to provide them to the spacecraft. Much too much overhead on the staff. * based upon the coding rules, they are networked to the spacecraft systems (which would support the upload of selected experiments) but are not permitted to use networking during runs. -- Wulfraed Dennis Lee Bieber AF6VN wlfraed@ix.netcom.com HTTP://wlfraed.home.netcom.com/