Analyzing a Pattern-Based Model of a Real-Time Turntable System
暂无分享,去创建一个
John Håkansson | Paul Pettersson | Cristina Cerschi Seceleanu | Jagadish Suryadevara | Davor Slutej | P. Pettersson | Davor Slutej | C. Seceleanu | Jagadish Suryadevara | John Håkansson
[1] John Håkansson,et al. SaveCCM: An Analysable Component Model for Real-Time Systems , 2006, FACS.
[2] P. Pettersson,et al. Component-based Modeling and Analysis of Embedded Systems , 2008 .
[3] John Håkansson,et al. Partial Order Reduction for Verification of Real-Time Components , 2007, FORMATS.
[4] David Harel,et al. Statecharts: A Visual Formalism for Complex Systems , 1987, Sci. Comput. Program..
[5] Paul Pettersson,et al. Verification of COMDES-II Systems Using UPPAAL with Model Transformation , 2008, 2008 14th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications.
[6] Joseph Sifakis,et al. Modeling Heterogeneous Real-time Components in BIP , 2006, Fourth IEEE International Conference on Software Engineering and Formal Methods (SEFM'06).
[7] Ralph Johnson,et al. design patterns elements of reusable object oriented software , 2019 .
[8] A. Pnueli,et al. STATEMATE: a working environment for the development of complex reactive systems , 1988, [1988] Proceedings. The Third Israel Conference on Computer Systems and Software Engineering.
[9] Séverine Sentilles,et al. Save-IDE: An Integrated Development Environment for Building Predictable Component-Based Embedded Systems , 2008, 2008 23rd IEEE/ACM International Conference on Automated Software Engineering.
[10] Bran Selic,et al. An Efficient Object-Oriented Variation of the Statecharts Formalism for Distributed Real-Time Systems , 1993, CHDL.
[11] David Harel,et al. Executable object modeling with statecharts , 1996, Proceedings of IEEE 18th International Conference on Software Engineering.
[12] Vijay Kumar,et al. Hierarchical modeling and analysis of embedded systems , 2003, Proc. IEEE.
[13] Joseph Sifakis,et al. Tools and Applications II: The IF Toolset , 2004 .
[14] Rajeev Alur,et al. A Theory of Timed Automata , 1994, Theor. Comput. Sci..
[15] V Victor Bos,et al. Automatic verification of a manufacturing system , 2001 .
[16] John Håkansson,et al. The SAVE approach to component-based development of vehicular systems , 2007, J. Syst. Softw..
[17] Ka Lok Man,et al. Syntax and consistent equation semantics of hybrid Chi , 2006, J. Log. Algebraic Methods Program..
[18] Wang Yi,et al. Uppaal in a nutshell , 1997, International Journal on Software Tools for Technology Transfer.
[19] Jos C. M. Baeten,et al. Analyzing a chi model of a turntable system using Spin, CADP and Uppaal , 2005, J. Log. Algebraic Methods Program..
[20] Kim G. Larsen,et al. A Tutorial on Uppaal , 2004, SFM.
[21] John Håkansson,et al. Component-Based Design and Analysis of Embedded Systems with UPPAAL PORT , 2008, ATVA.