Using an architecture description language for quantitative analysis of real-time systems

Proceedings of the International Workshop on Software and Performance (WOSP2002)

Volumn , Issue , 2002, Pages 203-210

  Allen, Robert ^a   Vestal, Steve ^b   Cornhill, Dennis ^b   Lewis, Bruce ^c  

^a BOEING COMPANY   (United States)

^b HONEYWELL   (United States)

^c US Army AMCOM SED   (United States)

Author keywords

Embedded; Fault Tolerant; Real Time; Software Architecture

Indexed keywords

AVIONICS; COMPUTER PROGRAMMING LANGUAGES; EMBEDDED SYSTEMS; FAULT TOLERANT COMPUTER SYSTEMS; REAL TIME SYSTEMS;

ARCHITECTURE DESCRIPTION LANGUAGES (ADL);

COMPUTER ARCHITECTURE;

EID: 0036992251     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/584369.584399     Document Type: Conference Paper

References (24)

1. Software Considerations in Airborne Systems and Equipment Certification, RTCA/DO-178B, RTCA, Inc., Washington D.C., December 1992.
2. Guidelines and Methods for Conducting the Safety Assessment Process on Civil Airborne Systems and Equipment, SAE/ARP 4761, December 1996.
3. Real-Time Systems, special issue on worst-case execution-time analysis, v18, n2/3, May 2000.
4. MetaH User's Guide, Honeywell Laboratories, 3660 Technology Drive, Minneapolis, MN, www.htc.honeywell.com/metah.
5. Neil C. Audsley, Alan Burns, Robert I. Davis, Ken W. Tindell and Andy J. Wellings, "Fixed Priority Pre-emptive Scheduling: An Historical Perspective," Journal of Real-Time Systems, 8, pp 173-198.
6. Para Binns, "Scheduling Slack in MetaH," Real-Time Systems Symposium, work-in-progress session, December 1996.
7. Para Binns, "Incremental Rate Monotonic Scheduling for Improved Control System Performance," Real-Time Applications Symposium, 1997.
8. Para Binns and Steve Vestal, "Message Passing in MetaH using Precedence-Constrained Multi-Criticality Preemptive Fixed Priority Scheduling," Life Cycle Software Engineering Conference, Redstone Arsenal, AL, August 2000.
9. Para Binns and Steve Vestal, "Formalizing Software Architectures for Embedded Systems," First International Workshop on Embedded Software, Tahoe City, CA, October 2001.
10. Para Binns, Steve Vestal, William Sanders, Jay Doyle and Dan Deavours, "MetaH/Möbius Integration Report," prepared by Honeywell Laboratories and University of Illinois, prepared for U.S. Army AMCOM Software Engineering Directorate, April, 2000.
11. R. L. Graham, "Bounds on Multiprocessing and Timing Anomalies," SIAM Journal of Applied Mathematics, v17, March 1969.
12. Holger Hermanns, Ulrich Herzog and Vassilis Mertsiotakis, "Stochastic Process Algebras as a Tool for Performance and Dependability Modeling," Proceedings of the IEEE International Computer Performance and Dependability Symposium (IPDS'95), April 24-26, 1995, Erlangen, Germany.
13. Farnam Jahanian and Aloysius K. Mok, "Modechart: A Specification Language for Real-Time Systems," IEEE Transactions on Software Engineering, v20 n12, December 1994.
14. José Javier Gutiérrez García and Michael González Harbour, "Optimized Priority Assignment for Tasks and Messages in Distributed Hard Real-Time Systems," Third Workshop on Parallel and Distributed Real-Time Systems, April 1995.
15. th IEEE Real-Time Systems Symposium, 1998.
16. th Digital Avionics Systems Conference, St. Louis, MO, October 24-29, 1999.
17. Frederick T. Sheldon, Krishna M. Kavi and Farhad A. Kamangar, "Reliability Analysis of CSP Specifications: A New Method Using Petri Nets," Proceedings of AIAA Computing In Aerospace, San Antonio, TX, March 28-30, 1995.
18. th International Conference on Distributed Computing Systems, May, 1996.
19. J. Sun and J. Liu, "Bounding the End-to-End Response Time in Multiprocessor Real-Time Systems," Third Workshop on Parallel and Distributed RealTime Systems, April, 1995.
20. Steve Vestal, "Fixed Priority Sensitivity Analysis for Linear Compute Time Models," IEEE Transactions on Software Engineering, April 1994.
21. Steve Vestal, "Modeling and Verification of Real-Time Software Using Extended Linear Hybrid Automata," NASA Langley Formal Methods Workshop, June 2000, shemesh.larc.nasa.gov/fm/Lfm2000/Proc/
22. th IEEE Workshop on Parallel and Distributed Real-Time Systems, 1997.
23. Steve Vestal, "Mode Changes in a Real-Time Architecture Description Language," International Workshop on Configurable Distributed Systems, March 1994.
24. Steve Vestal, "MetaH Avionics Architecture Description Language Software and System Safety and Certification Study," prepared by Honeywell Laboratories, prepared for U.S. Army AMCOM Software Engineering Directorate, March 2001.