Proof-Based Engineering of Real-Time Applications: An RTEdge™ Case Study
Date Published: 2009-11-10
Paper Number:2009-01-3232
DOI: 10.4271/2009-01-3232
Citation:
Sarkar, R., "Proof-Based Engineering of Real-Time Applications: An RTEdge™ Case Study," SAE Int. J. Aerosp. 3(1):74-78, 2010, doi:10.4271/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.
Purchase more technical papers and save! With TechSelect,
you decide what SAE Technical Papers you need, when you need them, and how much you want to pay.
Learn more >
