Bound-T news

WCET'2010 workshop at ECRTS 2010

Sat, 20 Mar 2010 00:00:00 +0200

WCET 2010, the Tenth International Workshop on Worst-Case Execution Time Analysis will be held in Brussels, Belgium on July 6, 2010, in conjunction with the 22nd Euromicro Conference on Real-Time Systems.

Please refer to the WCET 2010 web for more information such as the Call For Papers.

Free downloads of size-limited Bound-T versions

Mon, 01 Mar 2010 00:00:00 +0200

The Bound-T website, www.bound-t.com, now offers free downloads of Bound-T. The downloadable versions of Bound-T are fully functional, but are limited in the amount of code (the number of instructions) that can be analysed at one time.

Updated Assertion Language Manual (6.4)

Sun, 07 Feb 2010 00:00:00 +0200

Version 6.4 of the Bound-T Assertion Language Manual (pdf) was published today on the Bound-T website.

Updated Bound-T example

Thu, 01 Oct 2009 00:00:00 +0300

The example of Bound-T analysis on the Bound-T web-site was updated today. The example program is changed only a little, but it is now compiled for the Intel-8051, with the SDCC compiler, and the example shows the improved graphical outputs — call graph and flow graphs — that Bound-T now generates.

The example now includes tabular output from the -table option.

Web purists may welcome the absence of HTML frames in the example.

Bound-T/8051 version 3d3

Wed, 20 May 2009 00:00:00 +0300

Version 3d3 of Bound-T/8051, the version of Bound-T for the Intel-8051 (MCS-51) processor architecture, was released today, accompanied by an update (Issue 2) of the corresponding Application Note document.

This update of Bound-T/8051 improves the modelling of the single-bit ("Boolean") instructions and the condition flags P, AC, OV in the Processor Status Word (PSW).

Updated Reference Manual

Fri, 10 Apr 2009 00:00:00 +0300

Version 6.3 of the Bound-T Reference Manual (pdf) was published today on the Bound-T website.

Announcing the find_marks program

Sat, 04 Apr 2009 00:00:00 +0300

Tidorum Ltd announces the first public version (v1) of the program find_marks, an auxiliary program to be used with Bound-T.

This is a program that finds the positions of "marks" in source-code files. The marker names can then be used in Bound-T assertions to identify the program parts (loops, calls) to which the assertions apply.

Updated Assertion Language Manual

Sat, 04 Apr 2009 00:00:00 +0300

Version 6.3 of the Bound-T Assertion Language Manual (pdf) was published today on the Bound-T website.

WCET'2009 workshop at ECRTS 2009

Mon, 09 Mar 2009 00:00:00 +0200

WCET 2009, the Ninth International Workshop on Worst-Case Execution Time Analysis will be held in Dublin, Ireland on June 30, 2009, in conjunction with the 21st Euromicro Conference on Real-Time Systems.

WCET Tool Challenge 2008: Report

Tue, 16 Sep 2008 00:00:00 +0300

The WCET Tool Challenge collects and provides benchmark programs and problems for WCET analysis and collects analysis results from the participating WCET tools.

The report from the 2008 edition of the Challenge has been finished and will be published in the proceedings of the 8th International Workshop on Worst-Case Execution Time (WCET) Analysis. A preprint report is available: abstract, report (pdf).

WCET'2008 presentation

Fri, 18 Jul 2008 00:00:00 +0300

Niklas Holsti of Tidorum Ltd presented a paper at the WCET Workshop 2008 on "Computing Time as a Program Variable: A Way Around Infeasible Paths", a new method for WCET analysis that excludes more infeasible paths than earlier methods while avoiding an explicit representation of such paths.

WCET Tool Challenge 2008

Fri, 18 Jul 2008 00:00:00 +0300

On behalf of the Challenge steeering group, Niklas Holsti of Tidorum Ltd presented a report on the status of the WCET Tool Challenge 2008, at the WCET Workshop 2008. The slides (PDF) from this presentation are now available.

WCET Tool Challenge 2008

Sat, 29 Mar 2008 00:00:00 +0200

The WCET Tool Challenge collects and provides benchmark programs and problems for WCET analysis and collects analysis results from the participating WCET tools.

Updated and reorganized User Manuals

Fri, 22 Feb 2008 00:00:00 +0200

Version 6.2 of the Bound-T User Manual was published today on the Bound-T website.

Bound-T/SPARC version 3c4

Fri, 22 Feb 2008 00:00:00 +0200

Version 3c4 of Bound-T/SPARC, the version of Bound-T for the ERC32 SPARC V7 processor, was released today.

Updated User Manual

Wed, 31 Oct 2007 00:00:00 +0200

Version 6.1 of the User Manual (pdf) was published today on the Bound-T website.

Bound-T/SPARC version 3c

Wed, 31 Oct 2007 00:00:00 +0200

Version 3c of Bound-T/SPARC, the version of Bound-T for the ERC32 SPARC V7 processor, was released today. The new version is accompanied by an updated Application Note (pdf).

Technical Notes on AOMF and Intel Hex

Thu, 27 Sep 2007 00:00:00 +0300

Two new Technical Notes were published today on the Bound-T website. These documents explain how Bound-T supports two common program-file formats: AOMF (Absolute Object Module Format) and Intel Hex.

Updated User Manual

Wed, 12 Sep 2007 00:00:00 +0300

Version 6 of the User Manual was published today on the Bound-T website.

WCET'2007 presentation

Thu, 05 Jul 2007 00:00:00 +0300

Niklas Holsti of Tidorum Ltd presented a paper at the WCET Workshop 2007 on "Analysing Switch-Case Tables by Partial Evaluation", a new method for analysing control-flow that is being implemented in Bound-T for some target processors.

The presentation slides are now available in PDF or in OpenOffice.org source form, in addition to the abstract and the full paper (pdf).

Updated documentation

Fri, 29 Jun 2007 00:00:00 +0300

Two documentation updates were published today on the Bound-T website.

Version 5 of the User Manual (pdf) describes several new command-line options, some new assertion syntax, and new forms of outputs from the analysis.

Version 4 of the SPARC/ERC32 Application Note (pdf) describes the new support for the SPARC V8 and V8E architectures in version 3b8 of Bound-T for SPARC/ERC32.

SPARC V8/V8E support

Thu, 28 Jun 2007 00:00:00 +0300

Version 3b8 of Bound-T for SPARC/ERC32 supports the SPARC V8 and V8E instructions in addition to the SPARC V7 instruction set. This means that programs for the LEON processor family can now be analysed for control-flow and stack usage. However, for timing analysis Bound-T still supports only the ERC32 processor, not the LEON processors.

Tidorum joins GAP

Mon, 04 Jun 2007 00:00:00 +0300

Tidorum Ltd today enrolled in the GNAT Academic Program (GAP) of AdaCore. Tidorum will now be able to ensure that Bound-T can analyse code generated with the GAP distribution of GNAT, the GNU Ada compiler, in particular for the SPARC/ERC32 target processor.

Several universities use GNAT GAP for teaching real-time programming. They will now have access to Bound-T for analysing the worst-case execution time of programs running on SPARC/ERC32 targets.

Switch/Case Analysis by Partial Evaluation

Sun, 03 Jun 2007 00:00:00 +0300

Niklas Holsti of Tidorum Ltd will present a paper at the WCET Workshop 2007 on "Analysing Switch-Case Tables by Partial Evaluation", a new method for analysing control-flow that is being implemented in Bound-T for some target processors.

An abstract and a preprint (pdf) are available.