Re: Delay until in Ada seems not to work

understand a demonstration system was built. Now I am looking at verification of key managers within RTEMS-SMP. Regards, Andrew Butterfield > On 27 Jan 2021, at 14:27, Mattia Bottaro wrote: > > I've not specified it because I'm in a "non-conventional" situation: I&#x

Re: Python problems on OS X

w` decided it needed its own version of python2.7 Upgrading to Catalina did not fix this, but I know that people have built RTEMS on Catalina. Perhaps I should try to re-install 2.7 from Python.org <http://python.org/> ? > https://hg.python.org/cpython/file/2.7/Misc/python-config.in

Re: Python problems on OS X

Hi Chris, > On 17 Nov 2020, at 20:25, Chris Johns wrote: > > On 17/11/20 9:19 pm, Andrew Butterfield wrote: >> I keep getting a python error when trying to build the tool suite on >> OS X. The end of the error log is: >> >> ``` >> checking whether t

Python problems on OS X

ns/2.7/bin/python2 :- which python3 /Library/Frameworks/Python.framework/Versions/3.8/bin/python3 My machine is running macOS Catalina 10.15.7 Any ideas? -------- Andrew Butterfield Tel: +353-1-896-2517 Fax: +353-1-677-220

Re: Using model checking to do test generation for RTEMS

p in the testsuite the tests will be required to pass on all > supported architectures. We consider the range of architecture we support a > real > feature because the code needs to be clean. I am currently looking at the Events Manager API top-down, to produce models and tests. I s

Re: Using model checking to do test generation for RTEMS

Dear Chris, thanks for your feedback - much appreciated! Responses to your queries inline below. > On 3 Sep 2020, at 00:38, Chris Johns wrote: > > On 1/9/20 2:30 am, Andrew Butterfield wrote: >> Dear all, >> >> I am involved the in the ESA sponsored project RTEM

Using model checking to do test generation for RTEMS

welcome. Regards and Thanks, Andrew Butterfield Andrew Butterfield Tel: +353-1-896-2517 Fax: +353-1-677-2204 Lero@TCD, Head of Software Foundations & Verification Research Group School of Computer Science and Statis

Re: using docker to deliver qualification tools

work. Annotation should be deferred until we can have a convincing long-term maintenance plan. Hope this helps, Best regards, Andrew (*) thanks, Stanislav! > On 24 Oct 2019, at 13:00, Joel Sherrill wrote: > > > > On Thu, Oct 24, 2019, 5:58 AM Andrew Butterfield > wr

Re: installing Doorstop on macOS (for RTEMS use)

Hi Sebastian, I just did option 3 (python.org <http://python.org/>) again on another iMac - very straightforward- my recommendation. Regards, Andrew > On 30 Oct 2019, at 13:24, Sebastian Huber > wrote: > > On 25/10/2019 01:18, Chris Johns wrote: >> On 24/10/19 9:5

using docker to deliver qualification tools

interested in, and also makes it possible for us to host the tools in the cloud somewhere as an on-line qualification service. What are the thoughts of the community regarding this? Best regards, Andrew Butterfield Andrew

Re: installing Doorstop on macOS (for RTEMS use)

y do is the calculation of the fingerprint, however, this can be done by >> the one who commits a patch. So, in case a Python 3 support with pipenv is on >> the Apple roadmap for the next year, this would make this easier. > > This sounds reasonable. > > Chris --

installing Doorstop on macOS (for RTEMS use)

plib2-0.14.0 jdcal-1.4.1 mdx-outline-1.3.0 openpyxl-2.6.4 plantuml-0.2.1 plantuml-markdown-3.1.3 pyficache-0.3.1 python-markdown-math-0.6 ~> --- end - took several seconds doorstop --help works I succesfully completed their mini-tutorial introduction. Regards, Andrew Butterfield -

FormalRTEMS - Postdoc in formal verification of real-time OS

. Application deadline, 12noon, Irish Standard Time, Wednesday, 18th September. Andrew Butterfield Tel: +353-1-896-2517 Fax: +353-1-677-2204 Lero@TCD, Head of Foundations & Methods Research Group School of Computer Science

Re: installing python headers for RTEMS on OS X

l let you know how I get on. Regards, Andrew -------- Andrew Butterfield Tel: +353-1-896-2517 Fax: +353-1-677-2204 Lero@TCD, Head of Foundations & Methods Research Group School of Computer Science and Statistics, Room G.39, O'Reilly Institute, Trinity Colle

installing python headers for RTEMS on OS X

#x27; returns -I/usr/local/Cellar/python/2.7.12_2/Frameworks/Python.framework/Versions/2.7/include/python2.7 In here I see a large collection of .h files. How do I "install" these? Thanks, Andrew Butterfield Makefile Description: Binary data ---