Dear Andrew,
It's great to see a move toward formal verification for RTEMS.
>From our side (TU Dortmund in Germany and the University of Twente in the
Netherlands), we recently adopted Frama-C to verify ICPP and MrsP. A
potential deadlock is successfully identified, and a remedy is provided.
The
errill wrote:
>
>
> On Tue, Sep 13, 2022, 1:14 PM Kuan-Hsun Chen wrote:
>
>> (Oh, I just noticed that the patch was submitted faster than my mail to
>> share this patch :P).
>>
>
> No problem. That's why I asked what the issue was.
>
> It needs at lea
Hello Ida,
It would be great if you make a README.md at
https://github.com/Idadelveloper/rtems/tree/master/hooks to guide potential
users how to use your pre-commit hook and provide some examples.
I tried to find the information from your blog, but the update stopped at
the second week (https://i
Hello all,
I answer myself... my path was polluted unintendedly by 4.11 toolchains :/
With the latest RSB and the latest RTEMS 6 source code, everything goes
well for realview_pbx_a9_qemu_smp.
Best,
Kuan-Hsun
On Wed, Jul 1, 2020 at 3:24 PM Kuan-Hsun Chen wrote:
> Hello all,
>
> I
Hello all,
I tried to build RTEMS 5 and RTEMS 6 via RSB on Debian. It seems to me that
libtests in testsuites use rtems-bin2c with option "-N" which is not
supported anymore:
rtems-bin2c -N dl06_tar -C dl06-pre.tar dl06-pre-tar.c
usage: bin2c [-csvzCH]
is the binary file to convert
should
020 12:24, Kuan-Hsun Chen wrote:
>
> >
> > Just a relevant comment. I don't have this problem with arm-rtems
> > during the build.
> With a GCC 10 host compiler?
>
___
devel mailing list
devel@rtems.org
http://lists.rtems.org/mailman/listinfo/devel
Hello,
Just a relevant comment. I don't have this problem with arm-rtems during
the build.
Best,
Kuan-Hsun
On Wed, Jul 1, 2020 at 11:30 AM Sebastian Huber <
sebastian.hu...@embedded-brains.de> wrote:
> Hello,
>
> the GDB error is:
>
> https://sourceware.org/pipermail/gdb/2020-July/048772.html
Hi Richi,
If you just want to build the testsuites in sptest, you have to add an
option like "-enable-tests=yes" when you call ./configure.
Please have a look at git/rtems/testsuites/configure.ac, you should see
Line 48 has this condition.
(Just dig out my patch here:
https://lists.rtems.org/pipe
Hello all,
I just notice that https://www.rtems.org/ page has a link point to, which
is missing:
https://devel.rtems.org/wiki/TBR/Website/Mission_Statement
I am writing some descriptions regarding RTEMS at meanwhile, should I just
report here or directly update the website somehow?
Best,
Kuan-Hs
Hi Joel and Sebastian,
I can do both. The provided patch was essentially for all users of RTEMS,
so both are fine to me.
Best,
Kuan-Hsun
On Fri, Mar 6, 2020 at 3:02 PM Sebastian Huber <
sebastian.hu...@embedded-brains.de> wrote:
> On 06/03/2020 14:50, Joel Sherrill wrote:
>
> > Awesome and than
Hello all,
As asked by Sebastian, I hereby claim to give the permission to add the
BSD-2-Clause license as an alternative license to my contributions to the
RTEMS documentation (See
https://docs.rtems.org/branches/master/c-user/index.html) for further reuse.
*I apologize if you get the repeated m
maximumUtilization = maximumTasks * (2^{\frac{1}{maximumTasks}} - 1)
>>
>> As the number of tasks increases, the above formula approaches ln(2) for
>> a
>> worst-case utilization factor of approximately 0.693. Many tasks sets
>> can be
>> --
>> 1.8.3.1
>>
>&g
C
> FEoiJ3HdxyrrQ&e=
> ___
> devel mailing list
> devel@rtems.org
> http://lists.rtems.org/mailman/listinfo/devel
>
--
M.Sc. Kuan-Hsun Chen
TU Dortmund
Department of Computer Science 12
Design Automation of
> >>>> >>> be assigned to one of the mentors if indicated, with others in CC
> if
> >>>> >>> any, or else set blank.
> >>>> >>>
> >>>> >>
> >>>> >> I agree it would be nice to get al
iendly bug that I can be assigned? I would like
> to get involved and learn more about RTEMS.
> Thank you.
> Regards,
> Tanu Hari Dixit
> ___
> devel mailing list
> devel@rtems.org
> http://lists.rtems.org/mailman/listinfo/devel
>
On Mon, Jan 30, 2017 at 1:34 PM, Kuan-Hsun Chen wrote:
> > Instead of using the target time and console driver,
> > both tests now use assertions and rtems_rate_monotonic_get_status() to
> verify the count of postponed jobs.
> > The setting of spedfsched04 is sli
of job 3 is no longer periodic.
+ * normal status at Job 9.
+ * Otherwise, the release time of job 3 is no longer periodic
+ * and there is no more postponed jobs.
*
*/
/*
- * COPYRIGHT (c) 2016 Kuan-Hsun Chen.
+ * COPYRIGHT (c) 2016-2017 Kuan-Hsun Chen.
*
* The license and
The end of the comment should be "close #2885".
I saw that the ticket was closed as well.
2017-01-30 8:16 GMT+01:00 Sebastian Huber <
sebastian.hu...@embedded-brains.de>:
> Thanks, I checked this in with sp78 renamed to sprmsched02.
>
> On 27/01/17 23:15, Kuan-Hsun C
Aha, now v4 should be fine. I remove a typo.
2017-01-27 22:27 GMT+01:00 Gedare Bloom :
> The acinclude came back
>
> On Fri, Jan 27, 2017 at 3:03 PM, Kuan-Hsun Chen wrote:
> > Prepare a precondition to prevent the potential integer overflow.
> >
> > Remove
Corporation (OAR).
*
- * COPYRIGHT (c) 2016 Kuan-Hsun Chen.
+ * COPYRIGHT (c) 2016-2017 Kuan-Hsun Chen.
*
* The license and distribution terms for this file may be
* found in the file LICENSE in this distribution or at
@@ -24,13 +24,16 @@
static void _Rate_monotonic_Renew_deadline
.
* On-Line Applications Research Corporation (OAR).
*
- * COPYRIGHT (c) 2016 Kuan-Hsun Chen.
+ * COPYRIGHT (c) 2016-2017 Kuan-Hsun Chen.
*
* The license and distribution terms for this file may be
* found in the file LICENSE in this distribution or at
@@ -24,13 +24,16 @@
static void
Corporation (OAR).
*
- * COPYRIGHT (c) 2016 Kuan-Hsun Chen.
+ * COPYRIGHT (c) 2016-2017 Kuan-Hsun Chen.
*
* The license and distribution terms for this file may be
* found in the file LICENSE in this distribution or at
@@ -24,13 +24,16 @@
static void _Rate_monotonic_Renew_deadline
.
* On-Line Applications Research Corporation (OAR).
*
- * COPYRIGHT (c) 2016 Kuan-Hsun Chen.
+ * COPYRIGHT (c) 2016-2017 Kuan-Hsun Chen.
*
* The license and distribution terms for this file may be
* found in the file LICENSE in this distribution or at
@@ -24,13 +24,16 @@
static void
ease reach
> out to me so I remember to invite you!
>
> Gedare
>
> [1] https://devel.rtems.org/wiki/Developer/OpenProjects
> ___
> devel mailing list
> devel@rtems.org
> http://lists.rtems.org/mailman/listinfo/devel
>
--
M.Sc. Ku
I accidentally add c/src/lib/libbsp/powerpc/acinclude.m4 into the comment.
Now ticket 2885 should be close. The previous patch has a typo in the
comment I hotfix in this patch.
2017-01-26 18:02 GMT+01:00 Kuan-Hsun Chen :
> Prepare a precondition to prevent the potential integer overf
.
* On-Line Applications Research Corporation (OAR).
*
- * COPYRIGHT (c) 2016 Kuan-Hsun Chen.
+ * COPYRIGHT (c) 2016-2017 Kuan-Hsun Chen.
*
* The license and distribution terms for this file may be
* found in the file LICENSE in this distribution or at
@@ -24,13 +24,16 @@
static void
Some references for arbitrary deadline model are not included in C-user,
since there is no explicit concept about arbitrary and soft real-time yet.
2017-01-26 14:48 GMT+01:00 Kuan-Hsun Chen :
> State the limited count of postponed_jobs.
> Update _rtems_rate_monotonic_get_status() and r
st
+++ b/c-user/rate_monotonic_manager.rst
@@ -2,6 +2,7 @@
.. COMMENT: COPYRIGHT (c) 1988-2008.
.. COMMENT: On-Line Applications Research Corporation (OAR).
+.. COMMENT: COPYRIGHT (c) 2017 Kuan-Hsun Chen.
.. COMMENT: All rights reserved.
Rate Monotonic Manager
@@ -169,10 +170,12 @@ Rate
Got it! I am doing the documentation now.
About #2885 ticket:
Is there any formal way to modify "the_period->postponed_jobs" by hand in
user-space?
Besides this step to avoid extremely long test run times, the overflow test
(sp78) is almost done.
2017-01-26 10:01 GMT+01:00 Sebastian Huber :
>
ms/include/rtems/rtems/ratemon.h
@@ -23,7 +23,7 @@
/* COPYRIGHT (c) 1989-2009, 2016.
* On-Line Applications Research Corporation (OAR).
- * COPYRIGHT (c) 2016 Kuan-Hsun Chen.
+ * COPYRIGHT (c) 2016-2017 Kuan-Hsun Chen.
*
* The license and distribution terms for this file may be
* found i
.
4. Test sp78 will be prepared for testing the potential overflow.
5. The mentioned papers in #2795 will be added into references as well.
Please let me know if I miss anything for these two tickets.
Best,
Kuan-Hsun
2017-01-25 17:56 GMT+01:00 Kuan Hsun Chen :
> This is the patch for #2
This is the patch for #2885 ticket.
2017-01-25 16:18 GMT+01:00 Kuan-Hsun Chen :
> Add a variable named "count" in rtems_rate_monotonic_period_status
> structure
> Revise rtems_rate_monotonic_get_status() for the postponed job count.
>
> sptests/sp69: Revise
> Ad
Hi Gedare,
Thanks a lot.
I should read all the documents again...
Best,
Kuan-Hsun
2017-01-25 17:16 GMT+01:00 Gedare Bloom :
> On Wed, Jan 25, 2017 at 9:16 AM, Kuan Hsun Chen wrote:
> > Hi Sebastian,
> >
> > Okay. I will clarify it.
> >
> > I used git format-p
Hi all,
Like sp71 and sp77. I will prepare sp78 for this overflow testing.
Best,
Kuan-Hsun
2017-01-25 16:10 GMT+01:00 Kuan Hsun Chen :
> Hi Sebastian,
>
> Should I test the overflow condition together with sp69 or prepare a new
> test for this matter?
>
> Best,
> Kuan-Hsun
tems/rtems/ratemon.h
@@ -23,7 +23,7 @@
/* COPYRIGHT (c) 1989-2009, 2016.
* On-Line Applications Research Corporation (OAR).
- * COPYRIGHT (c) 2016 Kuan-Hsun Chen.
+ * COPYRIGHT (c) 2016-2017 Kuan-Hsun Chen.
*
* The license and distribution terms for this file may be
* found in the file LICEN
Hi Sebastian,
Should I test the overflow condition together with sp69 or prepare a new
test for this matter?
Best,
Kuan-Hsun
2017-01-25 15:53 GMT+01:00 Sebastian Huber <
sebastian.hu...@embedded-brains.de>:
>
>
> On 25/01/17 15:48, Kuan-Hsun Chen wrote:
>
>> -
@@ -9,7 +9,7 @@
* COPYRIGHT (c) 1989-2009.
* On-Line Applications Research Corporation (OAR).
*
- * COPYRIGHT (c) 2016 Kuan-Hsun Chen.
+ * COPYRIGHT (c) 2017 Kuan-Hsun Chen.
*
* The license and distribution terms for this file may be
* found in the file LICENSE in this distribution or
.hu...@embedded-brains.de>:
> Please use the standard Git commit message format.
>
>
> On 25/01/17 15:04, Kuan-Hsun Chen wrote:
>
>> sptests/sp69: Revise
>> Add in the verification of the postponed job count for
>> rtems_rate_monotonic_get_status().
>> ---
&g
+9,7 @@
* COPYRIGHT (c) 1989-2009.
* On-Line Applications Research Corporation (OAR).
* Copyright (c) 2016 embedded brains GmbH.
+ * Copyright (c) 2016 Kuan-Hsun Chen.
*
* The license and distribution terms for this file may be
* found in the file LICENSE in this distribution or at
gt; Hello Kuan-Hsun,
>
> thanks for your prompt feedback. I checked in a patch that fixes one issue:
>
> https://devel.rtems.org/changeset/1240aade5a35c4e8c43d5409e2
> 329eeb6a173299/rtems
>
> On 24/01/17 14:27, Kuan Hsun Chen wrote:
>
>> Hi Sebastian,
>>
>>
t; E-Mail : sebastian.hu...@embedded-brains.de
> PGP : Public key available on request.
>
> Diese Nachricht ist keine geschäftliche Mitteilung im Sinne des EHUG.
>
> ___
> devel mailing list
> devel@rtems.org
> http://lists.rt
:
> On Fri, Dec 9, 2016 at 11:21 AM, Kuan-Hsun Chen wrote:
> > Three additional functions:
> > RM_Postponed_num, RM_Renew_deadline, and RM_Release_postponedjob.
> >
> > Four refined functions:
> > RM_Activate, RM_Block_while_expired, rtems_ra
---
c-user/rate_monotonic_manager.rst | 30 +-
1 file changed, 17 insertions(+), 13 deletions(-)
diff --git a/c-user/rate_monotonic_manager.rst
b/c-user/rate_monotonic_manager.rst
index 8ad74e5..9ba22a5 100644
--- a/c-user/rate_monotonic_manager.rst
+++ b/c-user/rate_
rate monotonic timer
* - conclude current and start the next period
* - obtain status information on a period
+ * - obtain the number of postponed jobs
*/
/* COPYRIGHT (c) 1989-2009, 2016.
* On-Line Applications Research Corporation (OAR).
+ * COPYRIGHT (c) 2016 Kuan-Hsun Chen
new file mode 100644
index 000..b1401e6
--- /dev/null
+++ b/testsuites/sptests/spedfsched04/init.c
@@ -0,0 +1,70 @@
+/**
+ * @file spedfsched04/init.c
+ *
+ * @brief A init task body for spedfsched04 example.
+ *
+ */
+
+/*
+ * COPYRIGHT (c) 2016 Kuan-Hsun Chen.
+ *
+ * The license and
@@
+/**
+ * @file sprmsched01/init.c
+ *
+ * @brief A init task body for sprmsched01 example.
+ *
+ */
+
+/*
+ * COPYRIGHT (c) 2016 Kuan-Hsun Chen.
+ *
+ * The license and distribution terms for this file may be
+ * found in the file LICENSE in this distribution or at
+ * http://www.rtems.com/license
Hello Gedare,
Thanks, I will check the content of the patches again.
Best,
Kuan-Hsun
2016-12-20 22:57 GMT+01:00 Gedare Bloom :
> On Tue, Dec 20, 2016 at 4:53 PM, Kuan Hsun Chen wrote:
> > Hi Gedare,
> >
> > I want to hold copyright. How should I do?
> >
> This
Hi Gedare,
I want to hold copyright. How should I do?
Best,
Kuan-Hsun
2016-12-20 22:51 GMT+01:00 Gedare Bloom :
> On Fri, Dec 9, 2016 at 11:40 AM, Kuan-Hsun Chen wrote:
> > ---
> > testsuites/sptests/Makefile.am | 2 +
> > testsuites
/init.c
new file mode 100644
index 000..e0847db
--- /dev/null
+++ b/testsuites/sptests/spedfsched04/init.c
@@ -0,0 +1,70 @@
+/**
+ * @file spedfsched04/init.c
+ *
+ * @brief A init task body for spedfsched04 example.
+ *
+ */
+
+/*
+ * COPYRIGHT (c) 2016 Kuan-Hsun Chen, TU Dortmund University (TUDo
sprmsched01 example.
+ *
+ */
+
+/*
+ * COPYRIGHT (c) 2016 Kuan-Hsun Chen, TU Dortmund University (TUDo).
+ *
+ * The license and distribution terms for this file may be
+ * found in the file LICENSE in this distribution or at
+ * http://www.rtems.com/license/LICENSE.
+ */
+
+#ifdef HAVE_CONFIG_H
---
c-user/rate_monotonic_manager.rst | 30 +-
1 file changed, 17 insertions(+), 13 deletions(-)
diff --git a/c-user/rate_monotonic_manager.rst
b/c-user/rate_monotonic_manager.rst
index 8ad74e5..292e4bc 100644
--- a/c-user/rate_monotonic_manager.rst
+++ b/c-user/rate_
@@
/* COPYRIGHT (c) 1989-2009, 2016.
* On-Line Applications Research Corporation (OAR).
+ * COPYRIGHT (c) 2016 Kuan-Hsun Chen, TU Dortmund University (TUDo).
*
* The license and distribution terms for this file may be
* found in the file LICENSE in this distribution or at
@@ -194,11 +195,6 @@ typedef
gt;>>
>>> Hi
>>>
>>> I was preparing an RTEMS status presentation and wondered
>>> what the status of networking was on both these platforms.
>>>
>>> Thanks.
>>>
>>> --joel
>>> _____
Workshop mixed-criticality
2016 along with RTSS'16 this year.
Please kindly consider my enhancement and let me know what I can do further.
Cheers,
Kuan-Hsun
[1] Chen et al, Overrun Handling for Mixed-Criticality Support in RTEMS,
WMC'16, accepted.
--
M.Sc. Kuan-Hsun Chen
TU Dortmund
Dep
54 matches
Mail list logo
