Projects.Home History

Hide minor edits - Show changes to output - Cancel

Changed lines 1-3 from:
(:title Projects :)

!!! Projects in which nuXmv has been used
to:
(:title Related Projects :)
Changed line 26 from:
%rfloat This page is in continuous evolution. height=50px% {$TopLevelUrl}/images/uc.gif
to:
(:comment %rfloat This page is in continuous evolution. height=50px% {$TopLevelUrl}/images/uc.gif :)
Changed line 5 from:
This is an incomplete list of projects using this tool.
to:
This page contains the list of projects where nuXmv has been used.
Added lines 2-3:

!!! Projects in which nuXmv has been used
Added line 7:
  * %newwin% [[http://safecer.eu/|SafeCer]] Safety Certification of Software-Intensive Systems with Reusable Components
Added line 15:
  * %newwin% [[https://es-static.fbk.eu/projects/forever|FOREVER]] Functional Requirements and Verification Techniques for the Software Reference Architecture
Added lines 6-8:
  * %newwin% [[http://www.d-mils.org/|D-MILS]] Distributed MILS analysis
  * FAME -- FDIR Development and Verification & Validation Process
  * HASDEL -- Hardware-Software Dependability for Launchers
Deleted lines 10-11:
  * %newwin% [[https://es.fbk.eu/index.php?n=Projects.MISSA| MISSA]] More Integrated and cost efficient Systems Safety Assessment
  * VELOS
Added lines 14-15:
  * %newwin% [[https://es.fbk.eu/index.php?n=Projects.MISSA| MISSA]] More Integrated and cost efficient Systems Safety Assessment
  * %newwin% [[http://link.springer.com/chapter/10.1007%2F978-3-642-31424-7_29|VELOS]] Verification of Logica di Sicurezza
Deleted lines 2-3:
%rfloat height=100px% {$TopLevelUrl}/images/uc.gif
Changed lines 17-19 from:
  * %newwin% [[http://www.prosyd.org | PROSYD]] PROperty based SYstem Design
to:
  * %newwin% [[http://www.prosyd.org | PROSYD]] PROperty based SYstem Design

%rfloat This page is in continuous evolution. height=50px% {$TopLevelUrl}/images/uc.gif
June 12, 2011, at 08:05 PM by 94.39.213.133 -
Added lines 2-3:

%rfloat height=100px% {$TopLevelUrl}/images/uc.gif
June 12, 2011, at 04:13 PM by 94.39.213.133 -
Changed lines 3-4 from:
This is an incomplete list of projects using the extended version of [[http://nusmv.fbk.eu|NuSMV]].
to:
This is an incomplete list of projects using this tool.
Deleted lines 10-11:
  * %newwin% [[https://es.fbk.eu/index.php?n=Projects.ACube| ACube]] Ambient Aware Assistance
June 12, 2011, at 03:32 PM by 94.39.213.133 -
Changed line 1 from:
(: Projects :)
to:
(:title Projects :)
June 12, 2011, at 03:32 PM by 94.39.213.133 -
Changed line 3 from:
This is an incomplete list of projects using the extended version of NuSMV.
to:
This is an incomplete list of projects using the extended version of [[http://nusmv.fbk.eu|NuSMV]].
June 12, 2011, at 03:31 PM by 94.39.213.133 -
Added lines 1-19:
(: Projects :)

This is an incomplete list of projects using the extended version of NuSMV.

* Current
  * AUTOGEF Dependability design approach for critical flight software
  * IRONCAP Innovative Rover Operations Concept -- Autonomous Planning
  * %newwin% [[https://es.fbk.eu/index.php?n=Projects.MISSA| MISSA]] More Integrated and cost efficient Systems Safety Assessment
  * VELOS
  * %newwin% [[http://compass.informatik.rwth-aachen.de/|COMPASS]] Correctness, Modeling and Performance of Aerospace Systems
  * %newwin% [[https://es.fbk.eu/index.php?n=Projects.ACube| ACube]] Ambient Aware Assistance


* Past
  * %newwin% [[https://es.fbk.eu/index.php?n=Projects.COCONUT| COCONUT]] A Correct-by-Construction Workbench for Design and Verification of Embedded Systems
  * %newwin% [[https://es.fbk.eu/index.php?n=Projects.OMCARE| OMC-ARE]] On board Model Checking Autonomous Resoning Engine
  * %newwin% [[http://es.fbk.eu/projects/eurailcheck| EURAILCHECK]] ERA project on the formalization and validation of ETCS
  * %newwin% [[http://www.omnys.com/english/research-innovation/s3ms | S3MS]] Security of Software and Services for Mobile Systems
  * %newwin% [[http://www.prosyd.org | PROSYD]] PROperty based SYstem Design