Welcome to S3 WP1 T4 FM Driven Prob. Model Checking project!

The tool FEMKE gets system model (DTMC<=X<=CTMDP) and fault model to build stack of MC, each a scenario in fault-env. While batch-processing with PRISM, regions of attraction are found which can be further refined for asym appr optimal spot.

Latest News
No News Items Found

Project Summary
Tracker Tracker

 - Bugs ( 0 open / 1total )
Bug Tracking System

 - Support ( 0 open / 0total )
Tech Support Tracking System

 - Patches ( 0 open / 0total )
Patch Tracking System

 - Feature Requests ( 0 open / 0total )
Feature Request Tracking System

Forums Forums ( 2 messages in 2 forums )
Docs Doc Manager
Mail Lists Mailing Lists ( 1 public lists )
Tasks Task Manager
  - To Do
  - Next Release
Surveys Surveys ( 0 surveys )
SCM SCM Tree ( commits, adds )
FTP Released Files

 

 

Powered By GForge Collaborative Development Environment