IEEE - Institute of Electrical and Electronics Engineers, Inc. - Adapting Models to Model Checkers, A Case Study : Analysing AADL Using Time or Colored Petri Nets

2009 IEEE/IFIP International Symposium on Rapid System Prototyping (RSP)

Author(s): Renault, X. ; Kordon, F. ; Hugues, J.
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 June 2009
Conference Location: Paris, France, France
Conference Date: 23 June 2009
Page(s): 26 - 33
ISBN (Paper): 978-0-7695-3690-3
ISSN (Paper): 1074-6005
DOI: 10.1109/RSP.2009.30
Regular:

The verification of High-Integrity Real-Time systems combines heterogeneous concerns: preserving timing con- straints, ensuring behavioral invariants, or specific execu- tion patterns.... View More

Advertisement