Diagnostics for Real Time Distributed Multi-core Architecture in Avionics - Tracing and Sampling for Real-Time partially simulated Avionics Systems

Runtime verification of real-time applications using trace data and model requirements

Anonymous — Thu, 10 Dec 2015 15:06:50 +0000

Date:

Thursday, December 10, 2015 to Friday, December 11, 2015

Event date:

Thursday, December 10, 2015

Authors' names - members:

Michel Dagenais

Raphaël Beamonte

Upload a presentation:

dorsal-pm-dec2015.pdf

Tracks concerned:

Event name:

Progress Report Meeting - Dec 2015

Tracing and Sampling for Real-Time partially simulated Avionics Systems

Anonymous — Wed, 20 May 2015 17:21:38 +0000

Date:

Tuesday, May 12, 2015 to Thursday, May 14, 2015

Event date:

Tuesday, May 12, 2015

Authors' names - members:

Michel Dagenais

Raphaël Beamonte

Upload a presentation:

dorsal-pm-may2015.pdf

Tracks concerned:

Event name:

Progress Report Meeting - May 2015

Tracing and Sampling for Real-Time partially simulated Avionics Systems

Anonymous — Sat, 20 Dec 2014 08:11:16 +0000

Date:

Wednesday, December 10, 2014 to Friday, December 12, 2014

Event date:

Thursday, December 11, 2014

Authors' names - members:

Michel Dagenais

Raphaël Beamonte

Upload a presentation:

dorsal-pm-dec2014.pdf

Tracks concerned:

Event name:

Progress Report Meeting - December 2014

Debugging Aircraft Simulation Systems at CAE

fwininger — Tue, 16 Dec 2014 20:19:17 +0000

Date:

Thursday, December 11, 2014

Event date:

Wednesday, December 10, 2014

Authors' names - members:

Abdelwahab Hamou-Lhadj

Hossein Salman

Tracks concerned:

Event name:

Progress Report Meeting - December 2014

Tracing and Sampling for Real-Time partially simulated Avionics Systems

Anonymous — Wed, 14 May 2014 20:01:24 +0000

Date:

Wednesday, May 14, 2014 to Friday, May 16, 2014

Event date:

Wednesday, May 14, 2014

Authors' names - members:

Michel Dagenais

Raphaël Beamonte

Upload a presentation:

dorsal-pm-may2014.pdf

Tracks concerned:

Event name:

Progress Report Meeting - May 2014

Tracing and Sampling for Real-Time partially simulated Avionics Systems

Anonymous — Tue, 10 Dec 2013 21:36:53 +0000

Date:

Tuesday, December 10, 2013 to Wednesday, December 11, 2013

Event date:

Tuesday, December 10, 2013

Authors' names - members:

Michel Dagenais

Raphaël Beamonte

Upload a presentation:

dorsal-pm-dec2013.pdf

Link to presentation:

http://www.dorsal.polymtl.ca/~rbeamonte/dorsal-pm-dec2013.pdf

Tracks concerned:

Event name:

Progress Report Meeting - December 2013

Non-Preempt Test v1.01

Anonymous — Fri, 18 Oct 2013 15:42:05 +0000

I just released the Non-Preempt Test (npt) version 1.01 which is
available here: http://git.dorsal.polymtl.ca/?p=npt.git

The purpose of this tool is to simulate a small real-time system that
runs with a high priority without being stopped or preempted. To do so,
it first sets its environment (cpu affinity, RT scheduler, memory locked
into RAM with mlockall) and can optionally disable the local IRQs if
compiled with the right options (not defined by default).

The core of the application is a loop that calculates the time gap
between the start of two consecutive loops using the rdtsc asm
instruction, thus a similarity with the hwlat_detector kernel module for
kernel analysis. At the end of its execution, npt computes latencies
statistics for each loop and generates a histogram showing the different
latencies reached and the number of time it reached each one.

This tool can be used to analyse and identify overhead of different
realtime applications as we can compare the latencies in each loops and
thus identify the added latency from a "blank" run. It is released
LTTng-ready and can thus be easily traced. Next versions could include
other userspace tracers ability.

Feedback, collaborations and contributions are welcome!

ChangeLog:

[v1.01]: Version 1.01
=====================
2013-10-14 Raphaël Beamonte <raphael.beamonte@gmail.com>
        * Update to v1.01 [baa45ec]
        * Remove a forgotten unuseful comment [bd5e38c]
        * Add comments for #ifdef that missed some [a793782]
        * Reorganize the tracepoint maximum frequency and windows
          mode options that both affects the spawn of tracepoints to only show
          the conditions used when one or both options are activated in the .h
          file [dec0ff4]
        * Add a configure option for the windows mode [084b581]

2013-10-13 Raphaël Beamonte <raphael.beamonte@gmail.com>
        * Move the setup for the window option in the .h file as it
          is an lttng depending option. [957aae4]
        * Update the condition used for setting the tracepoint
          frequency option in the .h file [714c7ea]
        * Move the verification of compilation with liblttng before
          other operations in the .h file [cf04473]
        * Replace the in-switch human readable time format for the
          duration option by a call to a new function for this purpose.
          [efc9b2e]
        * Correct a missing multiplication sign in the human readable
          time format function [e92c8f2]

2013-10-04 Raphaël Beamonte <raphael.beamonte@gmail.com>
* Add the windows mode to npt [91ec460]
* Add a _human_readable_microsecond function [5ad0b01]

