Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

8

IJCSA
2007

favoriteEmaildiscussreport

84views more IJCSA 2007»

Real Time Model Checking Using Timed Concurrent State Machines

13 years 4 months ago

Real Time Model Checking Using Timed Concurrent State Machines

Download www.tmrfindia.org

Timed Concurrent State Machines are an application of Alur’s Timed Automata concept to coincidence-based (rather than interleaving) CSM modeling technique. TCSM support the idea of testing automata, allowing to specify time properties easier than temporal formulas. Also, calculation of a global state space in real-time domain (Region Concurrent State Machines) is defined, allowing to store a verified system in ready-to-verification form, and to multiply it by various testing automata.

Wiktor B. Daszczuk

Real-time Traffic

Automata Concept | Concurrent State Machines | IJCSA 2007 | Region Concurrent State |

claim paper

Related Content

» Integration of Functional and Timed Testing of RealTime and Concurrent Systems

» Model Checking Machine Code with the GNU Debugger

» ModelChecking of ComponentBased EventDriven RealTime Embedded Software

» Modeling Decentralized RealTime Control by State Space Partition of Timed Automata

» A State Machine for RealTime Cutting of Tetrahedral Meshes

» ModelDriven Architecture for Hard RealTime Systems From Platform Independent Models to Cod...

» Model Checking Real Time Java Using Java PathFinder

» Simulation of Timed Abstract State Machines with Predicate Logic ModelChecking

» Model Checking of Time Petri Nets Using the State Class Timed Automaton

Post Info
More Details (n/a)

Added	15 Dec 2010
Updated	15 Dec 2010
Type	Journal
Year	2007
Where	IJCSA
Authors	Wiktor B. Daszczuk

Comments (0)