The SaveCCM Language Reference Manual
暂无分享,去创建一个
Hans Hansson | Mikael Sjödin | John Håkansson | Paul Pettersson | Jan Carlson | Mikael Åkerholm | Thomas Nolte
[1] Jörgen Hansson,et al. Database Pointers: A Predictable Way of Manipulating Hot Data in Hard Real-Time Systems , 2003, RTCSA.
[2] Ivica Crnkovic,et al. SaveCCM - a component model for safety-critical real-time systems , 2004, Proceedings. 30th Euromicro Conference, 2004..
[3] Simin Nadjm-Tehrani,et al. Safety-Oriented Design of Component Assemblies using Safety Interfaces , 2007, Electron. Notes Theor. Comput. Sci..
[4] John Håkansson,et al. The SAVE approach to component-based development of vehicular systems , 2007, J. Syst. Softw..
[5] Rajeev Alur,et al. A Theory of Timed Automata , 1994, Theor. Comput. Sci..
[6] Jeff Magee,et al. The Koala Component Model for Consumer Electronics Software , 2000, Computer.
[7] Wang Yi,et al. Timed Automata with Asynchronous Processes: Schedulability and Decidability , 2002, TACAS.
[8] KramerJeff,et al. The Koala Component Model for Consumer Electronics Software , 2000 .
[9] Simin Nadjm-Tehrani,et al. Safety Interfaces for Component-Based Systems , 2005, SAFECOMP.
[10] Wang Yi,et al. TIMES: A Tool for Schedulability Analysis and Code Generation of Real-Time Systems , 2003, FORMATS.