An End-to-End Tool Chain for Multi-View Modeling and Analysis of Avionics Mission Computing Software

Authors:
Zonghua Gu;Shige Wang;Sharath Kodase;Kang G. Shin
Affiliations:
-;-;-;-
Venue:
RTSS '03 Proceedings of the 24th IEEE International Real-Time Systems Symposium
Year:
2003

Citing 4
Cited 5

Concurrency: state models & Java programs

Concurrency: state models & Java programs
Model-Integrated Computing

Computer
A Model-Based Approach to System-Level Dependency and Real-Time Analysis of Embedded Software

RTAS '03 Proceedings of the The 9th IEEE Real-Time and Embedded Technology and Applications Symposium
Object-Oriented Real-Time Computing for Reusable Avionics Software

ISORC '01 Proceedings of the Fourth International Symposium on Object-Oriented Real-Time Distributed Computing

Model-based analysis of distributed real-time embedded system composition

Proceedings of the 5th ACM international conference on Embedded software
Verifying distributed real-time properties of embedded systems via graph transformations and model checking

Real-Time Systems
Analysis and optimization of distributed real-time embedded systems

Proceedings of the 41st annual Design Automation Conference
The model-integrated computing tool suite

MBEERTS'07 Proceedings of the 2007 International Dagstuhl conference on Model-based engineering of embedded real-time systems
Real-Time scheduling techniques for implementation synthesis from component-based software models

CBSE'05 Proceedings of the 8th international conference on Component-Based Software Engineering

Quantified Score

Hi-index	0.00

Visualization

Abstract

We present an end-to-end tool-chain for model-baseddesign and analysis of component-based embedded real-timesoftware, with Avionics Mission Computing asan application domain. The tool-chain covers the entiresystem development life-cycle including modeling,analysis, code generation, and runtime instrumentation.Emphasis is placed on integration of tools developedby multiple institutions via standardized interfaceformat definitions in XML. By capturing all relevantinformation explicitly in models at the design level,and performing analysis that provides insight into non-functionalaspects of the system, we can raise the levelof abstraction for the designer, and facilitate rapid systemprototyping.