Advanced search
 Log In
New Account 		  
 
Home My Page Project Tree S3 WP1 T4 FM Driven Prob. Model Checking
 
 
Summary Forums Tracker Lists Tasks Docs Surveys News SCM Files
 

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.


  • DFG TransRegio/SFB AVACS: S3, H4
Registered: 2007-09-18 12:00
Activity Percentile: 0%
View project activity statistics.
View list of RSS feeds available for this project 
Developer Info
Project Admins:
Nils Müllner

[View Members]

[Request to join]

 

Latest File Releases
Package Version Date Notes / Monitor Download
femkeP2S3WP1T4_FEMkE_RC3 September 26, 2007 Release Notes - Monitor this package Download

Public Areas
Home Page Project Home Page
TrackerTracker

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

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

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

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

Forums Public Forums ( 2 messages in 2 forums )
Docs DocManager: Project Documentation
Lists Mailing Lists ( 1 public mailing lists)
Tasks Task Manager
  - To Do
  - Next Release
Surveys Surveys ( 0 surveys )
SCM SCM Repository (SVN: 0 updates, 0 adds)
Anonymous FTP SpaceAnonymous FTP Space

 
Latest News
No News Items Found


Powered By GForge Collaborative Development Environment