Article

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. ShinAuthors Info & Claims

RTSS '03: Proceedings of the 24th IEEE International Real-Time Systems Symposium

Page 78

Published: 03 December 2003 Publication History

Publisher Site

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.

References

[1]

S. Neema G. Karsai, A. Lang. Tool integration patterns. In Proceedings of Workshop on Tool Integration in System Development, European Software Engineering Conference, pages 33-38, 2003.

Google Scholar

[2]

Zonghua Gu, Sharath Kodase, Shige Wang, and Kang G. Shin. A model-based approach to systemlevel dependency and real-time analysis of embedded software. In Proceedings of Real-Time Applications Symposium, 2003.

Digital Library

Google Scholar

[3]

Gabor Karsai, Sandeep Neema, Arpad Bakay, Akos Ledeczi, Feng Shi, and Andy Gokhale. A modelbased front-end to tao/ace. In Proceedings of the 2nd Workshop on TAO, 2002.

Google Scholar

[4]

Jeff Magee and Jeff Kramer. Concurrency: State Models and Java Programs. Wiley, 1st edition, 2000.

Digital Library

Google Scholar

[5]

David Sharp. Object-oriented real-time computing for reusable avionics software. In Proceedings of Fourth International Symposium on Object-Oriented Real-Time Distributed Computing, pages 185-192, 2001.

Digital Library

Google Scholar

[6]

Janos Sztipanovits and Gabor Karsai. Modelintegrated computing. IEEE Computer, 30(4):110- 111, April 1997.

Digital Library

Google Scholar

Cited By

View all

Sztipanovits JKarsai GNeema SBapty T(2007)The model-integrated computing tool suiteProceedings of the 2007 International Dagstuhl conference on Model-based engineering of embedded real-time systems10.5555/1927558.1927583(369-376)Online publication date: 4-Nov-2007
https://dl.acm.org/doi/10.5555/1927558.1927583
Madl GAbdelwahed SWolf W(2005)Model-based analysis of distributed real-time embedded system compositionProceedings of the 5th ACM international conference on Embedded software10.1145/1086228.1086294(371-374)Online publication date: 18-Sep-2005
https://dl.acm.org/doi/10.1145/1086228.1086294
Gu ZHe Z(2005)Real-Time scheduling techniques for implementation synthesis from component-based software modelsProceedings of the 8th international conference on Component-Based Software Engineering10.1007/11424529_16(235-250)Online publication date: 14-May-2005
https://dl.acm.org/doi/10.1007/11424529_16
Show More Cited By

Index Terms

Recommendations

Impact of RTOS parameters on end-to-end timing performance
Special issue on the RTSS forum on deeply embedded real-time computing

For accurate end-to-end (e2e) analysis of a real-time embedded system (RTES), we need a method to precisely reflect the effects of the underlying real-time operating system (RTOS). In timing analysis, RTOS can be viewed as a matrix of parameters that ...
Integrated end-to-end timing analysis of networked AUTOSAR-compliant systems
DATE '10: Proceedings of the Conference on Design, Automation and Test in Europe

As Electronic Control Units (ECUs) and embedded software functions within an automobile keep increasing in number, the scale and complexity of automotive embedded systems is growing at a very rapid pace. Hence, the automotive industry has been ...
Worst-case end-to-end delay analysis of an avionics AFDX network
DATE '10: Proceedings of the Conference on Design, Automation and Test in Europe

AFDX (Avionics Full Duplex Switched Ethernet) standardized as ARINC 664 is a major upgrade for avionics systems. But network delay analysis is required to evaluate end-to-end delay's upper bounds. The Network Calculus approach, that has been used to ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

RTSS '03: Proceedings of the 24th IEEE International Real-Time Systems Symposium

December 2003

ISBN:0769520448

Publisher

IEEE Computer Society

United States

Publication History

Published: 03 December 2003

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

4
Total Citations
View Citations
0
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 15 Jan 2025

Other Metrics

View Author Metrics

Citations

Cited By

View all

Sztipanovits JKarsai GNeema SBapty T(2007)The model-integrated computing tool suiteProceedings of the 2007 International Dagstuhl conference on Model-based engineering of embedded real-time systems10.5555/1927558.1927583(369-376)Online publication date: 4-Nov-2007
https://dl.acm.org/doi/10.5555/1927558.1927583
Madl GAbdelwahed SWolf W(2005)Model-based analysis of distributed real-time embedded system compositionProceedings of the 5th ACM international conference on Embedded software10.1145/1086228.1086294(371-374)Online publication date: 18-Sep-2005
https://dl.acm.org/doi/10.1145/1086228.1086294
Gu ZHe Z(2005)Real-Time scheduling techniques for implementation synthesis from component-based software modelsProceedings of the 8th international conference on Component-Based Software Engineering10.1007/11424529_16(235-250)Online publication date: 14-May-2005
https://dl.acm.org/doi/10.1007/11424529_16
Pop PEles PPeng ZPop TMalik SFix LKahng A(2004)Analysis and optimization of distributed real-time embedded systemsProceedings of the 41st annual Design Automation Conference10.1145/996566.1142984(593-625)Online publication date: 7-Jun-2004
https://dl.acm.org/doi/10.1145/996566.1142984

Abstract

References

Cited By

Index Terms

Recommendations

Impact of RTOS parameters on end-to-end timing performance

Integrated end-to-end timing analysis of networked AUTOSAR-compliant systems

Worst-case end-to-end delay analysis of an avionics AFDX network

Comments

Information

Published In

Publisher

Publication History

Qualifiers

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

View options

Figures

Other

Share

Share this Publication link

Share on social media

Affiliations