A Flexible WCET Analysis Method for Safety-Critical Real-Time System using UML-MARTE Model Checker
暂无分享,去创建一个
[1] Reinhard Wilhelm,et al. Abstract Interpretation with Applications to Timing Validation , 2008, CAV.
[2] Kim G. Larsen,et al. METAMOC: Modular Execution Time Analysis using Model Checking , 2010, WCET.
[3] P. Merlin,et al. Recoverability of Communication Protocols - Implications of a Theoretical Study , 1976, IEEE Transactions on Communications.
[4] Marc Pantel,et al. Time Properties Verification Framework for UML-MARTE Safety Critical Real-Time Systems , 2012, ECMFA.
[5] Kang G. Shin,et al. An integrated approach to modeling and analysis of embedded real-time systems based on Timed Petri Nets , 2003, 23rd International Conference on Distributed Computing Systems, 2003. Proceedings..
[6] Alexander Metzner,et al. Why Model Checking Can Improve WCET Analysis , 2004, CAV.
[7] Wolfgang Thomas,et al. Computation Tree Logic CTL* and Path Quantifiers in the Monadic Theory of the Binary Tree , 1987, ICALP.
[8] Marc Pantel,et al. Real-Time Property Specific Reduction for Time Petri Net , 2014, PNSE @ Petri Nets.
[9] Xavier Crégut,et al. A UML-MARTE Temporal Property Verification Tool based on Model Checking , 2014 .
[10] Alan C. Shaw,et al. Reasoning About Time in Higher-Level Language Software , 1989, IEEE Trans. Software Eng..
[11] Olivier H. Roux,et al. Structural translation from Time Petri Nets to Timed Automata , 2005, J. Syst. Softw..
[12] Xavier Crégut,et al. Automated Failure Analysis in Model Checking Based on Data Mining , 2014, MEDI.
[13] F. Vernadat,et al. The tool TINA – Construction of abstract state spaces for petri nets and time petri nets , 2004 .
[14] Amir Pnueli,et al. The temporal logic of programs , 1977, 18th Annual Symposium on Foundations of Computer Science (sfcs 1977).
[15] Xavier Crégut,et al. Formal Specification and Verification of Task Time Constraints for Real-Time Systems , 2012, ISoLA.
[16] Jakob Engblom,et al. The worst-case execution-time problem—overview of methods and survey of tools , 2008, TECS.
[17] M. Diaz,et al. Modeling and Verification of Time Dependent Systems Using Time Petri Nets , 1991, IEEE Trans. Software Eng..
[18] Xavier Crégut,et al. Time properties dedicated transformation from UML-MARTE activity to time transition system , 2012, SOEN.