Formalizing software architectures for embedded systems

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2211, Issue , 2001, Pages 451-468

  Binns, Pam ^a   Vestal, Steve ^a  

^a HONEYWELL TECHNOLOGY CENTER   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EMBEDDED SOFTWARE; MODELING LANGUAGES;

ARCHITECTURE DESCRIPTION LANGUAGES; ARCHITECTURES FOR EMBEDDED SYSTEMS; CODE GENERATION; DOMAIN SPECIFIC; DOMAIN SPECIFIC LANGUAGES; EMBEDDED COMPUTER SYSTEMS; MATHEMATICAL ANALYSIS; RESEARCH CHALLENGES;

EMBEDDED SYSTEMS;

EID: 36949039066     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45449-7_31     Document Type: Conference Paper

References (27)

1. Software Considerations in Airborne Systems and Equipment Certification, RTCA/DO-178B, RTCA, Inc., Washington D.C., December 1992.
2. Software System Safety Handbook, Joint Software System Safety Committee, December 1999, www.nswc.navy.mil/safety/handbook.pdf
3. Guidelines and Methods for Conducting the Safety Assessment Process on Civil Airborne Systems and Equipment, SAE/ARP 4761, December 1996.
4. MetaH User’s Guide, Honeywell Laboratories, 3660 Technology Drive, Minneapolis, MN, www.htc.honeywell.com/metah.
5. Domain Modeling Environment, Honeywell Laboratories, 3660 Technology Drive, Minneapolis, MN, www.htc.honeywell.com/dome.
6. Rajeev Alur, Thomas A. Henzinger, and Pei-Hsin Ho, “Automatic Symbolic Verification of Embedded Systems,” IEEE Transactions on Software Engineering, vol. 22, no. 3, March 1996, pp 181-201.
7. 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.
8. Pam Binns, “Scheduling Slack in MetaH,” Real-Time Systems Symposium, workin- progress session, December 1996.
9. Pam Binns, “Incremental Rate Monotonic Scheduling for Improved Control System Performance,” Real-Time Applications Symposium, 1997.
10. Pam Binns, “A Robust High-Performance Time Partitioning Algorithm; The Approach Taken in DEOS,” to appear 20th Digital Avionics Systems Conference, November 2001
11. Pam Binns, Aperiodic Response Time Distributions in Queues with Deadline Guarantees for Periodic Tasks, Ph.D. Thesis, Department of Statistics, University of Minnesota, October 2000.
12. Pam 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.
13. Pam Binns, Steve Vestal, William Sanders, Jay Doyle and Dan Deavours, “MetaH/M¨obius Integration Report,” prepared by Honeywell Laboratories and University of Illinois Coordinated Science Laboratory, prepared for U.S. Army AMCOM Software Engineering Directorate, April 2000.
14. S. Campos, E. Clarke, W. Marrero, M. Minea and H. Hiraishi, “Computing Quantitative Characteristics of Finite-State Real-Time Systems,” Proceedings IEEE Real- Time Systems Symposium, December 1994.
15. Shent-Tzong Cheng and Ashok K. Agrawala, “Allocation and Scheduling of Real- Time Periodic Tasks with Relative Timing Constraints,” University of Maryland Department of Computer Science Technical Report, 1993.
16. 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.
17. Bruce Lewis, “Software Portability Gains Realized with MetaH, an Avionics Architecture Description Language,” 18th Digital Avionics Systems Conference, St. Louis, MO, October 24-29, 1999.
18. 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.
19. J. P. Lehoczky, L. Sha and J. K. Strosnider, “Enhanced Aperiodic Responsiveness in Hard Real-Time Environments,” Proceedings IEEE Real-Time Systems Symposium, 1987, pp 261-270.
20. J. P. Lehoczky and S. Ramos-Thuel, “An Optimal Algorithm for Scheduling Aperiodic Tasks in Fixed-Priority Preemptive Systems,” Proceedings IEEE Real-Time Systems Symposium, December 1992.
21. W. H. Sanders, W. D. Obal, M. A. Quershi and F. K. Widjanarko, “The UltraSAN Modeling Environment,” Performance Evaluation Journal, vol. 25 no. 1, 1995.
22. 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.
23. B. Sprunt, L. Sha and J. P. Lehoczky, “Aperiodic Task Scheduling for Hard Real- Time Systems,” Journal of Real-Time Systems, 8, 1998, pp 27-60.
24. Steve Vestal, “Fixed Priority Sensitivity Analysis for Linear Compute Time Models,” IEEE Transactions on Software Engineering, April 1994.
25. 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/
26. 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.
27. Ward Whitt, “Weak Convergence Theorems for Priority Queues: Preemptive Resume Discipline,” Journal of Applied Probability, Volume 8, pp. 74-94, 1971