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

RTiS 2007
 
Call for papers
Submission
Important dates
Registration
Program
Keynote speakers
Tool exhibitionNEW
Local information
Dinner
Organization
 
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 www.artisansw.com or the Nordic representative InfoTech www.infotechconsulting.se.


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 http://www.bound-t.com/.


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 www.virtutech.com

For more on simulation of embedded systems, please read the article at Embedded.com: http://www.embedded.com/showArticle.jhtml?articleID=199501500


MultEx Tool-set

Software Engineering Using Multiple Execution Models.

http://www.mrtc.mdh.se/projects/multex

Mälardalen University / Articus Systems


TASM

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

http://esl.mit.edu/tasm/

Massachusetts Institute of Technology / Mälardalen University


CCSimTech

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

http://www.cc-systems.com/en/index.php?option=content&task=view&id=85


Mimer SQL Real-Time Edition

A Database for Embedded Real-Time Systems

http://www.mimer.com/

Mimer Information Technology


ZealCore

Accelerated Troubleshooting of Embedded Software.

http://www.zealcore.com/

ZealCore Embedded Solutions


REX

The Rule and Event eXplorer.

http://www.iki.his.se/~erii/REX/

Skövde University


TrueTime

Simulation of Networked and Embedded Control Systems.

http://www.control.lth.se/truetime

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.