Adapting Models to Model Checkers, A Case Study : Analysing AADL Using Time or Colored Petri Nets

@article{Renault2009AdaptingMT,
  title={Adapting Models to Model Checkers, A Case Study : Analysing AADL Using Time or Colored Petri Nets},
  author={Xavier Renault and Fabrice Kordon and J{\'e}r{\^o}me Hugues},
  journal={2009 IEEE/IFIP International Symposium on Rapid System Prototyping},
  year={2009},
  pages={26-33}
}
The verification of High-Integrity Real-Time systems combines heterogeneous concerns: preserving timing con- straints, ensuring behavioral invariants, or specific execu- tion patterns. Furthermore, each concern requires specific verification techniques; and combining all these techniques require automation to preserve semantics and consistency.Model-based approaches focus on the definition of rep- resentation of a system, and its transformation to equivalent representation for further… CONTINUE READING
Highly Cited
This paper has 22 citations. REVIEW CITATIONS