Last modified on June 2, 2009, 1:55 pm

RTiS 2007
Call for papers
Important dates
Keynote speakers
Tool exhibitionNEW
Local information
Contact RTiS

Supported by:

Tool exhibition

ARTiSAN Studio

ARTiSAN Studio is an integrated suite of UML® modeling tools targeted to meet the development needs of technical systems, embracing the latest UML 2.1 and OMG SysML TM standards, it is the tool of choice for complex mission-critical systems and software engineering.

ARTiSAN Studio is highly scaleable and suitable for use on small and large technical projects. Its proven multi-user repository provides a stable, robust working environment ensuring high availability of model information, while securing all valuable data. Engineering teams using Studio’s powerful suite of tools can model systems and software, document legacy systems, and generate new code with complete control.

ARTiSAN Studio is non-intrusive and flexible, mandating neither a specific methodology nor process. Recognizing the importance of your existing assets we’ve ensured seamless and open integration with your tools of choice. With many years of customer-led enhancements, ARTiSAN Studio is a mature development environment and a proven solution for thousands of developers and development teams.

For more information please visit ARTiSAN at or the Nordic representative InfoTech

Bound-T - Execution Time Analyzer

Embedded real-time programs have tight time and space constraints. It is important to verify that these constraints are met, as failing to meet them may have serious consequences. The Bound-T tool uses static analysis of machine code to compute bounds on Worst-Case Execution Time (WCET) and stack usage. Bound-T is mainly aimed at the smaller 8- and 16-bit microcontrollers but also supports some 32-bit processors such as the ERC32 (SPARC V7).

Starting from the compiled and linked executable for the target system Bound-T reads and decodes the instructions and connects them into control-flow graphs and call graphs. Bound-T then analyses the data-flow and computations to find bounds on the number of loop iterations, including some inter-procedural analysis for parameter-dependent loop-bounds. Bound-T models the worst-case execution time of each instruction, including pipeline effects and memory accesses (but not, at present, cache effects or bus contention effects). Finally Bound-T uses Integer Linear Programming to find an upper bound on the total execution time (WCET) that corresponds to the longest path through the control-flow graph.

As another application of the data-flow analysis Bound-T can compute an upper bound on the stack usage and show the corresponding "deepest" call-path.

Basic limitations on undecidability limit the analysis to programs with a suitable form. There are also pragmatic limitations, for example that the program must not be recursive. For complex loops and other complex but important logical constraints on the control-flow Bound-T provides a flexible assertion language by which the user can specify the execution scenarios to be analysed.

For more on Bound-T, see

Virtutech Simics

Virtutech Simics is a flexible and scalable software solution that models electronic systems with high performance and fidelity. Simics provides the means for corporations to improve their product development lifecycle from bring-up to deployment.

The core functionality of Simics is the ability to simulate any electronic system, regardless of the processors used and the devices and networks present in the system. The simulation is fast enough to run real software workloads, and precise enough to run the same binaries as the physical target system.

Simics is used to replace and augment physical hardware for software development, especially for embedded systems. Customers include AMD, Ericsson, Freescale, IBM, Sun, Cisco, Iridium, General Dynamics, Smiths, and Northop Grumman. Simics is also used at several hundred universities world-wide, for both research and education.

For more on Simics, visit Virtutech at

For more on simulation of embedded systems, please read the article at

MultEx Tool-set

Software Engineering Using Multiple Execution Models.

Mälardalen University / Articus Systems


Timed Abstract State Machine Toolset for Real-Time System Engineering.

Massachusetts Institute of Technology / Mälardalen University


A tool enabling execution and test of embedded systems software on a standard PC.

Mimer SQL Real-Time Edition

A Database for Embedded Real-Time Systems

Mimer Information Technology


Accelerated Troubleshooting of Embedded Software.

ZealCore Embedded Solutions


The Rule and Event eXplorer.

Skövde University


Simulation of Networked and Embedded Control Systems.

Lund University

Web page hosted at Department of Computer Science and Electronics,
Mälardalen University, Sweden. Webmasters: Damir Isovic and Andreas Ermedahl
This page has been accessed 3105 times.