Domain-specific software architectures for guidance, navigation and control

International Journal of Software Engineering and Knowledge Engineering

Volumn 6, Issue 2, 1996, Pages 201-227

  Binns, Pam ^a   Englehart, Matt ^a   Jackson, Mike ^a   Vestal, Steve ^a  

^a HONEYWELL TECHNOLOGY CENTER   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0005310793     PISSN: 02181940     EISSN: None     Source Type: Journal    
DOI: 10.1142/S0218194096000107     Document Type: Article

References (33)

1. IEEE Transactions on Software Engineering Special Issue on Software Architectures, to appear.
2. EASY5x Engineering Analysis Software Technical Overview, Boeing Computer Services, Seattle, WA (1992).
3. M. Barbacci, C. Weinstock, D. Doubleday, M. Gardner and R. Lichota, "Durra: A structure description language for developing distributed applications", Software Engineering Journal, March 1993.
4. P. Binns and S. Vestal, "Scheduling and communication in MetaH", Proceedings of the Real-Time Systems Symposium, Raleigh-Durham, NC (December 1993) pp. 194-200.
5. M. Englehart, "High quality automatic code generation for control applications", in Proceedings of the IEEE/IFAC Joint Symposium on Computer-Aided Control System Design, Tucson, Az (March, 1994).
6. M. J. Englehart and M. Jackson, "ControlH: An algorithm specification language and code generator", IEEE Control Systems Magazine (April 1995).
7. D. Garlan and M. Shaw, "An introduction to software architecture", in Advances in Software Engineering and Knowledge Engineering, eds. V. Ambriola and G. Tortora, World Scientific Publishing Company, Singapore, 1993.
8. M. W. Gertz, D. B. Stewart and P. K. Khosla, "A human-machine interface for distributed virtual laboratories", IEEE Robotics and Automation Magazine (December 1994).
9. D. Harel, H. Lachover, A. Naamad, A. Pnueli, M. Politi, R. Sherman, A. Shtull-Trauring and M. Trakhtenbrot, "STATEMATE: A working environment for the development of complex reactive systems", IEEE Transactions on Software Engineering (April 1990).
10. F. Hayes-Roth, J. E. Davidson, L. D. Erman and J. S. Lark, "Frameworks for developing intelligent systems", IEEE Expert (June 1991).
11. Design Guidance for Integrated Modular Avionics, AEEC/ARINC 651, Airlines Electronic Engineering Committee/Aeronautical Radio Inc. (1991).
12. Software Considerations in Airborne Systems and Equipment Certification, RTCA/ DO-178B, RTCA, Inc., Washington D.C. (December 1992).
13. F. Jahanian and A. K. Mok, "Modechart: A specification language for real-time systems", IEEE Transactions on Software Engineering, 20 (1994).
14. J. Krueger, E. Engstrom and J. Ward, "MetaDoME: A rapid prototyping tool supporting graphical modeling tool development," Honeywell Technical Report CS-R93-021, Honeywell Technology Center, Minneapolis MN (February 1994).
15. A. M. Johnson, Jr. and M. Malek, "Survey of software tools for evaluating reliability, availability, and serviceability", ACM Computing Surveys 20 (1988).
16. G. A. Korn, Interactive Dynamic-System Simulation (McGraw-Hill, New York, 1989).
17. Luqi, "Real-time constraints in a rapid prototyping language", Computer Language 18 (1993).
18. A. Mok, P. Amerasinghe, M. Chen, S. Sutanthavibul and K. Tantisirivat, "Synthesis of a real-time message passing system with data-driven timing constraints", Proceedings of the Real-Time Systems Symposium (December 1987) pp. 133-143.
19. E. Mettala and M. H. Graham, "The domain specific software architectures program", Proceedings of the DARPA Software Technology Conference 1992, Los Angeles, CA (April 1992).
20. E. E. L. Mitchell and J. S. Gauthier, ACSL: Advanced Continuous Simulation Language - User Guide and Reference Manual (Mitchell & Gauthier Associates, Concord, MA, 1986).
21. A. L. Reibman and M. Veeraraghavan, "Reliability modeling: an overview for systems engineers", IEEE Computer (April 1991).
22. Reliability Prediction of Electronic Equipment, MIL-HDBK-217E, U.S. Department of Defense, Washington, DC (October 1986).
23. C. Magnus Rimvall, H. Austin Spang III, J. A. Farrell, M. Radecki and M. Idelchik, "An open architecture for automatic code generation using the BEACON CAGE environment", Proceedings of the IEEE/IFAC Joint Symposium on Computer-Aided Control System Design, Tucson, AZ (March 1994).
24. M. Saksena, J. da Silva and A. Agrawala, "Design and implementation of maruti-II", in Principles of Real-Time Systems, Ed. Sang Son (Prentice Hall, 1994).
25. S. Lui and J. B. Goodenough, "Real-time scheduling theory and Ada", IEEE Computer (April 1990).
26. D. Soni, R. L. Nord, L. Hsu and P. J. Drongowski, "Many faces of software architecture", Proceedings of the Workshop on Studies in Software Design, Baltimore, ML (May 1993).
27. A. Stoyenko, "A schedulability analyzer for real-Time Euclid", Proceedings of the Real-Time Systems Symposium (December 1987).
28. SIMULINK User's Guide, The MathWorks, Inc., Natick, MA (1993).
29. SystemBuild User's Guide, Integrated Systems, Inc., Santa Clara, CA (1995).
30. W. Tracz, "LILEANNA: A parameterized programming language", Proceedings of the Second International Workshop on Software Reuse (March 1993).
31. S. Vestal, "On the accuracy of predicting rate monotonic scheduling performance", Tri-Ada '90 (December 1990).
32. S. Vestal, "Mode changes in a real-time architecture description language", Second International Workshop on Configurable Distributed Systems (March 1994).
33. S. Vestal, "Fixed priority sensitivity analysis for linear compute time models", IEEE Transactions on Software Engineering (April 1994).