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
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
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"
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 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
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
Software Engineering Using Multiple Execution Models.
Mälardalen University / Articus Systems
Timed Abstract State Machine Toolset for Real-Time System
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.
Simulation of Networked and Embedded Control Systems.