Save-IDE: An Integrated Development Environment for Building Predictable Component-Based Embedded Systems
暂无分享,去创建一个
In this paper we present an Integrated Development Environment Save-IDE, a toolset that embraces several tools: a tool for designing component-based systems and components, modeling and predicting certain run-time properties, such as timing properties, and transforming the components to real-time execution elements. Save-IDE is specialized for the domain of dependable embedded systems, which in addition to standard design tools requires tool support for analysis and verification of particular properties of such systems.
[1] Rajeev Alur,et al. A Theory of Timed Automata , 1994, Theor. Comput. Sci..
[2] Wang Yi,et al. Uppaal in a nutshell , 1997, International Journal on Software Tools for Technology Transfer.
[3] John Håkansson,et al. Partial Order Reduction for Verification of Real-Time Components , 2007, FORMATS.
[4] John Håkansson,et al. The SAVE approach to component-based development of vehicular systems , 2007, J. Syst. Softw..