A modeling language and its supporting tools for avionics systems

AIAA/IEEE Digital Avionics Systems Conference - Proceedings

Volumn 1, Issue , 2002, Pages

  Karsai, Gabor ^a   Neema, Sandeep ^a   Abbott, Ben ^b   Sharp, David ^c  

^a VANDERBILT UNIVERSITY   (United States)

^b SOUTHWEST RESEARCH INSTITUTE   (United States)

^c BOEING COMPANY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

AVIONICS; C (PROGRAMMING LANGUAGE); CODES (SYMBOLS); COMPUTER HARDWARE; COMPUTER SIMULATION; COMPUTER SOFTWARE; INTERFACES (COMPUTER); PROGRAM PROCESSORS; XML;

AVIONICS SYSTEMS;

EMBEDDED SYSTEMS;

EID: 18344404960     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (23)

1. Janos Sztipanovits and Gabor Karsai, "Model-Integrated Computing," IEEE Computer, pp. 110-112, April, 1997.
2. Edward Lee: "What's Ahead for Embedded Software?", IEEE Computer, pp. 18-26, September,2000.
3. D. Schmidt (Editor), M. Stal, H. Rohnert, F. Buschmann: Pattern-Oriented Software Architecture, Volume 2: Patterns for Concurrent and Networked Objects, John-Wiley, 2000.
4. www.omg.org.
5. Edward A. Lee, "Embedded Software - An Agenda for Research," ERL Technical Report UCB/ERL No. M99/63, Dept. EECS, University of California, Berkeley, CA 94720, December 15, 1999.
6. Bruce Powel Douglass, "Real-Time UML, Second Edition: Developing Efficient Objects for Embedded Systems," Addison-Wesley, 1999.
7. Brian Selic, "Real-time Object Oriented Modeling," John-Wiley, 1994.
8. Ledeczi A., Bakay A., Maroti M., Volgyesi P., Nordstrom G., Sprinkle J., Karsai G.: Composing Domain-Specific Design Environments, Computer, pp. 44-51, November, 2001.
9. E.A. Lee and A. Sangiovanni-Vincentelli, "A Denotational Framework for Comparing Models of Computation," ERL Memorandum UCB/ERL M97/11, University of California, Berkeley, CA 94720, January 30, 1997.
10. Tim Harrison and David Levine and Douglas C. Schmidt, The Design and Performance of a Real-time CORBA Event Service, Proceedings of OOPSLA '97, ACM, Atlanta, GA, October 6-7, 1997.
11. Chris Gill, David Levine, and Douglas C. Schmidt, The Design and Performance of a RealTime CORBA Scheduling Service, Real-time Systems, the International Journal of Time-Critical Computing Systems, special issue on Real-Time Middleware, Kluwer Academic Publishers, guest editor Wei Zhao, Volume 20, Number 2, March 2001.
12. www.rational.com.
13. Automatic Integration of Reusable Embedded Software, at http://kabm.eecs.umich.edu/aires/.
14. Adaptive Service Coordination, at http://www.swri.edu/4org/d10/softeng/embed/home.htm.
15. Personal communication with Mr. Mark Schulte, Boeing, April, 2002.
16. R. Alur, T. Dang, J. Esposito, R. Fierro, Y. Hut, F. Ivancic, V. Kumar, I. Lee, P. Mishra, G. Pappas, O. Sokolsky. Hierarchical Hybrid Modeling of Embedded Systems, First Workshop on Embedded Software, 2001.
17. R. Grosu, M. Broy, B. Selic, G. Stefanescu: Towards a Calculus for UML-RT Specifications, in Proc. of the 7th OOPSLA Workshop on Behavioral Semantics of OO Business and System Specifications, Vancouver, October, 19th, 1998.
18. J.R. Burch, R. Passerone, A.L. Sangiovanni-Vincentelli. Using Multiple Levels of Abstraction in Embedded Software Design, in Proceedings of the First International Workshop on Embedded Software, Tahoe City, California, October 8-10, 2001.
19. Joseph Sifakis. Modeling real-time systems-challenges and work directions, EMSOFT01, Tahoe City, October 2001. Lecture Notes in Computer Science 2211.
20. J. Stankovic, VEST: A Toolset For Constructing and Analyzing Component Based Operating Systems for Embedded and Real-Time Systems, University of Virginia TR CS-2000-19, July 2000.
21. http://www.tik.ee.ethz.ch/∼moses/.
22. F. Brown, Real time scheduling with fuzzy systems, Ph.D. Dissertation, Utah State University, 1998.
23. Sharp, David c. "Reducing Avionics Software Cost Through Component Based Product Line Development", Software Technology Conference, April, 1998.