Draft: Supporting for IoT engineering in CHESS1.0.0
- 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