Skip to content

Draft: Supporting for IoT engineering in CHESS1.0.0

Felicien IHIRWE requested to merge fihirweh8e/chess:devel into devel
  • CHESSIoT DSL (CHESSML extended with IoT constructs)
  • Perform safety analysis on designed system (cross -domain)
  • Basic failure probability assignment and generation of a probability file.
  • Fully generate Fault tree based on CHESS-FLA analysis results
  • Analyze Fault tree (removing unnecessary propagations paths)
  • Conduct quantitative analysis (system's failure rates calculated)
  • Functional level modeling of IoT systems
  • Platform code generation / employing ThingML
  • Design of deployment environment of IoT systems
  • Generate deployment artifact
  • Modeling of deployment automation rules
Edited by Felicien IHIRWE

Merge request reports