Re: Delay until in Ada seems not to work

2021-01-27 Thread Andrew Butterfield
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'm > runn

Re: Python problems on OS X

2020-11-18 Thread Andrew Butterfield
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 > <https://hg.python.org/cpython/file/2.7/Misc/python-config.in>) > > Reg

Re: Python problems on OS X

2020-11-18 Thread Andrew Butterfield
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

2020-11-17 Thread Andrew Butterfield
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

2020-09-14 Thread Andrew Butterfield
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 see

Re: Using model checking to do test generation for RTEMS

2020-09-04 Thread Andrew Butterfield
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

Using model checking to do test generation for RTEMS

2020-08-31 Thread Andrew Butterfield
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

2019-11-01 Thread Andrew Butterfield
otation 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 > wrote: >

Re: installing Doorstop on macOS (for RTEMS use)

2019-10-31 Thread Andrew Butterfield
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

2019-10-24 Thread Andrew Butterfield
that they are 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)

2019-10-24 Thread Andrew Butterfield
e 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)

2019-10-10 Thread Andrew Butterfield
utline-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

2019-09-04 Thread Andrew Butterfield
. 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 Sci

Re: installing python headers for RTEMS on OS X

2018-11-23 Thread Andrew Butterfield
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 College, University of Dublin