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

Event
Aerospace Technology Conference and Exposition
Authors Abstract
Content
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.
Meta TagsDetails
DOI
https://doi.org/10.4271/2009-01-3232
Pages
5
Citation
Sarkar, R., "Proof-Based Engineering of Real-Time Applications: An RTEdge™ Case Study," SAE Int. J. Aerosp. 3(1):74-78, 2010, https://doi.org/10.4271/2009-01-3232.
Additional Details
Publisher
Published
Nov 10, 2009
Product Code
2009-01-3232
Content Type
Journal Article
Language
English