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

Document Number: 2009-01-3232

Date Published: November 2009

Author(s):
Roy Sarkar - Edgewater Computer Systems Inc.

Abstract:
Edgewater's RTEdge\sT Platform toolset is a model-driven development environment for mission-critical real-time systems. Using precise execution semantics and mathematical proof-based analysis, RTEdge\sT 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\sT 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.

File Size: 246K
Product Status: In Stock

See other papers presented at SAE 2009 AeroTech Congress & Exhibition, November 2009, Seattle, WA, USA, Session: Avionics - Integrated Model-based System, Application and Architectures (Part 1 of 2)

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 >