The History
The Goanna research project started as a pilot project in
2005 to investigate the applicability of static analysis
to systems software. Out of this project emerged a novel
approach to software analysis that builds on model
checking tools and techniques.
Key Outcomes
The key outcome of the project is the goanna testing and debugging tool. Goanna combines the technologies of static analysis and model checking creating a unique analysis solution. The analysis is performed quickly, often in a matter of seconds, does not require test cases or even fully developed code, reports bugs precisely and has one unique goal: Bringing higher quality software to market faster.
Publications
|
 |
Ansgar Fehnker, Ralf Huuck,
Sean Seefried, and Michael Tapp
Automatic Bug Detection in Microcontroller
Software by Static Program Analysis.
In SofSem 2009, LNCS 5404, Springer 2009. |
|
|
Ansgar Fehnker, Ralf Huuck,
Sean Seefried, and Jörg Brauer.
Goanna: Syntactic Software Model
Checking.
In ATVA 2008, LNCS 5311, Springer 2008. |
 |
|
Ansgar Fehnker, Ralf
Huuck, Felix Rauch and Sean Seefried
Analysing Embedded System
Software
Proceedings of C/C++ Verification
Workshop, Oxford, UK, July, 2007
Extended abstract |
|
|
|
Ansgar Fehnker, Ralf
Huuck, Patrick Jayet, Michel Lussenburg and Felix
Rauch
Model checking software at compile
time
Proceedings of the 1st IEEE & IFIP
International Symposium on Theoretical Aspects of
Software Engineering, Shanghai, China, June,
2007 |
 |
|
|
|
Ansgar Fehnker, Ralf
Huuck, Patrick Jayet, Michel Lussenburg and Felix
Rauch
Goanna — A Static Model
Checker
Proceedings of the 11th International Workshop
on Formal Methods for Industrial Critical
Systems, Bonn, Germany, August, 2006
Published in Lecture Notes
in Computer Science, Springer-Verlag. |
|
|
|
|
Kevin Elphinstone,
Gernot Heiser, Ralf Huuck, Stefan M. Petters and
Sergio Ruocco
L4cars
Embedded Security in Cars (escar 2005)
Workshop, Cologne, Germany, November,
2005 |
|
|
|
Gerwin Klein and Ralf
Huuck
High Assurance System Software
Proc. 10th Australian Workshop on Safety
Critical Systems and Software (SCS'05),
Sydney, Australia, August, 2005 |
|
