1 Real-Time Systems Formal Modeling based on

The goal of this research is the specification and implementation of an environment that employs traditional software engineering tools (in compliance with object-oriented concepts) to elaborate verifiable models (in compliance with formal techniques), allowing consistence analysis and system behaviour simulation- important features to real-time systems development. Statecharts are excellent for representing real-time systems and the statechart model can be combined with an object model. The statechart system model can be converted to SCSL (Statechart Specification Language) [16] and ASM [17] (to specify the actions presents at the statecharts). The SCSL-ASM system model is the input of an automatic tool developed to enables model analysis by a Model Checker. In this way, we demonstrated the possibility to develop software with high confiability, using a formal method mixed with an object-oriented method. 1