论文信息 - The Fujaba Real-Time Statechart PlugIn

The Fujaba Real-Time Statechart PlugIn

A strobe alarm has a multi-position switch for selecting a predetermined strobe intensity. The strobe alarm comprises a strobe assembly having selector switch, an indicator and a menu. The selector switch is positioned within the strobe alarm to discourage tampering. The indicator and menu are positioned in plain view for easy determination of the intensity setting of the strobe alarm.

Sven Burmester | Holger Giesey

[1] James Gosling,et al. The Real-Time Specification for Java , 2000, Computer.

[2] Holger Giese,et al. Real-Time Statechart Semantics , 2003 .

[3] Holger Giese,et al. Towards the Incremental Model Checking of Complex RealTime UML Models , 2003 .

[4] Wang Yi,et al. Uppaal in a nutshell , 1997, International Journal on Software Tools for Technology Transfer.

[5] Mathai Joseph,et al. Real-time systems - specification, verification and analysis , 1995, Prentice Hall International series in computer science.

[6] Loïc Briand,et al. Meeting deadlines in hard real-time systems - the rate monotonic approach , 1999 .

[7] Bruce Powel Douglass. Real-time UML - developing efficient objects for embedded systems , 1997, Addison-Wesley object technology series.

[8] Thomas A. Henzinger,et al. Symbolic Model Checking for Real-Time Systems , 1994, Inf. Comput..

[9] Bran Selic,et al. Real-time object-oriented modeling , 1994, Wiley professional computing.

[10] Matthias Tichy,et al. Visualization of the execution of Real-Time Statecharts , 2003 .

[11] Juha Kuusela,et al. Object-oriented technology for real-time systems: a practical approach using OMT and Fusion , 1996 .