Search Results

Edgewater's RTEdge™ Platform toolset is a model driven development environment for mission critical real-time systems. Using precise execution semantics and mathematical proof-based analysis, RTEdge™ enables the verification of critical properties of systems with high assurance. This case study will follow the design and implementation life-cycle of a system representing a real-world, mission critical domain: airborne electronic warfare. Using examples and constraints taken from this system, software components will be built to illustrate the principles of architectural conformance, timeliness and testing as executed within a static analysis framework. Using RTEdge™ as an example, this case study will introduce the concepts of model driven development in software and demonstrate how static analysis can be used to verify characteristics of a system that are traditionally left for later stages of development.