Browse Publications Technical Papers 2009-01-3232
2009-11-10

Proof-Based Engineering of Real-Time Applications: An RTEdge™ Case Study 2009-01-3232

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. A demonstration of interactive testing will be performed to illustrate how complex functional and performance testing can be achieved using information already present in the model.

SAE MOBILUS

Subscribers can view annotate, and download all of SAE's content. Learn More »

Access SAE MOBILUS »

Members save up to 43% off list price.
Login to see discount.
Special Offer: With TechSelect, you decide what SAE Technical Papers you need, when you need them, and how much you want to pay.
X