SPERTS (Safe Programming Environment for Real-Time Systems) is an integrated environment for development of safety-critical systems. Using SPERTS, a developer can build a formal model of the system by specifying the user/system requirements using a higher level graphical language suitable for safety-critical system. The SPERTS language supports function blocks and state-machine constructs with rigorous semantics. A model built using SPERTS i) can be formally verified, ii) helps generate code, which is correct-byconstruction and finally iii) produces a deployable code using target specific library. This article presents the SPERTS environment focusing on the enabling techniques behind application development, verification of requirements, validation of the safety properties and automated code generation including test cases.