Project |
ISAAC (Improvement of Safety Activities on Aeronautical Complex systems): The European Project in whose context the FSAP/NuSMV-SA platform is being developed. ESACS (Enhanced Safety Assessment for Complex Systems): The previous European Project under which the FSAP/NuSMV-SA platform was developed. |
Institutions |
ES Research Unit (Embedded Systems Research Unit). The FBK unit in which the FSAP/NuSMV-SA tool is being developed. |
Tools |
NuSMV 2. A state of the art model checker, developed at FBK, used as the engine of the FSAP/NuSMV-SA platform. |
Development and Support Tools |
MinGW. A free porting on Windows of the GNU development tools. It comes with MinSYS, that provides a shell and some common UNIX utilities. Cygwin. A free UNIX emulation layer providing substantial UNIX API functionality and a collection of ported UNIX tools. Gnuplot. A copyrighted but freely distributable command-driven interactive function program for plotting functions and data points in both two- and three-dimensional plots. FLTK. A copyrighted, but freely distributable, cross-platform C++ graphical user interface toolkit which supports 3D graphics with OpenGL®. Expat. Expat is a non-validating XML parser library written in C. M4 for Windows. M4 is a macro-processing tool. This is a port of the GNU m4 to Windows. Nullsoft install. Nullsoft install is a program for creating self-installing applications. |
Last Update: $Date: 2008/02/11 17:08:57 $