Projects.Home History

Hide minor edits - Show changes to output - Cancel

Changed line 23 from:
  * %newwin% [[http://www.d-mils.org/|D-MILS]]: Distributed MILS analysis
to:
  * %newwin% [[http://www.d-mils.org/|D-MILS]]: Distributed MILS for Dependable Information and Communication Infrastructure
Changed line 10 from:
  * %newwin% [[http://amass-ecsel.eu/|Amass]]
to:
  * %newwin% [[http://amass-ecsel.eu/|Amass]]: Architecture-driven, Multi-concern and Seamless Assurance and Certification of Cyber-Physical Systems
Added line 10:
  * %newwin% [[http://amass-ecsel.eu/|Amass]]
Added line 10:
  * %newwin% [[http://www.citadel-project.org/|CITADEL]]
Deleted line 8:
  * %newwin% [[http://safecer.eu/|SafeCer]]: Safety Certification of Software-Intensive Systems with Reusable Components
Added line 20:
  * %newwin% [[http://safecer.eu/|SafeCer]]: Safety Certification of Software-Intensive Systems with Reusable Components
Deleted line 12:
  * %newwin% [[http://www.d-mils.org/|D-MILS]]: Distributed MILS analysis
Added lines 16-17:
  * %newwin% [[http://es.fbk.eu/projects/omc-are-board-model-checking-autonomous-resoning-engine| OMC-ARE]]: On board Model Checking Autonomous Reasoning Engine
  * %newwin% [[https://es.fbk.eu/projects/ironcap-innovative-rover-operations-concept-autonomous-planning|IRONCAP]]: Innovative Rover Operations Concept -- Autonomous Planning
Changed lines 21-22 from:
  * %newwin% [[http://es.fbk.eu/projects/omc-are-board-model-checking-autonomous-resoning-engine| OMC-ARE]]: On board Model Checking Autonomous Reasoning Engine
  * %newwin% [[https://es.fbk.eu/projects/ironcap-innovative-rover-operations-concept-autonomous-planning|IRONCAP]]: Innovative Rover Operations Concept -- Autonomous Planning
to:
  * %newwin% [[http://www.d-mils.org/|D-MILS]]: Distributed MILS analysis
Changed line 19 from:
  * %newwin% [[https://es-static.fbk.eu/projects/fame|HASDEL]]: Hardware-Software Dependability for Launchers
to:
  * %newwin% [[https://es-static.fbk.eu/projects/hasdel|HASDEL]]: Hardware-Software Dependability for Launchers
Changed line 8 from:
  * %newwin% [[http://www.d-mils.org/|D-MILS]]: Distributed MILS analysis
to:
Added line 13:
  * %newwin% [[http://www.d-mils.org/|D-MILS]]: Distributed MILS analysis
Changed lines 10-11 from:
  * Catsy: Catalog of System Properties
to:
  * %newwin% [[https://es.fbk.eu/projects/catsy|Catsy]]: Catalog of System Properties
Changed line 18 from:
  * HASDEL: Hardware-Software Dependability for Launchers
to:
  * %newwin% [[https://es-static.fbk.eu/projects/fame|HASDEL]]: Hardware-Software Dependability for Launchers
Changed line 3 from:
%rfloat height=100px% {$TopLevelUrl}/images/uc.gif
to:
(:comment %rfloat height=100px% {$TopLevelUrl}/images/uc.gif :)
Changed lines 8-9 from:
  * %newwin% [[http://www.d-mils.org/|D-MILS]] Distributed MILS analysis
  * %newwin% [[http://safecer.eu/|SafeCer]] Safety Certification of Software-Intensive Systems with Reusable Components
to:
  * %newwin% [[http://www.d-mils.org/|D-MILS]]: Distributed MILS analysis
  * %newwin% [[http://safecer.eu/|SafeCer]]: Safety Certification of Software-Intensive Systems with Reusable Components
Added lines 8-9:
  * %newwin% [[http://www.d-mils.org/|D-MILS]] Distributed MILS analysis
  * %newwin% [[http://safecer.eu/|SafeCer]] Safety Certification of Software-Intensive Systems with Reusable Components
Changed line 11 from:
  * %newwin% [[https://es.fbk.eu/index.php?n=Projects.MISSA| MISSA]]: More Integrated and cost efficient Systems Safety Assessment
to:
  * %newwin% [[http://www.missa-fp7.eu| MISSA]]: More Integrated and cost efficient Systems Safety Assessment
Changed lines 13-15 from:
  * %newwin% [[http://compass.informatik.rwth-aachen.de/|COMPASS]]: Correctness, Modeling and Performance of Aerospace Systems
  * %newwin% [[https://es-static.fbk.eu/projects/autogef/|AUTOGEF]]: Dependability design approach for critical flight software
  * FAME: FDIR Development and Verification & Validation Process
to:
  * %newwin% [[http://compass.informatik.rwth-aachen.de|COMPASS]]: Correctness, Modeling and Performance of Aerospace Systems
  * %newwin% [[https://es-static.fbk.eu/projects/autogef|AUTOGEF]]: Dependability design approach for critical flight software
  * %newwin% [[https://es-static.fbk.eu/projects/fame|FAME]]: FDIR Development and Verification & Validation Process
Changed line 18 from:
  * IRONCAP: Innovative Rover Operations Concept -- Autonomous Planning
to:
  * %newwin% [[https://es.fbk.eu/projects/ironcap-innovative-rover-operations-concept-autonomous-planning|IRONCAP]]: Innovative Rover Operations Concept -- Autonomous Planning
Changed line 17 from:
  * %newwin% [[https://es.fbk.eu/index.php?n=Projects.OMCARE| OMC-ARE]]: On board Model Checking Autonomous Reasoning Engine
to:
  * %newwin% [[http://es.fbk.eu/projects/omc-are-board-model-checking-autonomous-resoning-engine| OMC-ARE]]: On board Model Checking Autonomous Reasoning Engine
Changed line 17 from:
  * %newwin% [[https://es.fbk.eu/index.php?n=Projects.OMCARE| OMC-ARE]]: On board Model Checking Autonomous Resoning Engine
to:
  * %newwin% [[https://es.fbk.eu/index.php?n=Projects.OMCARE| OMC-ARE]]: On board Model Checking Autonomous Reasoning Engine
Changed lines 8-9 from:
  * Catsy Catalog of System Properties
to:
  * Catsy: Catalog of System Properties
Changed lines 11-18 from:
  * %newwin% [[https://es.fbk.eu/index.php?n=Projects.MISSA| MISSA]] More Integrated and cost efficient Systems Safety Assessment
  * %newwin% [[http://es.fbk.eu/projects/eurailcheck| EURAILCHECK]] ERA project on the formalization and validation of ETCS
  * %newwin% [[http://compass.informatik.rwth-aachen.de/|COMPASS]] Correctness, Modeling and Performance of Aerospace Systems
  * %newwin% [[https://es-static.fbk.eu/projects/autogef/|AUTOGEF]] Dependability design approach for critical flight software
  * FAME -- FDIR Development and Verification & Validation Process
  * HASDEL -- Hardware-Software Dependability for Launchers
  * %newwin% [[https://es.fbk.eu/index.php?n=Projects.OMCARE| OMC-ARE]] On board Model Checking Autonomous Resoning Engine
  * IRONCAP Innovative Rover Operations Concept -- Autonomous Planning
to:
  * %newwin% [[https://es.fbk.eu/index.php?n=Projects.MISSA| MISSA]]: More Integrated and cost efficient Systems Safety Assessment
  * %newwin% [[http://es.fbk.eu/projects/eurailcheck| EURAILCHECK]]: ERA project on the formalization and validation of ETCS
  * %newwin% [[http://compass.informatik.rwth-aachen.de/|COMPASS]]: Correctness, Modeling and Performance of Aerospace Systems
  * %newwin% [[https://es-static.fbk.eu/projects/autogef/|AUTOGEF]]: Dependability design approach for critical flight software
  * FAME: FDIR Development and Verification & Validation Process
  * HASDEL: Hardware-Software Dependability for Launchers
  * %newwin% [[https://es.fbk.eu/index.php?n=Projects.OMCARE| OMC-ARE]]: On board Model Checking Autonomous Resoning Engine
  * IRONCAP: Innovative Rover Operations Concept -- Autonomous Planning
Changed line 14 from:
  * %newwin% [[http://es.fbk.eu/projects/autogef|AUTOGEF]] Dependability design approach for critical flight software
to:
  * %newwin% [[https://es-static.fbk.eu/projects/autogef/|AUTOGEF]] Dependability design approach for critical flight software
Changed line 14 from:
  * AUTOGEF %newwin% [[http://es.fbk.eu/projects/autogef]] Dependability design approach for critical flight software
to:
  * %newwin% [[http://es.fbk.eu/projects/autogef|AUTOGEF]] Dependability design approach for critical flight software
Changed line 14 from:
  * AUTOGEF Dependability design approach for critical flight software
to:
  * AUTOGEF %newwin% [[http://es.fbk.eu/projects/autogef]] Dependability design approach for critical flight software


Page last modified on September 21, 2016, at 03:30 PM