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

Paper #:
  • 2009-01-3232

Published:
  • 2009-11-10
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.
Author(s):
Pages:
5
Abstract:
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.
Access
Now
SAE MOBILUS Subscriber? You may already have access.
Buy
Select
Price
List
Download
$28.00
Mail
$28.00
Members save up to 42% off list price.
Share
HTML for Linking to Page
Page URL

Related Items

Technical Paper / Journal Article
2005-04-11
Technical Paper / Journal Article
2005-05-16
Technical Paper / Journal Article
2014-04-01
Training / Education
2018-05-03