loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Eighth IEEE International Symposium on High Assurance Systems Engineering (HASE'04)
Multi-View Modeling and Analysis of Embedded Real-Time Software with Meta-Modeling and Model Transformation
Tampa, Florida
March 25-March 26
ISBN: 0-7695-2094-4
Zonghua Gu, University of Michigan
Shige Wang, University of Michigan
Sharath Kodase, University of Michigan
Kang G. Shin, University of Michigan
We present an end-to-end tool-chain for model-based design and analysis of component-based embedded real-time software, with Avionics Mission Computing as an application domain. The tool-chain covers the entire system development life-cycle including modeling, analysis, code generation, and runtime instrumentation. Emphasis is placed on integration of tools developed by multiple institutions via standardized interface format de.nitions in XML. All aspects of an embedded real-time system are captured in domain-specific models, including software components and architecture, timing and resource constraints, processes and threads, execution platforms, etc. Configuration code generation allows automated building of the application executable. Instrumentation of the application running on a target platform is used to collect run-time statistics that are fedback into the models. Analysis tools perform various static analyses based on the models, including system-level dependency analysis, execution-rate assignment to component ports, real-time and schedulability analysis, and automated allocation of components to processors. By capturing all relevant information explicitly in models at the design level, and performing analysis that provides insight into non-functional aspects of the system, we can raise the level of abstraction for the designer, and facilitate rapid system prototyping.
Citation:
Zonghua Gu, Shige Wang, Sharath Kodase, Kang G. Shin, "Multi-View Modeling and Analysis of Embedded Real-Time Software with Meta-Modeling and Model Transformation," hase, pp.32-41, Eighth IEEE International Symposium on High Assurance Systems Engineering (HASE'04), 2004
Usage of this product signifies your acceptance of the Terms of Use.