2013-09-27 Raphaël Beamonte <raphael.beamonte@gmail.com>
        * Replace two free call by one [e5a7e3a]
        * Reorganizing global arguments per alphabetical order of
          short option [5e2681e]
        * Change the binary file destination [ae4854c]

2013-09-25 Raphaël Beamonte <raphael.beamonte@gmail.com>
* Add a --nocountloop (-n) option to change the number of
loops to discard before starting the analysis. [7d51cf3]

2013-09-20 Raphaël Beamonte <raphael.beamonte@gmail.com>
        * Change the way npt verifies if the CPU affinity asked is
          valid by checking if the given CPU value is an active CPU. [923ba59]
        * Update the configure.ac for automake 1.14 [139f8dd]

2013-07-18 Raphaël Beamonte <raphael.beamonte@gmail.com>
        * Hide the 'version.h' generation bash script [adae280]
        * Add a new gitlog2changelog.sh bash script to add a
          ChangeLog file when using make dist [e78fd03]

Date:

Friday, October 18, 2013

Software version number:

1.01

Compatible LTTng version number:

2.20

GIT repository link:

git://git.dorsal.polymtl.ca/git/npt.git

Software authors (members):

Raphaël Beamonte

Tracks concerned:

npt 1.00 released

Anonymous — Thu, 18 Jul 2013 04:19:28 +0000

The non-preempt test tool version 1.00 was released on July 6th.
This new version is available from the git tag v1.00 on git://git.dorsal.polymtl.ca/git/npt.git

ChangeLog:

[v1.00]: Version 1.00
=====================
2013-07-06 Raphaël Beamonte
* update to v1.00 [d15e935]

2013-05-12 Raphaël Beamonte
* Initialize a variable that was otherwise used before its
initialization [063aa53]

2013-05-11 Raphaël Beamonte
* Exit configure with error if libraries are not found [6f78b12]

2013-05-02 Raphaël Beamonte
* Add the sti() and cli() run condition to disable the calls when using
--allow-interrupts (-i). [5a0535f]
* Move the printf of the number of loops or duration of the run at the
start of the test. [26e669b]
* Accept human readable units for the --duration (-d) option. [8912277]
* Add a --duration (-d) option that allows to specify an amout of time
instead of an amount of loops for the stop condition of the test [e830d9b]
* Remove the unused -t (--trace) option [904123c]

2013-04-27 Raphaël Beamonte
* Add tracepoint maximum frequency option (--tp-max-freq, -f) that
takes as parameter a number of tracepoints per second. [ff72078]
* Correct indentation [ccf62f0]
* Replace the word "cycle" by "loop" for disambiguation [035595a]

2013-04-25 Raphaël Beamonte
* Reorganize short options [6961c32]
* Reorder the includes in alphabetical order [a7eff1c]
* Correct configure error when we don't want LTTng-UST on a system that
has LTTng-UST installed [a6c7baf]

2013-04-18 Raphaël Beamonte
* Add the build options information to the --version call [725d147]

2013-04-09 Raphaël Beamonte
* Add short option -e (--eval-cpu-speed) [cc934ab]

2013-04-02 Raphaël Beamonte
* Add the default value of the --loops argument in help message
[866ae11]

2013-04-01 Raphaël Beamonte
* Add --version (-V) option [f6803c0]
* Add BUILD_DATE define to be set to current date when building program
[6b183f3]
* More readable configure.ac file [011e60e]
* Change the UST configure option to become --with-lttng-ust [9b3e304]
* Add a FULL_VERSION define that allows to show the git version
information [4b9c054]
* Remove unexpected characters from configure.ac [8cb699d]
* Correct an orphan space [1457432]
* Add GPL headers to all the project files [068cae4]

2013-03-27 Raphaël Beamonte
* Correct help message for --affinity (-a) option [97d7bef]
* Add --allow-interrupts (-i) option [cd5b4a7]

2013-03-26 Raphaël Beamonte
* Move verbosity option from NPT to a configure option [b54d31d]

2013-03-27 Raphaël Beamonte
* Move global variables from npt.c to npt.h [9860415]

2013-03-26 Raphaël Beamonte
* Move UST trace option from npt.h to a configure option [6b8c909]
* Move most of the preprocessing work to include/npt/npt.h [0176ff9]
* Correct trailing tabs [adf35d0]
* Add a configure option --enable-cli-sti [4f67294]
* Create an automake package for npt [fe485f8]

Date:

Thursday, July 18, 2013

Members concerned:

Raphaël Beamonte

Type of news:

Release

Tracks concerned:

Tracing and Sampling for Real-Time partially simulated Avionics Systems

Anonymous — Fri, 03 May 2013 14:01:51 +0000

Date:

Thursday, May 2, 2013 to Friday, May 3, 2013

Event date:

Thursday, May 2, 2013

Authors' names - members:

Michel Dagenais

Raphaël Beamonte

Upload a presentation:

dorsal-pm-may2013.pdf

Tracks concerned:

Event name:

Progress report meeting - may 2013

Tracing and Sampling for Real-Time partially simulated Avionics Systems

Anonymous — Sat, 08 Dec 2012 21:33:37 +0000

Date:

Wednesday, December 5, 2012 to Friday, December 7, 2012

Event date:

Wednesday, December 5, 2012

Authors' names - members:

Michel Dagenais

Raphaël Beamonte

Upload a presentation:

dorsal-pm-dec2012.pdf

Link to presentation:

http://www.dorsal.polymtl.ca/~rbeamonte/dorsal-pm-dec2012.pdf

Tracks concerned:

Event name:

Progress Report Meeting Dec. 5-7, 2012