aiT
The results obtained on the topic of Worst-Case Execution Time, and the improvements of the AbsInt tool is one of the most important achievements of the DAEDALUS project, from both technical and industrial points of view. […] aiT is probably the best of its kind in the world, and it is justified to consider this result as a breakthrough.
DAEDALUS Project Final Review
The comparison shows that the WCET [computed by aiT] typically is about 25% higher than the measured time for the same task, the real but non-calculable WCET being in between. Another comparison is worth to mention: the one between aiT’s results and those of Airbus’ traditional method. As predicted when the decision for using aiT was made, the figures obtained by the traditional approach are a lot higher than those produced by the aiT-based method. Actually the overestimation is such that the traditional figures are useless.
Airbus France
aiT was able to handle every kind of benchmark and every test program that was tested in the [2006 WCET Tool] Challenge. aiT is able to support WCET analysis even for complex processors. […] aiT demonstrates its leading position through all its features, which contribute to its position as an industry-strength tool, satisfying the requirements from industry as posed by EADS Airbus and proven by the accomplishment in various projects.
WCET Tool Challenge 2006 Final Report
StackAnalyzer
When searching for actual products performing stack usage analysis for embedded software, the StackAnalyzer seems to be the most promising (and probably only) choice.
V. Barthelmann, University of Erlangen
aiSee
For my master thesis, I have reviewed five graph layout tools with regard to their tree visualisation capabilities. aiSee proved to be by far the most suitable one.
N. Pfaffinger, Vienna University of Technology
We have selected aiSee for its ease of use, simple installation, availability (runs under various OS), functionality and performance in rendering.
N. S. Ting and R. Deters, University of Saskatchewan
I have been using aiSee for several months and I am very happy with it. It has proven to be an easy way of displaying and manipulating graphs. I am involved in finding genes underlying genetic diseases in dogs, which may serve as models for human genetic diseases. In this context, aiSee has helped me a lot. It allows me to obtain the best layout for the complex pedigrees typical of highly inbred domestic animals. It also makes it possible to manipulate interactively the graph.
J. Aguirre-Hernández, University of Cambridge
aiSee has been very useful to me, it was just the kind of tool I was looking for when I found it! The thing I like most in aiSee is that it is very simple to start drawing graphs. You can write just a few lines of code and see how a graph is born. That’s nice!
R. Alonso, Universidad Carlos III de Madrid
We chose the aiSee software for our graph layout, because it was very easy to learn and yet provided all the flexibility to produce very informative, data-rich graphs. The generated pictures provide a powerful tool to explore the large multidimensional datasets produced by modern post-genomic technologies, such as gene expression arrays or metabolomics. Our biologist customers just love it.
R. Breitling, University of Glasgow
I like aiSee; it has many more features than the software I was using before (dot), especially when working with large graphs.
D. Wollersheim, La Trobe University
I used aiSee with basic needs for language grammar visualization (morphology). The program did the job beautifully.
J.-M. Coursimault, Xerox
aiSee is a very useful tool in compiler engineering.
G. F. Hoflehner, Intel
I would like to thank you for creating such a great node graphing software. I have been working on creating maps of the gnutella P2P network, and aiSee has outperformed every other node graphing software I have tried.
G. Bray, GnuMap
aiSee is a very useful relationship viewing tool that allows the user to explicitly define complex graphs.
C. E. Storer, Pharmacia
I must say I'm really impressed by the level of professionalism displayed by your organisation. You have really been helpful in sorting out part of the difficult aspect of my project, and I'm indeed very grateful. I'm working on my Master's project and have found aiSee to be a very robust and useful tool to me. I would gladly acknowledge you in my dissertation for the invaluable help you've rendered.
O. Komolafe, University of Aberdeen
I am really impressed with your service. On two previous occasions you have promptly replied to my queries and even sent an example GDL file when I asked for it. Keep up the good work.
S. Ravichandran, Dubai
I have been looking into aiSee and I like everything so far. In particular I am impressed by the enhancements made since VCG, especially the subgraph folding utilities and the support for hierarchical graph views.
Y. M El Fattah, Rockwell
I downloaded aiSee, because I heard that it is one of the most powerful graph drawing tools in the world, and it is great. Great!
J. Duke, Etri
Developing complex software systems such as highly optimizing compilers is not to be taken lightly. As the complexity of projects grows, it becomes more and more difficult to maintain a proper perspective on all relations and interactions. This is when a good visualization tool can come in handy, providing a better understanding of how complex systems really behave by means of graphs in many flavors. […] aiSee can be very instrumental in evaluating the effectiveness of a particular (own-developed) analysis, or optimization engine.
ACE Associated Compiler Experts
